关注
Andrés Occhipinti Liberman
Andrés Occhipinti Liberman
在 upf.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1082015
Dynamic term-modal logics for first-order epistemic planning
AO Liberman, A Achen, RK Rendsvig
Artificial Intelligence 286, 103305, 2020
282020
Dynamic term-modal logic for epistemic social network dynamics
AO Liberman, RK Rendsvig
International Workshop on Logic, Rationality and Interaction, 168-182, 2019
112019
Decidability results in first-order epistemic planning
AO Liberman, RK Rendsvig
Twenty-Ninth International Joint Conference on Artificial Intelligence, 4161 …, 2020
82020
Learning first-order symbolic planning representations that are grounded
AO Liberman, B Bonet, H Geffner
arXiv preprint arXiv:2204.11902, 2022
52022
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
42022
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
32024
Dynamic term-modal logics for epistemic planning
A Achen, A Occhipinti Liberman, RK Rendsvig
arXiv, arXiv: 1906.06047, 2019
32019
Representation, learning and planning for theory-of-mind agents using dynamic epistemic logic
AO Liberman
Technical University of Denmark, 2020
12020
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
系统目前无法执行此操作,请稍后再试。
文章 1–14