Zeitschriftenartikel:
T. Eiter, M. Simkus:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
ACM Transactions on Computational Logic,
11
(2010),
2;
S. 1
- 45.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/1656242.1656249
Elektronische Version der Publikation:
http://tocl.acm.org/accepted/367eiter.pdf
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.