Publikation: Debugging Non-ground ASP Programs with ...

Stammdaten
Titel: Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints
Untertitel:
Kurzfassung: When deploying Answer Set Programming (ASP) in an industrial context, for instance for (re-)configuration [5], knowledge engineers need debugging support on non-ground programs. Current approaches to ASP debugging, however, do not cover extended modeling features of ASP, such as choice rules, conditional literals, cardinality and weight constraints [13]. To this end, we encode non-ground ASP programs using extended modeling features into normal logic progams; this encoding extends existing encodings for the case of ground programs [4,10,11] to the non-ground case. We subsequently deploy this translation on top of an existing ASP debugging approach for non-ground normal logic programs [14]. We have implemented and tested the approach and provide evaluation results.
Schlagworte:
Publikationstyp: Beitrag in Sammelwerk (Autorenschaft)
Erscheinungsdatum: 15.09.2013 (Print)
Erschienen in: Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
zur Publikation
 ( Springer Verlag GmbH; P. Cabalar, T. Cao Son )
Titel der Serie: Lecture Notes in Computer Science
Bandnummer: -
Erstveröffentlichung: Ja
Version: -
Seite: S. 452 - 464

Versionen
Keine Version vorhanden
Erscheinungsdatum:
ISBN (e-book): -
eISSN: -
DOI: http://dx.doi.org/10.1007/978-3-642-40564-8_45
Homepage: -
Open Access
  • Kein Open-Access
Erscheinungsdatum: 15.09.2013
ISBN:
  • 9783642405648
ISSN: 0302-9743
Homepage: -

Zuordnung
Organisation Adresse
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
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 Partnerorganisation ausgewählt

Beiträge der Publikation
Keine verknüpften Publikationen vorhanden