Nonmonotonic logic and temporal projection

Artificial Intelligence

Volumn 33, Issue 3, 1987, Pages 379-412

  Hanks, Steve ^a   McDermott, Drew ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC;

NONMONOTONIC LOGIC; TEMPORAL PROJECTION;

ARTIFICIAL INTELLIGENCE;

EID: 0023442334     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(87)90043-9     Document Type: Article

References (25)

1. Negation as failure
2. The mathematics of non-monotonic reasoning
3. Formalizing non-monotonic reasoning systems
4. On inheritance hierarchies with exceptions
5. Applying theory formation to the planning problem
6. Temporal reasoning and default logics
7. Default reasoning, nonmonotonic logics, and the frame problem
8. The second naïve physics manifesto
9. Default reasoning in interaction
10. The logic of persistence
11. Formal theories of action
12. Pointwise circumscription: Preliminary report
13. Some results on circumscription
14. Circumscription—a form of non-monotonic reasoning
15. Applications of circumscription to formalizing common sense knowledge
16. Some philosophical problems from the standpoint of artificial intelligence
17. A temporal logic for reasoning about processes and plans
18. Nonmonotonic logic II Nonmonotonic modal theories
19. Non-monotonic logic I
20. Completeness results for circumscription
21. On the comparison of theories: Perferring the most specific explanation
22. A logic for default reasoning
23. Time and causation from the standpoint of artificial intelligence