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, Finland
Helsinki, Finland
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

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