Bounding Introspection in Nonmonotonic Logic.

Grigori Schwarz

Published in: KR (1992)

Keyphrases

nonmonotonic logics
autoepistemic logic
default logic
nonmonotonic reasoning
modal logic
propositional logic
upper bound
default theories
defeasible logic
default reasoning
formal specification
logic programming
rational agents
modal operators
decision making
fixed point
general purpose