Default Reasoning via Negation as Failure.
Antonis C. KakasPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- default reasoning
- nonmonotonic reasoning
- logic programming
- belief revision
- conditional logic
- default logic
- logic programs
- partial order
- probabilistic reasoning
- default rules
- probabilistic logic
- deductive databases
- closed world reasoning
- inheritance reasoning
- dependency directed backtracking
- proof theory
- horn clauses
- model theoretic
- commonsense reasoning
- general purpose
- proof theoretic
- high level
- neural network