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.

Authors

Espen H. Lian

This author has not been identified. Look up 'Espen H. Lian' in Google

Arild Waaler

This author has not been identified. Look up 'Arild Waaler' in Google