Logic Programming and Nonmonotonic Reasoning. 11th International Conference, LPNMR 2011

Book title Buchtitel

ISBN

978-3-642-20895-9

Publisher Verlag

Springer
Springer

DOI

10.1007/978-3-642-20895-9

Volume Band

6645

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

RIS EndNote Bibtex

	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
5	Drescher, Christian ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Walsh, Toby	Symmetry Breaking for Distributed Multi-Context Systems	Konferenzbeitrag Inproceedings	2011