Computing Default Extensions by Reductions on OR

Espen H. Lian, Arild Waaler. Computing Default Extensions by Reductions on OR. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 496-506, AAAI Press, 2008.

Abstract

Abstract is missing.