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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans	Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs	Konferenzbeitrag Inproceedings	2010
	2		Oetsch, Johannes ; Tompits, Hans	Gentzen-type Refutation Systems for Three-Valued Logics	Konferenzbeitrag Inproceedings	2010