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]

Authors

Claudia Schulz 0001

This author has not been identified. Look up 'Claudia Schulz 0001' in Google

Ken Satoh

This author has not been identified. Look up 'Ken Satoh' in Google

Francesca Toni

This author has not been identified. Look up 'Francesca Toni' in Google