Publications

  1. Learning First-Order Symbolic Planning Representations That Are Grounded.
    Andrés Occhipinti Liberman, Blai Bonet, Hector Geffner.
    3rd ICAPS workshop on Bridging the Gap Between AI Planning and Reinforcement Learning. Accepted, to appear, 2022.
    [pdf]
  2. Reasoning about Epistemic Social Network Dynamics using Dynamic Term-Modal Logic.
    Andrés Occhipinti Liberman and Rasmus K. Rendsvig.
    Journal of Logic and Computation. 2022.
    [publisher link]
  3. Learning to Act and Observe in Partially Observable Domains.
    Thomas Bolander, Nina Gierasimczuk and Andrés Occhipinti Liberman.
    Chapter in Outstanding Contributions to Logic Series, Springer. To appear, 2021.
    [pre-print]
  4. Decidability Results in First-Order Epistemic Planning.
    Andrés Occhipinti Liberman and Rasmus K. Rendsvig.
    Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI). 2020.
    [pdf]
  5. Dynamic term-modal logics for first-order epistemic planning.
    Andrés Occhipinti Liberman, Andreas Achen and Rasmus K. Rendsvig.
    Artificial Intelligence (AIJ), volume 286. 2020.
    [publisher link]
  6. Dynamic Term-Modal Logic for Epistemic Social Network Dynamics.
    Andrés Occhipinti Liberman and Rasmus K. Rendsvig.
    Logic, Rationality, and Interaction (LORI 2019). P. Blackburn, E. Lorini, M. Guo, eds.. Lecture Notes in Computer Science. vol. 11813. Springer. 2019.
    [pdf] [publisher link]
  7. Evidence Logics with Relational Evidence.
    Alexandru Baltag and Andrés Occhipinti Liberman.
    Logic, Rationality, and Interaction (LORI 2017). A. Baltag, J. Seligman, T. Yamada, eds.. Lecture Notes in Computer Science. vol. 10455. Springer. 2017.
    [pdf] [publisher link]
  8. Does telling white lies signal pro-social preferences?
    Laura Biziou-van-Pol, Jana Haenen, Arianna Novaro, Andrés Occhipinti Liberman and Valerio Capraro.
    Judgment and Decision Making, 10 (6). 2015.
    [pdf]