Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation.

Published in: GI Jahrestagung (1994)

Keyphrases

efficient implementation
minimal models
autoepistemic logic
default logic
nonmonotonic reasoning
logic programs
propositional logic
modal logic
default theories
logic programming
classical logic
nonmonotonic logics
defeasible logic
active set
truth maintenance systems
default reasoning
temporal logic