36th International Conference on Logic Programming (ICLP 2020)
Event name
36th International Conference on Logic Programming (ICLP 2020)
Event type
Event for scientific audience
Start date
18-09-2020
End date
25-09-2020
Location
Rende, Italien
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Kiesel, Rafael Peter David | ASP(AC): Answer Set Programming with Algebraic Constraints | Präsentation Presentation | 2020 | |
| 2 | Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans | Catching the Ouroboros: On debugging non-ground answer-set programs | Präsentation Presentation | 2020 | |
| 3 | Geibinger, Tobias ; Tompits, Hans | Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics | Konferenzbeitrag Inproceedings  | 2020 |