Tiago de Lima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
13
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | A Computationally Grounded Framework for Cognitive Attitudes. | Tiago de Lima, Emiliano Lorini, Elise Perrotin, Franois Schwarzentruber |
| 2025 | ICAIL | A Causal Model Checker for Legal Cases. | Ruta Liepina, Tiago de Lima, Emiliano Lorini, Giuseppe Pisano, Giovanni Sartor |
| 2024 | IJCAI | Model Checking Causality. | Tiago de Lima, Emiliano Lorini |
| 2023 | JELIA | Base-Based Model Checking for Multi-agent only Believing. | Tiago de Lima, Emiliano Lorini, Franois Schwarzentruber |
| 2021 | ICTAI | Checking Agent Intentions in Games. | Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima |
| 2020 | ICAART | First Steps for Determining Agent Intention in Dynamic Epistemic Logic. | Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima |
| 2018 | CADE | An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2018 | KR | A SAT-Based Approach For PSPACE Modal Logics. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2017 | AAAI | 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 |
| 2017 | IJCAI | A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2016 | CADE | On Checking Kripke Models for Modal Logic K. | Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2016 | ECAI | On Distances Between KD45n Kripke Models and Their Use for Belief Revision. | Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis |
| 2015 | ECSQARU | Private Expansion and Revision in Multi-agent Settings. | Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis |
| 2012 | AiML | Some Truths Are Best Left Unsaid. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2010 | ECAI | Modeling the problem of many hands in organisations. | Tiago de Lima, Lambr M. M. Royakkers, Frank Dignum |
| 2010 | ECAI | A Logical Model of Intention and Plan Dynamics. | Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima |
| 2007 | AAAI | Optimal Regression for Reasoning about Knowledge and Actions. | Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | TABLEAUX | A Tableau Method for Public Announcement Logics. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | TARK | What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. | Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima |