Uniform semantic treatment of default and autoepistemic logic

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. Uniform semantic treatment of default and autoepistemic logic. In KR. pages 74-84, 2000.

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