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
Once the specific model and information that the recipient has... enters into an evaluation of the information transfer, there is...
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 Preserving: Essays on Preservationism and Paraconsistent Logic
Multi-Valued Logic Synthesis - University of California, Berkeley
Multi-dimensional Dependency Grammar as Multigraph Description Ralph Debusmann
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals
Node Selection Query Languages for Trees Diego Calvanese Moshe Y. Vardi
Nir Friedman oseph U. Halpern
New project scope and specifications
Planning for Temporally Extended Goals as Propositional Satisfiability
Document13790430 13790430
2
A Calculus for Reasoning About Containment and Object Access Michael Pool
A Modal Logic with Context-Dependent Inference for Non-Monotonic
A Circumscriptive Theorem Prover: Preliminary
CS 570 Lecture 8: Inference in FOL Ch 9
Distributed Interactive Learning in Multi-Agent Systems
Discrete Structures (COT 3100) Final Exam Spring 2000
Dynamic Proof Theories For Input/Output Logic
Control Knowledge in Planning: Benefits
Contemporary Ethical Theory
Did I Mention What He Said?
«
prev
1 ...
175
176
177
178
179
180
181
182
183
... 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