On consistency and completeness of autoepistemic theories.

Michael Gelfond Halina Przymusinska

Published in: Fundam. Informaticae (1992)

Keyphrases

modal logic
default logic
autoepistemic logic
theoretical framework
computational models
default theories
cognitive psychology
equational theories
data sets
machine learning
artificial intelligence
information systems
data quality
global consistency
maintaining consistency