Reflexive Autoepistemic logic.

Grigori Schwarz

Published in: Fundam. Informaticae (1992)

Keyphrases

autoepistemic logic
default logic
nonmonotonic reasoning
modal logic
classical logic
general logic programs
logic programs
default theories
commonsense reasoning
logic programming
nonmonotonic logics
truth maintenance systems
minimal models
model theoretic
belief revision
default reasoning
description logics