Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Lyon, K. van Berkel:
"Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics";
Vortrag: PRIMA 2019,
Turin;
28.10.2019
- 31.10.2019; in: "The 22nd International Conference on Principles and Practice of Multi-Agent Systems",
11873
(2019),
ISBN: 978-3-030-33791-9;
S. 202
- 218.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-33792-6_13
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_283686.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.