Talks and Poster Presentations (with Proceedings-Entry):
M. Simkus, T. Eiter:
"FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols";
Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR),
Yerevan, Armenia;
2007-10-15
- 2007-10-19; in: "Proceedings 14th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007)",
N Dershowitz, A. Voronkov (ed.);
Springer Lecture Notes in Computer Science,
4790
(2007),
ISBN: 978-3-540-75558-6;
514
- 530.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-540-75560-9
Created from the Publication Database of the Vienna University of Technology.