Debugging logic programs under the answer set semantics

CEUR Workshop Proceedings

Volumn 142, Issue , 2005, Pages 141-152

  Brain, Martin ^a   De Vos, Marina ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET SEMANTICS; EVALUATION TOOL; IMPLEMENTATION TECHNIQUES; INTERACTIVE DEVELOPMENT; LOGIC PROGRAMS; PROTOTYPE VERSIONS;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; ERRORS; LOGIC PROGRAMMING; SEMANTICS;

PROGRAM DEBUGGING;

EID: 84879955186     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. M. Gelfond and V. Lifschitz: The stable model semantics for logic programming, Logic Programming: Proc. of the Fifth Int'l Conf. and Symp. Pg 1070-1080, MIT Press, 1988
2. A. Aho, R. Sethi and J. Ullman Compilers - Principles, Techniques and Tools, ISBN 0-201-10088-6, Addison Wesley, 1988.
3. Chitta Baral. C. Baral. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge Press, 2003.
4. M. Brain. Undergraduate dissertation: Incremental answer set programming. Technical Report 2004-05, University of Bath, U.K., Bath, May 2004.
5. M. Nogueira, M. Balduccini, M. Gelfond, R. Watson and M. Barry: An A-Prolog decision support system for the Space Shuttle, AAAI Spring 2001 Symposium, Mar 2001.
6. C. Anger, K. Konczak, and T. Linke. NoMoRe: Non-monotonic reasoning with logic programs. In G. Ianni and S. Flesca, editors, Eighth European Workshop on Logics in Artificial Intelligence (JELIA'02), volume 2424 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2002.
7. M. Brain and M. De Vos. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In ASP03: Answer Set Programming: Advances in Theory and Implementation. Ceur-WS, 2003. online CEUR-WS.org/Vol-78/asp03-final- brain.ps.
8. GDB homepage http://www.gnu.org/software/gdb/
9. Giovambattista Ianni, Giuseppe Ielpa, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro. G. Ianni, G. Ielpa, F. Calimeri, A. Pietramala, M. Carmela Santoro. A System with Template Answer Set Programs. In Proceedings of the 9th European Conference, JELIA 2004, LNCS 3229 Springer Verlag, Lisbon, Portugal, September 27-30, 2004.
10. Free Software Foundation, Inc. GNU Public Licence http://www.gnu.org/ licenses/gpl.html
11. N. Pelov, E. De Mot, and M. Denecker. Logic programming approaches for representing and solving constraint satisfaction problems: a comparison. In M. Parigot and A. Voronkov, editors, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, volume 1955 of Lecture Notes in Artificial Intelligence, pages 225-239, Reunion Island, France, November 2000.
12. T. Syrjänen. Implementation of local grounding for logic programs with stable model semantics Technical Report B18, Digital Systems Laboratory, Helsinki University of Technology, October 1998.
13. Hietalahti, M., Massacci, F., and Niemelë, I. DES: a challenge problem for nonmonotonic reasoning systems. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA
14. Leone N., Gottlob G., Rosati R., Eiter T., Faber W., Fink M., Greco G., Ianni G., Kalka E., Lio V., Lembo D., Lenzerini M., The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data. "SIGMOD 2005", Baltimore, Maryland (USA), 2005, 2005
15. Giorgini, P., Massacci, F., Mylopoulos, J. and Zannone, N. Requirements engineering meets trust management: model, methodology, and reasoning. In Proceedings of the Second International Conference on Trust Management (iTrust 2004) (2004), T. Dimitrakos, C. D. Jensen, and S. Poslad, Eds., vol. 2995 of Lecture Notes in Computer Science, Springer-Verlag Heidelberg, ISBN 3-540-21312-0pp. 176-190.
16. Satoh, K., Consistency Management in Software Engineering by Abduction, Proceedings of the ICSE-2000 Workshop on Intelligent Software Engineering, pp. 90 - 99, Limerick, Ireland (2000)
17. T. Syrjänen, On Debugging ASP, draft version.