Osorio, M;
Pérez, JAN;
Arrazola, J;
(2002)
Debugging in A-Prolog: A Logical Approach.
In: Stuckey, PJ, (ed.)
Logic Programming. 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings.
(pp. 482 - 483).
Springer Berlin Heidelberg
![[thumbnail of Navarro_iclp02.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
Navarro_iclp02.pdf Download (57kB) |
Abstract
A-Prolog, Answer Set Programming or Stable Model Programming, is an important outcome of the theoretical work on Nonmonotonic Reasoning and AI applications of Logic Programming in the last 15 years. In the full version of this paper we study interesting applications of logic in the field of answer sets.
| Type: | Proceedings paper |
|---|---|
| Title: | Debugging in A-Prolog: A Logical Approach |
| Event: | ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 |
| ISBN-13: | 978-3-540-45619-3 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/3-540-45619-8_44 |
| Publisher version: | http://dx.doi.org/10.1007/3-540-45619-8_44 |
| Language: | English |
| Additional information: | This is the authors' accepted version of this published article. The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-45619-8_44 |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1361360 |
Archive Staff Only
 |
View Item |
