Autoepistemic Logic Revisited: The Bias-Free Stable Semantics.

V. S. Lakshmanan

Published in: LPNMR (1990)

Keyphrases

autoepistemic logic
default logic
nonmonotonic reasoning
modal logic
classical logic
default theories
general logic programs
logic programs
commonsense reasoning
truth maintenance systems
logic programming
minimal models
nonmonotonic logics
default reasoning
database