On Eliminating Disjunctions in Stable Logic Programming

Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran. On Eliminating Disjunctions in Stable Logic Programming. In Didier Dubois, Christopher A. Welty, Mary-Anne Williams, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. pages 447-458, AAAI Press, 2004.

Authors

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Michael Fink

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

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google