Talks and Poster Presentations (with Proceedings-Entry):

T. Kotek, M. Simkus, V. 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)

Electronic version of the publication:

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.