[Back]


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.