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
 

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ianni, Giovambattista ; Panetta, Claudio ; Ricca, Francesco Specification of Assessment-Test Criteria through ASP SpecificationsKonferenzbeitrag Inproceedings 2005
2Tompits, Hans ; Woltran, Stefan Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005