Publikation: Debugging Answer-Set Programs with Ouro...
Stammdaten
Titel: | Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion Plugin |
Untertitel: | 12th International Conference, LPNMR 2013 |
Kurzfassung: | 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. |
Schlagworte: |
Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
Erscheinungsdatum: | 15.09.2013 (Print) |
Erschienen in: |
Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
(
Springer Verlag GmbH;
P. Cabalar, T. Cao Son
)
zur Publikation |
Titel der Serie: | Lecture Notes in Computer Science |
Bandnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 323 - 328 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | |
ISBN (e-book): | - |
eISSN: | - |
DOI: | http://dx.doi.org/10.1007/978-3-642-40564-8_32 |
Homepage: | - |
Open Access |
|
Erscheinungsdatum: | 15.09.2013 |
ISBN: |
|
ISSN: | 0302-9743 |
Homepage: | - |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: |
|
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden