13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015
Event name
13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015
Start date
27-09-2015
End date
30-09-2015
Location
Lexington, Kentucky, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Charwat, Günther ; Woltran, Stefan ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings | 2015 |