Non-monotonic logic I

Artificial Intelligence

Volumn 13, Issue 1-2, 1980, Pages 41-72

  McDermott, Drew ^a   Doyle, Jon ^b  

^a YALE UNIVERSITY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 49149141138     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(80)90012-0     Document Type: Article

References (47)

1. On machines which prove theorems
2. Causal and teleological reasoning in circuit recognition
3. A truth maintenance system
4. The justification of deduction
5. Strips: A new approach to the application of theorem, proving to problem solving
6. Robotologic
7. A logic of actions
8. The frame problem and related problems in artificial intelligence
9. Some extensions of a system for inferencing on partial information
10. A formalism for relating lexical and pragmatic information: its relevance to recognition and generation
11. A note on deduction rules with negative premises
12. Semantical analysis of intuitionistic logic I
13. Outline of a theory of truth
14. On the logic of incomplete information
15. On representing‘True-in-L’ in L
16. Some philosophical problems from the standpoint of artificial intelligence
17. Epistemological problems of artificial intelligence
18. A human-oriented logic for automatic theorem proving
19. On reasoning by default
20. Formalism 64
21. A machine-oriented logic based on the resolution principle
22. An approach to the frame problem, and its implementation
23. Truisms as the grounds for historical explanations
24. New issues in the logic of explanation
25. Forward reasoning and dependency-directed back-tracking in a system for computer-aided circuit analysis
26. Formalization principle
27. Singular terms truth-value gaps and free logic