Name Card

Full name Familienname, Vorname

Hanus, Michael

Contributing Publications Mitbeteiligte Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Leutgeb, Lorenz ; Weinzierl, Antonius	Techniques for Efficient Lazy-Grounding ASP Solving	Konferenzbeitrag Inproceedings	2018
	2		Leutgeb, Lorenz ; Weinzierl, Antonius	Techniques for Efficient Lazy-Grounding ASP Solving	Konferenzbeitrag Inproceedings	2017
	3		Tompits, Hans ; Fang, Min	An Approach for Representing Answer Sets in Natural Language	Konferenzbeitrag Inproceedings	2017
	4		Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph	hex-Programs with Existential Quantification	Konferenzbeitrag Inproceedings	2014
	5		Berger, Gerald ; Tompits, Hans	On Axiomatic Rejection for the Description Logic $$\mathcal {ALC}$$	Konferenzbeitrag Inproceedings	2014
	6		Berger, Gerald ; Tompits, Hans	On Axiomatic Rejection for the Description Logic ALC	Konferenzbeitrag Inproceedings	2013
	7		Schernhammer, Felix ; Meseguer, José	Incremental checking of well-founded recursive specifications modulo axioms	Konferenzbeitrag Inproceedings	2011
	8		Zwirchmayr, Jakob	A Satisfiability Modulo Theories Memory-Model and Assertion Checker for C	Konferenzbeitrag Inproceedings	2010
	9		Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus	Towards an Orchestrated Approach for Annotation Verification	Konferenzbeitrag Inproceedings	2010
	10		Brunthaler, Stefan	Optimizing High Abstraction-Level Interpreters	Konferenzbeitrag Inproceedings	2009
	11		Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan	Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT	Konferenzbeitrag Inproceedings	2009
	12		Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan	spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics	Konferenzbeitrag Inproceedings	2009