Autoepistemic Logic of Knowledge and Beliefs.

Teodor C. Przymusinski

Published in: Artif. Intell. (1997)

Keyphrases

autoepistemic logic
modal logic
default logic
nonmonotonic reasoning
machine learning
knowledge base
knowledge representation
belief revision
truth maintenance systems
query language
general purpose
rule base
business rules
default theories
general logic programs