Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop
Book title Buchtitel
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop
Editor Herausgeber_in
Publisher Herausgeber
CEUR Workshop Proceedings
Place of publishing Erscheinungsort
142
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ianni, Giovambattista ; Panetta, Claudio ; Ricca, Francesco ; De Vos, Marina ; Provetti, Alessandro | Specification of Assessment-Test Criteria through ASP Specifications | Konferenzbeitrag Inproceedings  | 2005 | |
| 2 | Tompits, Hans ; Woltran, Stefan ; De Vos, Marina ; Provetti, Alessandro | Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming | Konferenzbeitrag Inproceedings | 2005 |