A logic for default reasoning

Artificial Intelligence

Volumn 13, Issue 1-2, 1980, Pages 81-132

  Reiter, R ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 49149147322     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(80)90014-4     Document Type: Article

References (30)

1. An overview of KRL-O a knowledge representation language
2. An unsolvable problem of number theory
3. Negation as failure
4. Truth Maintenance Systems for Problem Solving
5. Application of theorem proving to problem solving
6. The frame problem and related problems in artificial intelligence
7. The Logic of Frames
8. Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot
9. A Proof procedure using connection graphs
10. Linear resolution with selection functions
11. A note on deduction rules with negative premises
12. A linear format for resolution
13. Refinements in resolution theory
14. Extracting information from resolution proof trees
15. Epistemological problems of Artificial Intelligence
16. Some philosophical problems from the standpoint of artificial intelligence
17. Non-monotonic Logic I
18. A framework for representing knowledge
19. The frame problem in problem-solving systems
20. Two results on ordering for resolution with merging and linear format
21. On reasoning by default
22. On closed world data bases
23. The FRL Manual
24. A machine oriented logic based on the resolution principles
25. PROLOG, Manuel de Reference et d'Utilisation
26. An approach to the frame problem and its implementation
27. Achieving Several Goals Simultaneously