ICLP 2020
Event name
ICLP 2020
Event type
Event for scientific audience
Start date
18-09-2020
End date
24-09-2020
Location
Rende, Italien
Country
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Weinzierl, Antonius ; Taupe, Richard ; Friedrich, Gerhard | Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More | Präsentation Presentation | 2020 | |
| 2 | Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard | Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints | Präsentation Presentation | 2020 | |
| 3 | Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan | Encoding Choice Logics in ASP | Konferenzbeitrag Inproceedings  | 2020 | |
| 4 | Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Structural Decompositions of Epistemic Logic Programs | Konferenzbeitrag Inproceedings | 2020 |