Andrés Occhipinti Liberman

12 papers A* 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Erratum to "Dynamic term-modal logics for first-order epistemic planning" [Artif. Intell. 286 (2020) 103305].
Artif. Intell.
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
2022 J jnl
Learning First-Order Symbolic Planning Representations That Are Grounded.
CoRR
Andrés Occhipinti Liberman, Blai Bonet, Hector Geffner
2022 J jnl
Reasoning about epistemic social network dynamics using dynamic term-modal logic.
J. Log. Comput.
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
2021 J jnl
Learning to Act and Observe in Partially Observable Domains.
CoRR
Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman
2020 A* conf
Decidability Results in First-Order Epistemic Planning.
IJCAI
Andrés Occhipinti Liberman, Rasmus Kræmmer Rendsvig
2020 J jnl
Dynamic term-modal logics for first-order epistemic planning.
Artif. Intell.
Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
2019 J jnl
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version).
CoRR
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
2019 — conf
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics.
LORI
Andrés Occhipinti Liberman, Rasmus K. Rendsvig
2019 J jnl
Dynamic Term-Modal Logics for Epistemic Planning.
CoRR
Andreas Achen, Andrés Occhipinti Liberman, Rasmus K. Rendsvig
2017 — conf
Evidence Logics with Relational Evidence.
LORI
Alexandru Baltag, Andrés Occhipinti Liberman
2017 J jnl
Evidence Logics with Relational Evidence.
CoRR
Alexandru Baltag, Andrés Occhipinti Liberman
2015 J jnl
Lying aversion and prosocial behaviour.
CoRR
Laura Biziou-van-Pol, Jana Haenen, Arianna Novaro, Andrés Occhipinti Liberman, Valerio Capraro