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
Replacements in Non-Ground Answer-Set Programming
SAT-Based Decision Procedures for Subsets of First-Order Logic Carnegie Mellon University
Relating LC to Canonical Logic
Reference of Statement in the Discourse Mediterranean Journal of Social Sciences
Reasoning about Beliefs, Observability, and Information Exchange in Teamwork Thomas R. Ioerger Abstract
Reasoning about A c t i o n ...
R — A Smart Meeting Cinematography Initiative OTUNDE
PUBLICATIONS DE L’INSTITUT MATHÉMATIQUE Nouvelle série, tome 92(106) (2012), 79–95 DOI: 10.2298/PIM1206079L
PSIPLAN: Open World Planning with -forms.
Actions and Events in Interval Temporal Logic
A. Goldman - University of Windsor
A Survey of Work on Multiple Valued Logic and its
A Strongly-Local Contextual Logic
A Rational Extension of Stable Model Shahab Tasharrofi Simon Fraser University
A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao
A Planning Approach for Message-Oriented Semantic Web Service Composition
a model for multimodal representation and inference
a logical primer - Westminster College
A Logic of Agent Programs N. Alechina M. Dastani B. S. Logan
A Logic of Capabilities Meyer*
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
Annual Report 2010
Annotating Patterns of Reasoning about Medical Theories of Causa-
ANALOG: A Knowledge Representation System for Natural Language Processing
«
prev
1 ...
197
198
199
200
201
202
203
204
205
... 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