Improving the Normalization of Weight Rules in Answer Set Programs

Jori Bomanson, Martin Gebser, Tomi Janhunen. Improving the Normalization of Weight Rules in Answer Set Programs. In Eduardo Fermé, João Leite, editors, Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Volume 8761 of Lecture Notes in Computer Science, pages 166-180, Springer, 2014. [doi]

Authors

Jori Bomanson

This author has not been identified. Look up 'Jori Bomanson' in Google

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Tomi Janhunen

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