11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)

Event name
11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)
Event type
Event for scientific audience
Start date
End date
Vancouver, Canada
Vancouver, Canada
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Delgrande, James P. ; Faber, Wolfgang Approximations for Explanations of Inconsistency in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
2Oetsch, Johannes ; Tompits, Hans Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong EquivalenceKonferenzbeitrag Inproceedings 2011
3Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter ; Delgrande, James P. ; Faber, Wolfgang Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
4Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
5Fink, Michael ; Ghionna, Lucantonio ; Weinzierl, Antonius ; Delgrande, James P. ; Faber, Wolfgang Relational Information Exchange and Aggregation in Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
6Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011
7Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby ; Delgrande, James P. ; Faber, Wolfgang Symmetry Breaking for Distributed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
8Oetsch, Johannes ; Pührer, Jörg ; Seidl, Martina ; Tompits, Hans ; Zwickl, Patrick VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering TechnologyKonferenzbeitrag Inproceedings 2011