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
Automated Deduction Looking Ahead
Aspect Categories and Classes of Temporal Properties
Abductive and Default asoning: A Computational Core
A Well-Founded Semantics for Basic Logic Programs Yisong Wang Fangzhen Lin
A Type System for Certified Binaries
A Theory for Convex Interval Relations including Unbounded Intervals
A Strongly-Local Contextual Logic
A Reduction Result for Circumscribed Semi-Horn Formulas
A Puzzle Concerning Ground
A Psychology-Inspired Approach to Automated Narrative Text Comprehension Irene-Anna Diakidoy Antonis Kakas
A Proof-Carrying Authorization System
A Probabilistic Extension of the Stable Model Semantics
A New Perspective on the Continuum Hypothesis: Why Freiling’s... Symmetry is Irrelevant by William C. Abram
A Logical Framework for Modularity of Ontologies
A Logic of Limited Belief for Reasoning with Disjunctive Information
A Hybrid Approach to Pattern Classification Sergio Alejandro G´omez
A Game-Theoretic Approach to Constraint Satisfaction Phokion G. Kolaitis Moshe Y. Vardi
A Constructive Approach to Independent and Evidence
A computational model of belief Aaron N. Kaplan , Lenhart K. Schubert
A Complete First-Order Logic of Knowledge and Time Francesco Belardinelli Alessio Lomuscio
All I Know: An Abridged Report1 Abstract
Agent Cooperation In Constraint Satisfaction
Introduction: Belief vs Degrees of Belief Hannes Leitgeb October 2014 LMU Munich
Introduction to Philosophy – 2nd and 3rd terms
«
prev
1 ...
209
210
211
212
213
214
215
216
217
... 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