Autoepistemic Logic of Knowledge.

Grigori Schwarz

Published in: LPNMR (1991)

Keyphrases

autoepistemic logic
knowledge base
knowledge representation
expert systems
logic programs
nonmonotonic reasoning
default logic
production rules
default theories