Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Extending ALCQIO with Trees";
Vortrag: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015),
Kyoto, Japan;
06.07.2015
- 10.07.2015; in: "LICS 2015",
IEEE,
(2015),
ISBN: 978-1-4799-8875-4;
S. 511
- 522.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/LICS.2015.54
Elektronische Version der Publikation:
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7174859
Zugeordnete Projekte:
Projektleitung Reinhard Pichler:
Effiziente, parametrisierte Algorithmen in Künstlicher Intelligenz und logischem Schließen
Projektleitung Reinhard Pichler:
SEE: SPARQL Evaluation and Extensions
Projektleitung Helmut Veith:
Proof Seeding for Software Verification
Projektleitung Florian Zuleger:
Automated Program Analysis for Bounds on Resource Consumption
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.