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

Book title Buchtitel
11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Oetsch, Johannes ; Tompits, Hans Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong EquivalenceKonferenzbeitrag Inproceedings 2011
2Eiter, Thomas ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas ; Schüller, Peter Pushing Efficient Evaluation of HEX Programs by Modular DecompositionKonferenzbeitrag Inproceedings 2011
3Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
4Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Stepping through an Answer-Set ProgramKonferenzbeitrag Inproceedings 2011