Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)
 
Publisher Herausgeber
Bayerische Julius-Maximilians-Universität Würzburg,
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings2007
2Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccTKonferenzbeitrag Inproceedings 2007