Well-Founded Approximations of Autoepistemic Logic.

Jürgen Kalinski

Published in: EPIA (1993)

Keyphrases

autoepistemic logic
default logic
nonmonotonic reasoning
modal logic
default theories
logic programs
commonsense reasoning
general logic programs
classical logic
logic programming
minimal models
nonmonotonic logics
truth maintenance systems
default reasoning
machine learning
model theoretic
probabilistic model