Andrés Occhipinti Liberman

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 12

Top Topics

Inference Rules

Partially Observable Domains

Prime Implicates

Top Venues

J. Log. Comput.

Publications

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