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
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Kiesel, Rafael Peter David ASP(AC): Answer Set Programming with Algebraic ConstraintsPräsentation Presentation2020
2Oetsch, Johannes ; Pührer, Jörg ; Tompits, Hans Catching the Ouroboros: On debugging non-ground answer-set programsPräsentation Presentation2020
3Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020