A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief.

Published in: ISMIS (1999)

Keyphrases

autoepistemic logic
minimal models
default logic
knowledge base
truth maintenance systems
knowledge representation
nonmonotonic reasoning
logic programs
database systems
logic programming
belief revision
automated reasoning
commonsense reasoning