On consistency and completeness of autoepistemic theories

Michael Gelfond, Halina Przymusinska. On consistency and completeness of autoepistemic theories. Fundamenta Informaticae, 16(1):59-92, 1992.

Authors

Michael Gelfond

This author has not been identified. Look up 'Michael Gelfond' in Google

Halina Przymusinska

This author has not been identified. Look up 'Halina Przymusinska' in Google