Name Card

Full name Familienname, Vorname

Hermenegildo, Manuel

Contributing Publications Mitbeteiligte Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Morak, Michael ; Bichler, Manuel ; Woltran, Stefan	lpopt: A Rule Optimization Tool for Answer Set Programming	Konferenzbeitrag Inproceedings	2017
	2		Bichler, Manuel ; Morak, Michael ; Woltran, Stefan	lpopt: A Rule Optimization Tool for Answer Set Programming	Konferenzbeitrag Inproceedings	2016
	3		OETSCH, JOHANNES ; PÜHRER, JÖRG ; TOMPITS, HANS	Catching the Ouroboros: On debugging non-ground answer-set programs	Konferenzbeitrag Inproceedings	2010
	4		OETSCH, JOHANNES ; PÜHRER, JÖRG ; SCHWENGERER, MARTIN ; TOMPITS, HANS	The system Kato: Detecting cases of plagiarism for answer-set programs	Konferenzbeitrag Inproceedings	2010
	5		Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans	Methods and Methodologies for Developing Answer-Set Programs - Project Description	Konferenzbeitrag Inproceedings	2010
	6		Zwirchmayr, Jakob	Cutting-edge Timing Analysis Techniques	Konferenzbeitrag Inproceedings	2010
	7		Basol, Selen ; Erdem, Ozan ; Fink, Michael ; Ianni, Giovambattista	HEX Programs with Action Atoms	Konferenzbeitrag Inproceedings	2010
	8		Gaggl, Sarah	Towards a General Argumentation System based on Answer-Set Programming	Konferenzbeitrag Inproceedings	2010
	9		Brooks, Daniel R. ; Erdem, Esra ; Minett, James W. ; Ringe, Donald	Character-Based Cladistics and Answer Set Programming	Konferenzbeitrag Inproceedings	2005