Lying aversion and prosocial behaviour. - Laura Biziou-van-Pol; Jana Haenen; Arianna Novaro; Andrés Occhipinti Liberman; Valerio Capraro (CoRR, 2015)

Evidence Logics with Relational Evidence. - Alexandru Baltag; Andrés Occhipinti Liberman (LORI, 2017)

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics. - Andrés Occhipinti Liberman; Rasmus K. Rendsvig (LORI, 2019)

Dynamic Term-Modal Logics for Epistemic Planning. - Andreas Achen; Andrés Occhipinti Liberman; Rasmus K. Rendsvig (CoRR, 2019)

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version). - Andrés Occhipinti Liberman; Rasmus K. Rendsvig (CoRR, 2019)

Decidability Results in First-Order Epistemic Planning. - Andrés Occhipinti Liberman; Rasmus Kræmmer Rendsvig (IJCAI, 2020)

Dynamic term-modal logics for first-order epistemic planning. - Andrés Occhipinti Liberman; Andreas Achen; Rasmus Kræmmer Rendsvig (Artif. Intell., 2020)

Learning to Act and Observe in Partially Observable Domains. - Thomas Bolander; Nina Gierasimczuk; Andrés Occhipinti Liberman (CoRR, 2021)

Learning First-Order Symbolic Planning Representations That Are Grounded. - Andrés Occhipinti Liberman; Blai Bonet; Hector Geffner (CoRR, 2022)

Reasoning about epistemic social network dynamics using dynamic term-modal logic. - Andrés Occhipinti Liberman; Rasmus K. Rendsvig (J. Log. Comput., 2022)

Erratum to "Dynamic term-modal logics for first-order epistemic planning" [Artif. Intell. 286 (2020) 103305]. - Andrés Occhipinti Liberman; Andreas Achen; Rasmus Kræmmer Rendsvig (Artif. Intell., 2023)