UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Debugging in A-Prolog: A Logical Approach

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 Green open access

[thumbnail of Navarro_iclp02.pdf]
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
Downloads since deposit
134Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item