Filters








37 Hits in 7.5 sec

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics [chapter]

Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2009 Lecture Notes in Computer Science  
In this paper, we present the system spock, a debugging support tool for answer-set programs making use of ASP itself.  ...  Unlike in other areas of logic programming, applying tracing techniques for debugging logic programs under the answer-set semantics seems rather unnatural, since employing imperative solving algorithms  ...  Pontelli and Son [4] developed a preliminary implementation for their adoption of so-called justifications [15, 16] to the problem of debugging answer-set programs.  ... 
doi:10.1007/978-3-642-00675-3_17 fatcat:n4zfzglkmzappio4jnpfhxrhgy

An integrated Graphical User Interface for Debugging Answer Set Programs [article]

Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin
2016 arXiv   pre-print
Furthermore, the debugging interface is integrated in ASPIDE, a rich IDE for answer set programs. With our extension ASPIDE turns into a full-fledged IDE by offering debugging support.  ...  In this paper, we present a new graphical debugging interface for non-ground answer set programs.  ...  The authors are grateful to Marc Deneker and Ingmar Dasseville for the fruitful discussions about debugging ASP programs, and in particular for the useful comments regarding the case of missing support  ... 
arXiv:1611.04969v1 fatcat:buglwbqalnhsjc2336eiss3une

Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches [article]

Jorge Fandinno, Claudia Schulz
2018 arXiv   pre-print
One of the AI paradigms that may be affected by this new regulation is Answer Set Programming (ASP).  ...  In this survey, we give an overview of approaches that provide an answer to the question of why an answer set is a solution to a given problem, notably off-line justifications, causal graphs, argumentative  ...  Acknowledgements We are thankful to the anonymous reviewers for their valuable feedback, which helped to improve the paper.  ... 
arXiv:1809.08034v1 fatcat:it4r7eznkzdvfa5viq6g6i33dq

Debugging of Answer Set Programs Using Paracoherent Reasoning

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca
2019 Italian Conference on Computational Logic  
Answer Set Programming is a well-known declarative programming paradigm proposed in the area of logic programming and non-monotonic reasoning.  ...  Although ASP features a simple syntax and an intuitive semantics, errors are common during the development of ASP programs.  ...  In this paper we provide a practical contribution in the aforementioned context by considering an important question related to debug, i.e. why an interpretation is not an answer set of a program under  ... 
dblp:conf/cilc/CuteriDR19b fatcat:hzxfezk6j5grxnoqjl55jtbbqa

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JÖRG PÜHRER, PETER SKOČOVSKÝ, HANS TOMPITS
2013 Theory and Practice of Logic Programming  
In this respect,SeaLionis the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers.  ...  The tool has been realised in the context of a research project whose goal is the development of techniques to support the practical coding process of answer-set programs.  ...  Stepping for ASP was introduced as a strategy to identify mismatches between the intended semantics of an answer-set program under development and its actual semantics .  ... 
doi:10.1017/s1471068413000410 fatcat:yvqsto7vlzfqrjzmrb5lqoke3i

Debugging Non-ground ASP Programs: Technique and Graphical Tools

CARMINE DODARO, PHILIP GASTEIGER, KRISTIAN REALE, FRANCESCO RICCA, KONSTANTIN SCHEKOTIHIN
2019 Theory and Practice of Logic Programming  
The resulting debugger has been complemented by a user-friendly graphical interface, and integrated in aspide, a rich integrated development environment (IDE) for answer set programs.  ...  In this paper we propose a novel debugging approach allowing for interactive localization of bugs in non-ground programs.  ...  The authors are grateful to Marc Deneker and Ingmar Dasseville for the fruitful discussions about debugging for logic programs and FO(ID) theories, and in particular for the useful suggestion improving  ... 
doi:10.1017/s1471068418000492 fatcat:fzey2pv6kbc4hgg5z3qoz6bbuy

Catching the Ouroboros: On debugging non-ground answer-set programs

JOHANNES OETSCH, JÖRG PÜHRER, HANS TOMPITS
2010 Theory and Practice of Logic Programming  
AbstractAn important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase.  ...  Following previous work, we address the central debugging question why some interpretation is not an answer set.  ...  Our debugging approach requires information about the intended semantics in form of the interpretation representing a desired answer set.  ... 
doi:10.1017/s1471068410000256 fatcat:arm4u5vcrzfejatdldkqfmbvli

Justifications for Logic Programs under Answer Set Semantics [article]

Enrico Pontelli, Tran Cao Son, Omar Elkhatib
2008 arXiv   pre-print
Off-line and on-line justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools for debugging answer set programs.  ...  The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a given answer set.  ...  The authors are partially supported by NSF grants CNS-0220590, HRD-0420407, and IIS-0812267.  ... 
arXiv:0812.0790v1 fatcat:c2zrkgp4l5blxlwbod7fyrpt4u

Justifications for logic programs under answer set semantics

ENRICO PONTELLI, TRAN CAO SON, OMAR ELKHATIB
2009 Theory and Practice of Logic Programming  
Offline and online justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools fordebugginganswer set programs.  ...  AbstractThe paper introduces the notion ofoffline justificationfor answer set programming (ASP).  ...  The authors are partially supported by NSF grants CNS-0220590, HRD-0420407, and IIS-0812267.  ... 
doi:10.1017/s1471068408003633 fatcat:bqeaoj6errf27k2zcsmtwufkgi

Annotating answer-set programs in Lana

MARINA DE VOS, DOĞA GIZEM KISA, JOHANNES OETSCH, JÖRG PÜHRER, HANS TOMPITS
2012 Theory and Practice of Logic Programming  
AbstractWhile past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research  ...  In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, calledLana.  ...  Debugging in ASP is supported by SPOCK , which makes use of ASP to explain and handle unexpected outcomes like missing atoms in an answer set or the absence of an answer set.  ... 
doi:10.1017/s147106841200021x fatcat:r6ls6zd2jbealdyz5m3whso4ja

Annotating Answer-Set Programs in LANA? [article]

Marina De Vos, Doğa Gizem Kıza, Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 arXiv   pre-print
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend:  ...  In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called LANA.  ...  Debugging in ASP is supported by SPOCK , which makes use of ASP to explain and handle unexpected outcomes like missing atoms in an answer set or the absence of an answer set.  ... 
arXiv:1210.2195v1 fatcat:3scweyzegfagzk33wwxogludpq

Stepwise debugging of answer-set programs

JOHANNES OETSCH, JÖRG PÜHRER, HANS TOMPITS
2017 Theory and Practice of Logic Programming  
We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules.  ...  As a solid formal basis for stepping, we develop a framework of computations for answer-set programs.  ...  This work was partially supported by the Austrian Science Fund (FWF) under project P21698, the German Research Foundation (DFG) under grants BR-1817/7-1 and BR 1817/7-2, and the European Commission under  ... 
doi:10.1017/s1471068417000217 fatcat:pwi4pk775fflnn6kkq3g6pdhyq

Unit Testing in ASPIDE [article]

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2011 arXiv   pre-print
Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications.  ...  The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program  ...  This work has been partially supported by the Calabrian Region under PIA (Pacchetti Integrati di Agevolazione industria, artigianato e servizi) project DLVSYSTEM approved in BURC n. 20 parte III del 15  ... 
arXiv:1108.5434v1 fatcat:wpcrxa2fzjetrjfxcl46qspsdi

Stepwise Debugging of Answer-Set Programs [article]

Johannes Oetsch, Jörg Pührer, Hans Tompits
2017 arXiv   pre-print
We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules.  ...  As a solid formal basis for stepping, we develop a framework of computations for answer-set programs.  ...  This work was partially supported by the Austrian Science Fund (FWF) under project P21698, the German Research Foundation (DFG) under grants BR-1817/7-1 and BR 1817/7-2, and the European Commission under  ... 
arXiv:1705.06564v1 fatcat:qea4blojk5dgtoxlgtdblyaym4

Interactive Debugging of ASP Programs [article]

Kostyantyn Shchekotykhin
2014 arXiv   pre-print
Broad application of answer set programming (ASP) for declarative problem solving requires the development of tools supporting the coding process.  ...  The system queries a programmer whether a set of ground atoms must be true in all (cautiously) or some (bravely) answer sets of the program.  ...  Acknowledgments The authors would like to thank Gerhard Friedrich and Patrick Rodler for the discussions regarding query selection strategies.  ... 
arXiv:1403.5142v4 fatcat:ac7kpqjapzdsvclqdyujjdytzm
« Previous Showing results 1 — 15 out of 37 results