dibujo digital de mi volando sobre una cometa con dos libros en la mano.

Carlos Aguilera Ventura

2025

  • Diamonds, Boxes and Reasonables Doubts.
    • Aguilera-Ventura, Carlos
    In InterToulouse Exchanges (ITE). Toulouse (2025)
  • Minimal Change in Modal Logic S5
    • Aguilera-Ventura, Carlos and Ben-Naim, Jonathan and Herzig, Andreas
    In Proceedings of the AAAI Conference on Artificial Intelligence 39 , 14 , pp. 14781--14789 (2025)

2024

  • Coherentist vs. foundationalist belief revision: bringing them together
    • Aguilera-Ventura, Carlos and Ben-Naim, Jonathan and Herzig, Andreas
    In Workshop ACLAI. Málaga (2024)

2023

  • An educational epistemic model checker for Philosophy students
    • Aguilera-Ventura, Carlos and Yuste-Ginel, Antonio
    In Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza pp. 1--17 (2023)
  • Counterfactual reasoning via grounded distance
    • Aguilera-Ventura, Carlos and Herzig, Andreas and Liu, Xinghan and Lorini, Emiliano
    In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning 19 , 1 , pp. 2--11 (2023)
  • Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza
    • Aguilera-Ventura, Carlos and Muñoz Velasco, Emilio José and Ojeda Aciego, Manuel and Yuste-Ginel, Antonio
    (2023)