A Complete Logic for Autoepistemic Membership.

Gerard Vreeswijk

Published in: JELIA (1990)

Keyphrases

modal logic
autoepistemic logic
nonmonotonic logics
classical logic
default logic
default theories
truth maintenance systems
database
data sets
information retrieval
artificial intelligence
programming language
logic programming
defeasible logic
propositional variables