Talks and Poster Presentations (with Proceedings-Entry):

T. Lyon, K. van Berkel:
"Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics";
Talk: PRIMA 2019, Turin; 2019-10-28 - 2019-10-31; in: "The 22nd International Conference on Principles and Practice of Multi-Agent Systems", 11873 (2019), ISBN: 978-3-030-33791-9; 202 - 218.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

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