Carlos Aguilera-Ventura — accepted AI-conference papers

2025

A Non-Interventionist Approach to Causal Reasoning Based on Lewisian Counterfactuals

Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini, Dmitry Rozplokhas

IJCAI 2025

We present a computationally grounded semantics for counterfactual conditionals in which i) the state in a model is decomposed into two elements: a propositional valuation and a causal base in propositional form that represents the causal information available at the state; and ii) the comparative s

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

Minimal Change in Modal Logic S5

Carlos Aguilera-Ventura, Jonathan Ben-Naim, Andreas Herzig

AAAI 2025technical

We extend belief revision theory from propositional logic to the modal logic S5. Our first contribution takes the form of three new postulates (M1-M3) that go beyond the AGM ones and capture the idea of minimal change in the presence of modalities. Concerning the construction of modal revision op…

Cited by 0 Source ↗PDF ↗Scholar ↗