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)
http://dx.doi.org/10.1145/1656242.1656249
Electronic version of the publication:
http://tocl.acm.org/accepted/367eiter.pdf
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.