 | Up a level |
Cachin, Christian; Lehnherr, David; Studer, Thomas (2023). Modal and Justification Logics for Multi-agent Systems (Invited Talk). In: Herzig, Andreas; Luo, Jieting; Pardo, Pere (eds.) International Conference on Logic and Argumentation, 2023. Lecture Notes in Computer Science: Vol. 14156 (pp. 3-8). Cham: Springer Nature Switzerland 10.1007/978-3-031-40875-5_1
Luo, Jieting; Studer, Thomas; Dastani, Mehdi (2023). Providing Personalized Explanations: A Conversational Approach. In: Herzig, Andreas; Luo, Jieting; Pardo, Pere (eds.) International Conference on Logic and Argumentation, 2023. Lecture Notes in Computer Science: Vol. 14156 (pp. 121-137). Cham: Springer Nature Switzerland 10.1007/978-3-031-40875-5_8
Ghilezan, Silvia; Ivetic, Jelena; Kasterovic, Simona; Ognjanovic, Zoran; Savic, Nenad (3 January 2020). Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. In: Herzig, Andreas; Kontinen, Juha (eds.) Foundations of Information and Knowledge Systems. Lecture Notes in Computer Science: Vol. 12012 (pp. 122-139). Springer 10.1007/978-3-030-39951-1_8
