de Lima, Tiago

5 publications

AAAI 2025 A Computationally Grounded Framework for Cognitive Attitudes Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber

IJCAI 2024 Model Checking Causality Tiago de Lima, Emiliano Lorini

IJCAI 2017 A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

AAAI 2017 A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

AAAI 2007 Optimal Regression for Reasoning About Knowledge and Actions Hans van Ditmarsch, Andreas Herzig, Tiago de Lima