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 | 25 | 2020 |
Dynamic term-modal logic for epistemic social network dynamics AO Liberman, RK Rendsvig International Workshop on Logic, Rationality and Interaction, 168-182, 2019 | 9 | 2019 |
Decidability results in first-order epistemic planning AO Liberman, RK Rendsvig Twenty-Ninth International Joint Conference on Artificial Intelligence, 4161 …, 2020 | 7 | 2020 |
Learning First-Order Symbolic Planning Representations That Are Grounded AO Liberman, B Bonet, H Geffner arXiv preprint arXiv:2204.11902, 2022 | 4 | 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 | 3 | 2022 |
Learning to act and observe in partially observable domains T Bolander, N Gierasimczuk, AO Liberman arXiv preprint arXiv:2109.06076, 2021 | 3 | 2021 |
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 PhD thesis, Technical University of Denmark, 2020. 2, 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 |