Talks and Poster Presentations (with Proceedings-Entry):
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Extending ALCQIO with Trees";
Talk: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015),
Kyoto, Japan;
07-06-2015
- 07-10-2015; in: "LICS 2015",
IEEE,
(2015),
ISBN: 978-1-4799-8875-4;
511
- 522.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/LICS.2015.54
Electronic version of the publication:
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7174859
Related Projects:
Project Head Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen
Project Head Reinhard Pichler:
SEE: SPARQL Evaluation and Extensions
Project Head Helmut Veith:
Proof Seeding for Software Verification
Project Head Florian Zuleger:
Automated Program Analysis for Bounds on Resource Consumption
Created from the Publication Database of the Vienna University of Technology.