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
Property Persistence in the Situation Calculus
Probabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks
Prime Implicates and Prime Implicants in Modal Logic Meghyn Bienvenu
Rule Based Updates on Simple ... Bases Chitta Bad
RT: A Role-based Trust-management Framework
Robotics and the Conlnlon Sense Informatic Situation Murray Shanahan Abstract
Elementary Loops Revisited Jianmin Ji , Hai Wan , Peng Xiao
coppin chapter 16.ppt
Cooperative Plan Reasoning for Dialogue Systems* 1
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
Constraint Logic Programming a Framework for Qualitative
CONSERVATOR`S STATEMENT: Conservation of furniture is
CONCURRENT DEDUCTION: CLASSICAL AND MODAL Jim Cunningham
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories Alessandro Cimatti Alberto Griggio
Credibility-Limited Revision Operators in Propositional Logic Richard Booth Eduardo Ferm´e S´ebastien Konieczny
Crash Course in the
DL- in the Light of Propositional Logic for Decentralized Data Management
Definability of Horn Revision from Horn Contraction
Deciding Bit-Vector Arithmetic with Abstraction
Decidable Reasoning in a Logic of Limited Belief
Decidable G¨odel Description Logics without the Finitely-Valued Model Property
Debate Seminar
Description Logics Dr. Alexandra I. Cristea
Deriving Fluents from Sensor Data for Mobile Robots
«
prev
1 ...
217
218
219
220
221
222
223
224
225
... 228
»
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