Author:Thomas Eiter

Publications
SAT Modulo Well-Founded Semantics: Extended Abstract Thomas Eiter, Tobias Nießen and Davide Soldà EasyChair Preprint 16031
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Tobias Kaminski, Thomas Eiter and Katsumi Inoue EasyChair Preprint 204
IWIL Workshop and LPAR Short Presentations Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors) Kalpa Publications in Computing, volume 1
LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning Thomas Eiter and David Sands (editors) EPiC Series in Computing, volume 46
Answer Set Programming in a Nutshell Thomas Eiter In:WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems