Sound and Complete Propositional Nonmonotonic Logic of Hierarchically-Minimal Models.

Marek A. Suchenek

Published in: Intelligent Information Systems (2000)

Keyphrases

nonmonotonic logics
minimal models
propositional logic
default logic
autoepistemic logic
nonmonotonic reasoning
default theories
truth maintenance systems
logic programming
default reasoning
belief revision
modal logic
first order logic
defeasible logic
fixed point
deductive databases
reverse engineering
rough sets