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
Iterative Refinement of Knowledge Bases with Consistency Guarantees
Iterated Belief Contraction from First Principles
Grounding a Geographic Ontology on Geographic Data David Mallenby
Grounded Models as a Basis for Intuitive ... the Origins of Logical Categories Josefina
On ‘The Denial of Bivalence is Absurd’ Francis Jeffry Pelletier
On the Relative Expressiveness of ADL and Golog: The Last... Gabriele R¨oger
On the Progression of Situation Calculus Basic Action Theories:
On the Progression of Knowledge in the Situation Calculus
ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS
On the Expressiveness of Levesque’s Normal Form Yongmei Liu Gerhard Lakemeyer
On the Equivalence of Recursive and Nonrecursive Datalog Programs
On the Complexity of Linking Deductive and Abstract Argument Systems
On Solving the Qualification Problem Charles Elkan University of California, San Diego
On Integrating Ontologies with Relational Probabilistic Models
of A s reflective
Point-and-Click Logic
Natural Language Processing Using a Propositional Semantic Network with Structured Variables
Music and Language: A Fragment T. W. Adorno1
Multiagent Knowledge and Belief Change in the Situation Calculus
Norman M&aim and udson
New York Journal of Mathematics Extending Chang’s construction to the
Patrick Doherty and Witold Lukaszewicz and Andzrej Szalas
Case Document 8-1 Ariel`s informal report
Clauses Versus Gates in CEGAR-Based 2QBF Solving Valeriy Balabanov, Jie-Hong R. Jiang,
«
prev
1 ...
215
216
217
218
219
220
221
222
223
... 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