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; 2015-07-06 - 2015-07-10; 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.