Tiago de Lima
Affiliations:- Artois University, CRIL, Arras, France
According to our database1,
Tiago de Lima
authored at least 37 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
2
1
1
2
1
1
1
1
1
1
1
2
2
2
2
2
1
3
2
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
2021
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021
2020
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020
2019
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
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
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
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016
2015
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
2012
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
2011
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
2010
Proceedings of the Languages, Methodologies, and Development Tools for Multi-Agent Systems, 2010
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the Declarative Agent Languages and Technologies VII, 2009
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009
2008
Towards a Formalization of Responsibility.
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.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Advances in Artificial Intelligence, 2006