Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)
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,
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics | Konferenzbeitrag Inproceedings | 2007 | |
| 2 | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT | Konferenzbeitrag Inproceedings  | 2007 |