Debugging in A-Prolog: A logical approach

DOI10.1007/3-540-45619-8_44MaRDI QIDQ4812994zbMATH OpenFDO

Authors Juan A. Navarro, José Ramón Enrique Arrazola Ramírez, Mauricio Osorio Galindo

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010482.htm, http://discovery.ucl.ac.uk/1361360/1/Navarro_iclp02.pdf

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic programming and knowledge representation---The A-Prolog perspective
• Debugging non-ground ASP programs: technique and graphical tools
• A logical approach to A-Prolog
• Representing knowledge in A-Prolog
• Debugging ASP Programs by Means of ASP

Cited in

(5)

• Logical debugging
• Logic programming and knowledge representation---The A-Prolog perspective
• Safe beliefs for propositional theories
• scientific article; zbMATH DE number 1497846 (Why is no real title available?)
• A logical approach to A-Prolog

This page was built for publication: Debugging in A-Prolog: A logical approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812994)