Publications

Stijn Heymans, Roman Korf, Michael Erdmann, Joerg Puehrer, und Thomas Eiter. F-Logic\#: Loosely Coupling F-Logic Rules and Ontologies. Proc. of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010. [PUMA: ontologies toread] URL

Thomas Eiter, und Georg Gottlob. Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput., (24)6:1278--1304, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, 1995. [PUMA: conp theory hypergraph complexity] URL

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, und Hans Tompits. Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.. ESWC, 273-287, 2006. [PUMA: reason european rules proceedings 2006 semantic conference eswc and web]