Characterising and Explaining Inconsistency in Logic Programs

Claudia Schulz 0001, Ken Satoh, Francesca Toni. Characterising and Explaining Inconsistency in Logic Programs. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 467-479, Springer, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.