Predicate Introduction Under Stable and Well-Founded Semantics

Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe. Predicate Introduction Under Stable and Well-Founded Semantics. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 242-256, Springer, 2006. [doi]

Authors

Johan Wittocx

This author has not been identified. Look up 'Johan Wittocx' in Google

Joost Vennekens

This author has not been identified. Look up 'Joost Vennekens' in Google

Maarten Mariën

This author has not been identified. Look up 'Maarten Mariën' in Google

Marc Denecker

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

Maurice Bruynooghe

This author has not been identified. It may be one of the following persons: Look up 'Maurice Bruynooghe' in Google