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

Book title Buchtitel

Editor Herausgeber_in

Delgrande, James P.
Faber, Wolfgang

Publisher Herausgeber

Springer

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

RIS EndNote Bibtex Send via email

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