A Theorem on the Consistency of Circumscription.

Published in: Artif. Intell. (1987)

Keyphrases

logic programs
default logic
default reasoning
situation calculus
closed world reasoning
von neumann
commonsense knowledge
real time
databases
knowledge base
answer sets
theorem prover
nonmonotonic reasoning
classical logic
disjunctive logic programming
maintaining consistency