Technical Communications of the 26th International Conference on Logic Programming
Book title Buchtitel
Technical Communications of the 26th International Conference on Logic Programming
Editor Herausgeber_in
Publisher Herausgeber
Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publishing Erscheinungsort
7 / Dagstuhl, Germany
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Zwirchmayr, Jakob ; Hermenegildo, Manuel ; Schraub, Torsten | Cutting-edge Timing Analysis Techniques | Konferenzbeitrag Inproceedings | 2010 | |
| 2 | Gaggl, Sarah ; Hermenegildo, Manuel ; Schaub, Torsten | Towards a General Argumentation System based on Answer-Set Programming | Konferenzbeitrag Inproceedings | 2010 |