Characterising and Explaining Inconsistency in Logic Programs.

Claudia Schulz, Ken Satoh, Francesca Toni

Browse the full LPNMR paper archive.