14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

Event name
14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)
 
Event type
Event for scientific audience
 
Start date
03-07-2017
End date
06-07-2017
 
Location
Helsinki
Country
Finland
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Redl, Christoph Answer Set Programs with Queries over SubprogramsKonferenzbeitrag Inproceedings 2017
2Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017
3Fichte, Johannes ; Szeider, Stefan Backdoor Trees for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
4Redl, Christoph Explaining Inconsistency in Answer Set Programs and ExtensionsKonferenzbeitrag Inproceedings 2017
5Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans $$\mathsf {Harvey}$$ : A System for Random Testing in ASPKonferenzbeitrag Inproceedings 2017
6Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingKonferenzbeitrag Inproceedings2017
7Hecher, Markus Structure-Driven Answer-Set SolvingKonferenzbeitrag Inproceedings2017