Methods and methodologies for developing answer-set programs -- project description

DOI10.4230/LIPICS.ICLP.2010.154MaRDI QIDQ2883088zbMATH OpenOpenAlexFDO

Authors Johannes Oetsch, Jörg Pührer, Hans Tompits

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_f035.html

zbMATH Keywords

testingdebugginganswer-set programmingprogram development

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Debugging ASP Programs by Means of ASP
• Debugging non-ground ASP programs: technique and graphical tools
• On testing answer-set programs
• Answer set programming
• Answer Set Programming: A Primer

Cited in

(5)

• Debugging ASP Programs by Means of ASP
• Using answer set programming in the development of verified software
• On testing answer-set programs
• Annotating answer-set programs in LANA
• onlineSPARC: a programming environment for answer set programming

Describes a project that uses

Uses Software

• ANTON
• APE

This page was built for publication: Methods and methodologies for developing answer-set programs -- project description

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