Tiago de Lima

According to our database, Tiago de Lima authored at least 35 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Base-based Model Checking for Multi-Agent Only Believing (long version).

Tiago de Lima, Emiliano Lorini, François Schwarzentruber

CoRR, 2023

Base-Based Model Checking for Multi-agent only Believing.

Tiago de Lima, Emiliano Lorini, François Schwarzentruber

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2021

Checking Agent Intentions in Games.

Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

First Steps for Determining Agent Intention in Dynamic Epistemic Logic.

Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

Intention et logique épistémique dynamique.

Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima

Proceedings of the Actes des 17èmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, 2019

A Little about Action, Knowledge, Belief and a Lot about Modal Logic. (Un peu d'action, connaissance, croyance et beaucoup de logique modale).

Tiago de Lima

, 2019

2018

A SAT-Based Approach For PSPACE Modal Logics.

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem.

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

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

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

On Distances Between KD45n Kripke Models and Their Use for Belief Revision.

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On Checking Kripke Models for Modal Logic K.

Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

Private Expansion and Revision in Multi-agent Settings.

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Private Revision in a Multi-Agent Setting.

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Alternating-time temporal dynamic epistemic logic.

Tiago de Lima

J. Log. Comput., 2014

Tableaux for Dynamic Logic of Propositional Assignments.

Tiago de Lima, Andreas Herzig

CoRR, 2014

2012

Public announcements, public assignments and the complexity of their logic.

Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

J. Appl. Non Class. Logics, 2012

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.

Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Some Truths Are Best Left Unsaid.

Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

Proceedings of the Advances in Modal Logic 9, 2012

2011

From Situation Calculus to Dynamic Epistemic Logic.

Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

J. Log. Comput., 2011

Alternating-Time Temporal Announcement Logic.

Tiago de Lima

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Tableaux for Public Announcement Logic.

Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima

J. Log. Comput., 2010

A logic for reasoning about responsibility.

Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum

Log. J. IGPL, 2010

Intention Change via Local Assignments.

Hans van Ditmarsch, Tiago de Lima, Emiliano Lorini

Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

A Logical Model of Intention and Plan Dynamics.

Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima

Proceedings of the ECAI 2010, 2010

Modeling the problem of many hands in organisations.

Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum

Proceedings of the ECAI 2010, 2010

2009

On the dynamics of institutional agreements.

Andreas Herzig, Tiago de Lima, Emiliano Lorini

Synth., 2009

Tableaux for Acceptance Logic.

Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Behaving responsible in multi-agent worlds.

Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

'Knowable' as 'known after an announcement'.

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima

Rev. Symb. Log., 2008

Towards a Formalization of Responsibility.

Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.

Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.

Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Optimal Regression for Reasoning about Knowledge and Actions.

Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006

Epistemic Actions and Ontic Actions: A Unified Logical Framework.

Andreas Herzig, Tiago de Lima

Proceedings of the Advances in Artificial Intelligence, 2006