Study
lib
Documents
Flashcards
Chrome extension
Login
Upload document
Create flashcards
×
Login
Flashcards
Collections
Documents
Last activity
My documents
Saved documents
Profile
Foreign Language
Math
Science
Social Science
Business
Engineering & Technology
Arts & Humanities
History
Miscellaneous
Standardized tests
Math
Advanced Math
Logic
Doc - Computer Science
Disjunctive Temporal Reasoning in Partially Ordered Models of Time Mathias Broxvall
Deepak Kumar Stuart C. Shapiro Department of Math. & Computer Science
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs and Zeinab Bahmani
Decision Making CMSC 201 Chang (rev. 2015-02-05)
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics Pierre Bourhis
Constraining Credential Usage in Logic-Based Access Control
Consistency Conditions for Beliefs and Intentions
Concurrency Control Smile, it is the key that fits the lock of
coppin chapter 18.ppt
Considerations on Belief Revision in an Action Theory
Computing Stable Models By Using the ...
Draft Scoring Criteria
CS 5968/6968: Mid-term examination March 8, 2016 1hr, 20 min Date:
Declarative Debugging in Constraint Logic Programming: the Cover Relation
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription
Data Complexity of Query Answering in Description Logics Diego Calvanese
Do we need and can there be a set theory of non
Introduction to Algebraic Group Theory
Introduction Symbolic Logic - UCLA Department of Philosophy
Horn Clause Belief Change: Contraction Functions James P. Delgrande
HOP: A Formal Model for Synchronous Circuits using Commu-
Karnak an automated theorem prover for PPC ?
June, 1998 Research Supported By: LIDS- P 2421
«
prev
1 ...
183
184
185
186
187
188
189
190
191
... 229
»
next
Suggest us how to improve StudyLib
(For complaints, use
another form
)
Your e-mail
Input it if you want to receive answer
Rate us
1
2
3
4
5
Cancel
Send