Tiago de Lima

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 13

Top Topics

Belief Revision

Systematic Search Algorithms

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

Publications

Tiago de Lima, Emiliano Lorini, François Schwarzentruber
Base-based Model Checking for Multi-Agent Only Believing (long version). CoRR (2023)
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
Base-Based Model Checking for Multi-agent only Believing. JELIA (2023)
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
Checking Agent Intentions in Games. ICTAI (2021)
Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima
First Steps for Determining Agent Intention in Dynamic Epistemic Logic. ICAART (2) (2020)
Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima
Intention et logique épistémique dynamique. RJCIA (2019)
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. IJCAR (2018)
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
A SAT-Based Approach For PSPACE Modal Logics. KR (2018)
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. IJCAI (2017)
Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. AAAI (2017)
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
On Distances Between KD45n Kripke Models and Their Use for Belief Revision. ECAI (2016)
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
On Checking Kripke Models for Modal Logic K. PAAR@IJCAR (2016)
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
Private Expansion and Revision in Multi-agent Settings. ECSQARU (2015)
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
Private Revision in a Multi-Agent Setting. AAMAS (2015)
Tiago de Lima
Alternating-time temporal dynamic epistemic logic. J. Log. Comput. 24 (6) (2014)
Tiago de Lima, Andreas Herzig
Tableaux for Dynamic Logic of Propositional Assignments. CoRR (2014)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Some Truths Are Best Left Unsaid. Advances in Modal Logic (2012)
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. DEON (2012)
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Public announcements, public assignments and the complexity of their logic. J. Appl. Non Class. Logics 22 (3) (2012)
Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21 (2) (2011)
Tiago de Lima
Alternating-Time Temporal Announcement Logic. CLIMA (2011)
Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima
A Logical Model of Intention and Plan Dynamics. ECAI (2010)
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
Modeling the problem of many hands in organisations. ECAI (2010)
Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for Public Announcement Logic. J. Log. Comput. 20 (1) (2010)
Hans van Ditmarsch, Tiago de Lima, Emiliano Lorini
Intention Change via Local Assignments. LADS (2010)
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
A logic for reasoning about responsibility. Log. J. IGPL 18 (1) (2010)
Andreas Herzig, Tiago de Lima, Emiliano Lorini
On the dynamics of institutional agreements. Synth. 171 (2) (2009)
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
Behaving responsible in multi-agent worlds. AAMAS (2) (2009)
Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
Tableaux for Acceptance Logic. DALT (2009)
Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum
Towards a Formalization of Responsibility. NORMAS (2008)
Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
'Knowable' as 'known after an announcement'. Rev. Symb. Log. 1 (3) (2008)
Andreas Herzig, Tiago de Lima, Emiliano Lorini
On the Dynamics of Institutional Agreements. KRAMAS (2008)
Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima
A Tableau Method for Public Announcement Logics. TABLEAUX (2007)
Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents (2007)
Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK (2007)
Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions. AAAI (2007)
Andreas Herzig, Tiago de Lima
Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA (2006)