Uniform semantic treatment of default and autoepistemic logics

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence, 143(1):79-122, 2003. [doi]

Authors

Marc Denecker

This author has not been identified. Look up 'Marc Denecker' in Google

V. Wiktor Marek

This author has not been identified. Look up 'V. Wiktor Marek' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google