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)

Created from the Publication Database of the Vienna University of Technology.