Inproceedings (heymans2010flogic)
Heymans, S.; Korf, R.; Erdmann, M.; Puehrer, J. & Eiter, T.
F-Logic: Loosely Coupling F-Logic Rules and Ontologies
2010
Inproceedings (DBLP:conf/esws/EiterIST06)
Eiter, T.; Ianni, G.; Schindlauer, R. & Tompits, H.
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.
2006, 273-287
Article (219403)
Eiter, T. & Gottlob, G.
Identifying the Minimal Transversals of a Hypergraph and Related Problems
SIAM J. Comput.,
Society for Industrial and Applied Mathematics,
1995, 24, 1278-1304