Computation of the Semantics of Autoepistemic Belief Theories.

Stefan Brass Jürgen Dix Teodor C. Przymusinski

Published in: Artif. Intell. (1999)

Keyphrases

modal operators
modal logic
truth maintenance systems
autoepistemic logic
nonmonotonic logics
default logic
default theories
logic programming
belief revision
conceptual model
model theoretic
formal semantics
inference rules
database
theoretical framework
state space
query language