Polleres, Axel, Frühstück, Melanie, Schenner, Gottfried, Friedrich, Gerhard. 2013. Debugging
non-ground ASP programs with choice rules, cardinality constraints and weight
constraints. In Proceedings of the 12th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-
2013), Hrsg. Pedro Cabalar,Tran Cao Son, 452-464. Corunna, Spain: Springer.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
| Status of publication | Published |
|---|---|
| Affiliation | WU |
| Type of publication | Contribution to conference proceedings |
| Language | English |
| Title | Debugging non-ground ASP programs with choice rules, cardinality constraints and weight constraints |
| Title of whole publication | Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR- 2013) |
| Editor | Pedro Cabalar,Tran Cao Son |
| Page from | 452 |
| Page to | 464 |
| Location | Corunna, Spain |
| Publisher | Springer |
| Year | 2013 |
Associations
- People
- Polleres, Axel (Details)
- External
- Friedrich, Gerhard
- Frühstück, Melanie
- Schenner, Gottfried
- Organization
- Institute for Data, Process and Knowledge Management (AE Polleres) (Details)
- Institute for Data, Process and Knowledge Management IN (Details)