Tiago de Lima

  • Artois University, CRIL, Arras, France

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


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

Base-Based Model Checking for Multi-agent only Believing.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Checking Agent Intentions in Games.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

First Steps for Determining Agent Intention in Dynamic Epistemic Logic.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Intention et logique épistémique dynamique.
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).
, 2019

A SAT-Based Approach For PSPACE Modal Logics.
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.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

On Distances Between KD45n Kripke Models and Their Use for Belief Revision.
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.
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

Private Expansion and Revision in Multi-agent Settings.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Private Revision in a Multi-Agent Setting.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Alternating-time temporal dynamic epistemic logic.
J. Log. Comput., 2014

Tableaux for Dynamic Logic of Propositional Assignments.
CoRR, 2014

Public announcements, public assignments and the complexity of their logic.
J. Appl. Non Class. Logics, 2012

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Some Truths Are Best Left Unsaid.
Proceedings of the Advances in Modal Logic 9, 2012

From Situation Calculus to Dynamic Epistemic Logic.
J. Log. Comput., 2011

Alternating-Time Temporal Announcement Logic.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Tableaux for Public Announcement Logic.
J. Log. Comput., 2010

A logic for reasoning about responsibility.
Log. J. IGPL, 2010

Intention Change via Local Assignments.
Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010

A Logical Model of Intention and Plan Dynamics.
Proceedings of the ECAI 2010, 2010

Modeling the problem of many hands in organisations.
Proceedings of the ECAI 2010, 2010

On the dynamics of institutional agreements.
Synth., 2009

Tableaux for Acceptance Logic.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Behaving responsible in multi-agent worlds.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

'Knowable' as 'known after an announcement'.
Rev. Symb. Log., 2008

Towards a Formalization of Responsibility.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

A Tableau Method for Public Announcement Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Optimal Regression for Reasoning about Knowledge and Actions.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Epistemic Actions and Ontic Actions: A Unified Logical Framework.
Proceedings of the Advances in Artificial Intelligence, 2006