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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.