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
Minimal Change in AGM Revision for Non-Classical Logics
MSWord
Modeling Datalog Assertion and Retraction in Linear Logic Edmund S. L. Lam and
Google Boolean Search
General Domain Circumscription and its First-Order Reduction
G - LaBRI
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains Dzmitry Shaparau
Faster SAT Solving with Better CNF Generation
Faithfulness in Chain Graphs: The Discrete Case Jose M. Pe˜ na
Failure of Interpolation in Combined Modal Logics
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
EXPTIME Tableaux A£C for
Formalising Temporal Constraints on Part-Whole Relations Alessandro Artale , Nicola Guarino
Formal Verification of Infinite-State Systems Using Boolean Methods Carnegie Mellon University
Forgetting for Answer Set Programs Revisited
Tabular Constraint-Satisfaction Problems and Answer-Set Programming
The Complexity of LTL on Finite Traces: Hard and Easy Fragments
THE ELECTRON FLUX SENSOR FOR HILAT J
Simple On-the-fly Automatic Verification of Linear Temporal Logic
Sets with Cardinality Constraints in Satisfiability Modulo Theories
Seminar on Databases Some Useful Transformations
Semantics: - Yilmaz Kilicaslan
Slides - Computer Science and Engineering
Slide 1 - Zoccola Eng 050 Section 53 Spring 2012
«
prev
1 ...
174
175
176
177
178
179
180
181
182
... 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