Talks and Poster Presentations (with Proceedings-Entry):
N. Labai, M. Simkus, M. Ortiz de la Fuente:
"An ExpTime Upper Bound for ALC with Integers";
Talk: 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020,
Rhodes, Greece;
2020-09-12
- 2020-09-18; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020",
D. Calvanese, E. Erdem, M. Thielscher (ed.);
AAAI Press,
(2020),
ISSN: 2334-1033;
614
- 623.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.24963/kr.2020/61
Electronic version of the publication:
https://doi.org/10.24963/kr.2020/61
Created from the Publication Database of the Vienna University of Technology.