A logic for default reasoning
References (30)
- et al.
Extracting information from resolution proof trees
Artificial Intelligence
(1971) - et al.
An overview of KRL-O, a knowledge representation language
Cognitive Science
(January 1977) An unsolvable problem of number theory
Amer. J. Math.
(1936)Negation as failure
Truth Maintenance Systems for Problem Solving
Application of theorem proving to problem solving
The frame problem and related problems in artificial intelligence
The Logic of Frames
Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot
A Proof procedure using connection graphs
J. ACM
(October 1974)
Logic for Problem Solving
(1979)
Linear resolution with selection functions
Artificial Intelligence
(1971)
A note on deduction rules with negative premises
A linear format for resolution
Refinements in resolution theory
Cited by (2688)
Embedding justification theory in approximation fixpoint theory
2024, Artificial IntelligenceParaconsistent reasoning for inconsistency measurement in declarative process specifications
2024, Information SystemsiCORPP: Interleaved commonsense reasoning and probabilistic planning on robots
2024, Robotics and Autonomous SystemsSound and relatively complete belief Hoare logic for statistical hypothesis testing programs
2024, Artificial IntelligenceA claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness
2023, Artificial IntelligenceA postulate-driven study of logical argumentation
2023, Artificial Intelligence
Copyright © 1980 Published by Elsevier B.V.