Using Rules of Thumb for Repairing Inconsistent Answer Set Programs

@inproceedings{Merhej2015UsingRO,
  title={Using Rules of Thumb for Repairing Inconsistent Answer Set Programs},
  author={Elie Merhej and Steven Schockaert and Martine De Cock},
  booktitle={SUM},
  year={2015}
}
Answer set programming is a form of declarative programming that can be used to elegantly model various systems. When the available knowledge about these systems is imperfect, however, the resulting programs can be inconsistent. In such cases, it is of interest to find plausible repairs, i.e. plausible modifications to the original program that ensure the… CONTINUE READING