Does telling white lies signal pro-social preferences? L Biziou-van-Pol, J Haenen, A Novaro, AO Liberman, V Capraro Judgment and Decision Making 10 (6), 538-548, 2015 | 108 | 2015 |
Dynamic term-modal logics for first-order epistemic planning AO Liberman, A Achen, RK Rendsvig Artificial Intelligence 286, 103305, 2020 | 28 | 2020 |
Dynamic term-modal logic for epistemic social network dynamics AO Liberman, RK Rendsvig International Workshop on Logic, Rationality and Interaction, 168-182, 2019 | 11 | 2019 |
Decidability results in first-order epistemic planning AO Liberman, RK Rendsvig Twenty-Ninth International Joint Conference on Artificial Intelligence, 4161 …, 2020 | 8 | 2020 |
Learning first-order symbolic planning representations that are grounded AO Liberman, B Bonet, H Geffner arXiv preprint arXiv:2204.11902, 2022 | 5 | 2022 |
Reasoning about epistemic social network dynamics using dynamic term-modal logic A Occhipinti Liberman, RK Rendsvig Journal of Logic and Computation 32 (6), 1067-1087, 2022 | 4 | 2022 |
Learning to act and observe in partially observable domains T Bolander, N Gierasimczuk, A Occhipinti Liberman Dick de Jongh on Intuitionistic and Provability Logics, 303-351, 2024 | 3 | 2024 |
Dynamic term-modal logics for epistemic planning A Achen, A Occhipinti Liberman, RK Rendsvig arXiv, arXiv: 1906.06047, 2019 | 3 | 2019 |
Representation, learning and planning for theory-of-mind agents using dynamic epistemic logic AO Liberman Technical University of Denmark, 2020 | 1 | 2020 |
Erratum to “Dynamic term-modal logics for first-order epistemic planning”[Artif. Intell. 286 (2020) 103305] A Occhipinti Liberman, A Achen, RK Rendsvig | | 2023 |
Erratum to “Dynamic term-modal logics for first-order epistemic planning”[Artif. Intell. 286 (2020) 103305] AO Liberman, A Achen, RK Rendsvig | | 2023 |
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version) AO Liberman, RK Rendsvig arXiv preprint arXiv:1908.09658, 2019 | | 2019 |
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version) A Occhipinti Liberman, RK Rendsvig arXiv e-prints, arXiv: 1908.09658, 2019 | | 2019 |
Dynamic Evidence Logics with Relational Evidence A Occhipinti Liberman | | 2016 |