Publication: Debugging Answer-Set Programs with Ouro...
Master data
| Title: | Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin |
| Subtitle: | 12th International Conference, LPNMR 2013 |
| Abstract: | In answer-set programming (ASP), there is a lack of debugging tools that are capable of handling programs with variables. Hence, we implemented a tool, called Ouroboros, for debugging non-ground answer-set programs. The system builds on a previous approach based on ASP meta-programming that has been recently extended to cover weight constraints and choice rules. The main debugging question addressed is “given a program P and an interpretation I, why is I not an answer set of P”. Our tool gives answers in terms of two categories of explanations: unsatisfied rules and unfounded loops. Ouroboros is a plugin of the SeaLion integrated development environment for ASP that is built on Eclipse. Thereby, Ouroboros complements and profits from SeaLion’s Stepping plugin, that implements a different debugging approach for ASP. |
| Keywords: |
| Publication type: | Article in compilation (Authorship) |
| Publication date: | 15.09.2013 (Print) |
| Published by: |
Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
(
Springer Verlag GmbH;
P. Cabalar, T. Cao Son
)
to publication |
| Title of the series: | Lecture Notes in Computer Science |
| Volume number: | - |
| First publication: | Yes |
| Version: | - |
| Page: | pp. 323 - 328 |
Versionen
| Keine Version vorhanden |
| Publication date: | |
| ISBN (e-book): | - |
| eISSN: | - |
| DOI: | http://dx.doi.org/10.1007/978-3-642-40564-8_32 |
| Homepage: | - |
| Open access |
|
| Publication date: | 15.09.2013 |
| ISBN: |
|
| ISSN: | 0302-9743 |
| Homepage: | - |
Assignment
| Organisation | Address | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Categorisation
| Subject areas | |
| Research Cluster | No research Research Cluster selected |
| Peer reviewed |
|
| Publication focus |
Classification raster of the assigned organisational units:
|
| working groups | No working group selected |
Cooperations
No partner organisations selected
Research activities
All related research activities to this publication are shown here. With the link below, you can view them in the search view where you are also able to export them.
Show related search activities in search
| Projects: |
|
| Publications: | No related publications |
| Events: | No related events |
| Lectures: | No related lectures |
Articles of the publication
No related publications