Talks and Poster Presentations (with Proceedings-Entry):
K. van Berkel, T. Lyon:
"Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.";
Talk: 16th Edition of the European Conference on Logics in Artificial Intelligence,
Rende, Italien;
2019-05-07
- 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA}",
Springer,
11468
(2019),
ISBN: 978-3-030-19569-4;
803
- 819.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-19570-0_52
Created from the Publication Database of the Vienna University of Technology.