Stammdaten

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)
Art der Veröffentlichung Printversion
Erschienen in: Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
zur Publikation
 ( Springer Verlag GmbH; P. Cabalar, T. Cao Son )
Erscheinungdatum: 15.09.2013
Titel der Serie: Lecture Notes in Computer Science
Bandnummer: -
Erstveröffentlichung: Ja
Seite: S. 323 - 328

Identifikatoren

ISBN:
  • 9783642405648
ISSN: 0302-9743
DOI: http://dx.doi.org/10.1007/978-3-642-40564-8_32
AC-Nummer: -
Homepage:
Open Access
  • Kein Open-Access

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993705
   ainf@aau.at
https://www.aau.at/angewandte-informatik/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

Sachgebiete
  • 1108 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: I)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Kooperationen

Keine Kooperationspartner ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden