Debugging Inconsistent Answer Set Programs

Reference:

Tommi Syrjänen. Debugging inconsistent answer set programs. In Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, pages 77–84, Lake District, UK, May 2006.

Suggested BibTeX entry:

@inproceedings{nmr06:syrjanen,
    address = {Lake District, UK},
    author = {Syrj\"anen, Tommi},
    booktitle = {Proceedings of the 11th International Workshop on Non-Monotonic Reasoning},
    month = {May},
    pages = {77--84},
    title = {Debugging Inconsistent Answer Set Programs},
    year = {2006},
}

PDF (146 kB)