Publications in Scientific Journals:

T. Eiter, M. Simkus:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
ACM Transactions on Computational Logic, 11 (2010), 2; 1 - 45.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Related Projects:
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Project Head Thomas Eiter:
Schließen in hybriden Wissensbasen

Created from the Publication Database of the Vienna University of Technology.