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
Document15920127 15920127
Document13847443 13847443
a a+1
A Model for Belief Revision ARTIFICIAL INTELLIGENCE 25
08-PredCalc
1950 The Axioms of Scientology
None but mean animals are bears. Only fuzzy animals are bears. It
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
NMI TR 18 Shift Registers with Feedback Configured as Counter
New project scope and specifications
Planning for Temporally Extended Goals as Propositional Satisfiability
Ordered Epistemic Logic: Semantics, Complexity and Applications
Optimal Planning with Temporal Logic Specifications Sertac Karaman JUN 62009
Ontology Contraction: Beyond the Propositional - CEUR
Once the specific model and information that the recipient has... enters into an evaluation of the information transfer, there is...
Naturalizing Logic
Multi-Valued Logic Synthesis - University of California, Berkeley
Multi-dimensional Dependency Grammar as Multigraph Description Ralph Debusmann
On the Use of Partially Ordered Decision Graphs
On the Use of Epistemic Ordering Functions as Decision Criteria
On the Qualification Problem and Elaboration Tolerance
On the Nature and Role of Modal Truth Criteria in Planning
On the Decidability of Connectedness Constraints
On Repairing Reasoning Reversals via Representational Refinements Alan Bundy, Fiona McNeill
«
prev
1 ...
172
173
174
175
176
177
178
179
180
... 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