Talks and Poster Presentations (with Proceedings-Entry):
T. Eiter, M. Ortiz de la Fuente, M. Simkus:
"Reasoning Using Knots";
Keynote Lecture: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR),
Doha, Qatar (invited);
2008-11-22
- 2008-11-27; in: "15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR08)",
I. Cervesato, H. Veith, A. Voronkov (ed.);
Lecture Notes in Computer Science, Springer,
Volume 5330
(2008),
ISBN: 978-3-540-89438-4;
377
- 390.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-540-89439-1_27
Created from the Publication Database of the Vienna University of Technology.