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
 
Event type
Event for scientific audience
 
Start date
27-09-2015
End date
30-09-2015
 
Location
Lexington
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Charwat, Günther ; Woltran, Stefan Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
2Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingKonferenzbeitrag Inproceedings 2015