Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
N. Labai, M. Simkus, M. Ortiz de la Fuente:
"An ExpTime Upper Bound for ALC with Integers";
Vortrag: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020,
Rhodes, Greece;
12.09.2020
- 18.09.2020; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020",
D. Calvanese, E. Erdem, M. Thielscher (Hrg.);
AAAI Press,
(2020),
ISSN: 2334-1033;
S. 614
- 623.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.24963/kr.2020/61
Elektronische Version der Publikation:
https://doi.org/10.24963/kr.2020/61
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.