Publications

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. Nonmonotonic Description Logic Programs: Implementation and Experiments. In F. Baader and A. Voronkov, editors, Proceedings 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), 3452 in LNCS, pages 511-517. Springer, 2005. Preprint.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). Morgan Kaufmann, 2005. To appear.
Grigoris Antoniou, Matteo Baldoni, Cristina Baroglio, Robert Baumgartner, François Bry, Thomas Eiter, Nicola Henze, Marcus Herzog, Wolfgang May, Viviana Patti, Sebastian Schaffert, Roman Schindlauer, and Hans Tompits. Reasoning Methods for Personalization on the Semantic Web. Annals of Mathematics Computing and Teleinformatics, 2(1): 1-24. 2004. ISSN 1109-9305. Invited paper.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Well-founded Semantics for Description Logic Programs in the Semantic Web. In G. Antoniou and H. Boley, editors, Proceedings RuleML 2004 Workshop ISWC Conference Hiroshima Japan November 2004, 3323 in LNCS, pages 81-97. Springer, 2004. Preprint.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. In Didier Dubois, Christopher Welty, and Mary-Anne Williams, editors, Proceedings Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004) June 2-5 Whistler British Columbia Canada. Morgan Kaufmann, 2004.
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. Technical Report INFSYS RR-1843-03-13. 2003. Preliminary report.