Algebraic considerations of autoepistemic logic.

Cecylia Rauszer

Published in: Fundam. Informaticae (1992)

Keyphrases

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