[Back]


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)
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.