Debugging
non-ground ASP programs with choice rules, cardinality constraints and weight
constraints

Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich

Publikation: Beitrag in Buch/Konferenzband › Beitrag in Konferenzband

Originalsprache	Englisch
Titel des Sammelwerks	Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR- 2013)
Herausgeber*innen	Pedro Cabalar,Tran Cao Son
Erscheinungsort	Corunna, Spain
Verlag	Springer
Seiten	452 - 464
Publikationsstatus	Veröffentlicht - 1 Okt. 2013

Verfügbarkeit prüfen

@inproceedings{320cd884de264ee4b375d66667b01c90,

title = "Debugging non-ground ASP programs with choice rules, cardinality constraints and weight constraints",

author = "Axel Polleres and Melanie Fr{\"u}hst{\"u}ck and Gottfried Schenner and Gerhard Friedrich",

year = "2013",

month = oct,

day = "1",

language = "English",

pages = "452 -- 464",

editor = "{Pedro Cabalar,Tran Cao Son}",

booktitle = "Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR- 2013)",

publisher = "Springer",

address = "Germany",

}

Debugging non-ground ASP programs with choice rules, cardinality constraints and weight constraints. / Polleres, Axel; Frühstück, Melanie; Schenner, Gottfried et al.
Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR- 2013). Hrsg. / Pedro Cabalar,Tran Cao Son. Corunna, Spain: Springer, 2013. S. 452 - 464.

Publikation: Beitrag in Buch/Konferenzband › Beitrag in Konferenzband

TY - GEN

T1 - Debugging non-ground ASP programs with choice rules, cardinality constraints and weight constraints

AU - Polleres, Axel

AU - Frühstück, Melanie

AU - Schenner, Gottfried

AU - Friedrich, Gerhard

PY - 2013/10/1

Y1 - 2013/10/1

M3 - Contribution to conference proceedings

SP - 452

EP - 464

BT - Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR- 2013)

A2 - Pedro Cabalar,Tran Cao Son, null

PB - Springer

CY - Corunna, Spain

ER -