[Back]


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.