Modular Equivalence for Normal Logic Programs

Emilia Oikarinen, Tomi Janhunen. Modular Equivalence for Normal Logic Programs. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso, editors, ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. Volume 141 of Frontiers in Artificial Intelligence and Applications, pages 412-416, IOS Press, 2006.

Authors

Emilia Oikarinen

This author has not been identified. Look up 'Emilia Oikarinen' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google