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
16-05-2011
End date
19-05-2011
 
Location
Vancouver, Canada
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-8 of 8 (Search time: 0.001 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