Publications

Article(s) de revue(s) internationale(s)

2013 Tiago De Lima, Alternating-time temporal dynamic epistemic logic in Journal of Logic and Computation,2013. [Download]

2012 Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Public announcements, public assignments and the complexity of their logic in Journal of Applied Non-Classical Logics (JANCL),vol. 22, n° 3, pp. 249-273, 2012. [Download]

2011 Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, From situation calculus to dynamic epistemic logic in Journal of Logic and Computation,vol. 21, n° 2, Oxford University Press, pp. 179-204, 2011. [Download]

2010 Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Tableaux for Public Announcement Logic in Journal of Logic and Computation,vol. 20, n° 1, Oxford University Press, pp. 55–76, 2010.

2010 Tiago De Lima, Lambèr Royakkers, Frank Dignum, A Logic for Reasoning about Responsibility in Logic Journal of the IGPL,vol. 18, n° 1, Oxford University Press, pp. 99–117, 2010.

2009 Andreas Herzig, Tiago De Lima, Emiliano Lorini, On the dynamics of institutional agreements in Synthese,vol. 171, pp. 321–355, 2009. [Download]

2008 Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago De Lima, ‘Knowable’ as `known after an announcement’ in The Review of Symbolic Logic,vol. 1, n° 3, Cambridge University Press, pp. 305–334, 2008. [Download]

2008 Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago De Lima, Arbitrary announcement logic (abstract) in The Bulletin of Symbolic Logic,vol. 14, n° 3, Association for Symbolic Logic, pp. 436–439, novembre 2008. (Chapter: The 2007 Annual Conference of the Australasian Association for Logic, Melbourne, Australia November 9–11, 2007.)

Article(s) de conférence(s) internationale(s)

2017 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem in Proceedings of the 26th IJCAI International Joint Conference on Artificial Intelligence (IJCAI’2017),août 2017.

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 in Thirty-First AAAI Conference on Artificial Intelligence (AAAI’17),The AAAI Press, pp. 3864-3870, février 2017. [Download]

2016 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, On Distances Between KD45n Kripke Models and their Use for Belief Revision in 22th European Conference on Artificial Intelligence (ECAI’16),IOS Press, pp. 1053-1061, août 2016.

2016 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, On Checking Kripke Models for Modal Logic K in 5th Workshop on Practical Aspects of Automated Reasoning (PAAR’16),http://ceur-ws.org, juin 2016. [Download]

2015 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Private Revision in Multi-Agent Setting in International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’15) (AAMAS’15),ACM, pp. 1677-1678, 2015.

2015 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Private Expansion and Revision in Multi-agent Settings in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 175-185, 2015.

2012 Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Some truths are best left unsaid in Advances in Modal Logic Volume 9 (AiML’12),College Publications, pp. 36-54, 2012.

2012 Andreas Herzig, Tiago De Lima, Emiliano Lorini, Nicolas Troquard, A computationally grounded dynamic logic of agency, with application to legal actions in Deontic Logic in Computer Science - 11h International Conference (DEON’12),Springer, pp. 170-183, 2012. (LNCS volume 7393)

2011 Hans Van Ditmarsch, Tiago De Lima, Emiliano Lorini, Intention change via local assignments in Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS’010),Springer, LNCS, vol. 6822, pp. 136-151, 2011. (LNCS volume 6822) [Download]

2011 Tiago De Lima, Alternating-time temporal announcement logic in Compuational Logic in Multi-Agent Systems (CLIMA XII),Springer, pp. 105-121, 2011. (LNAI volume 6814)

2010 Tiago De Lima, Lambèr Royakkers, Frank Dignum, Modeling the problem of many hands in organisations in 19th European Conference on Artificial Intelligence (ECAI’10),IOS Press, pp. 79–84, août 2010.

2010 Emiliano Lorini, Hans Van Ditmarsch, Tiago De Lima, A Logical Model of Intention and Plan Dynamics in 19th European Conference on Artificial Intelligence (ECAI’10),IOS Press, pp. 1075–1076, août 2010.

2009 Tiago De Lima, Lambèr Royakkers, Frank Dignum, Behaving Responsible in Multi-Agent Worlds (Extended Abstract) in 8th International Joint Conference on Autonomous Agents and Multi- Agent Systems (AAMAS’09),IFFAAMAS, pp. 1139–1140, 2009.

2009 Andreas Herzig, Tiago De Lima, Emiliano Lorini, On the Dynamics of Institutional Agreements in Knowledge Representation for Agents and Multi-Agent Systems,Springer, pp. 66–80, 2009. (LNCS, volume 5605. doi: 10.1007/978-3-642-05301-6)

2009 Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini, Tableaux for Acceptance Logic in DALT’09,Springer, LNCS, vol. 5948, pp. 85–100, 2009. (LNCS, volume 5948. doi: 10.1007/978-3-642-11355-0_6)

2008 Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini, What do we accept after an announcement? (abstract) in LOCCOL’08,pp. 21–22, septembre 2008.

2008 Andreas Herzig, Tiago De Lima, Emiliano Lorini, What do we know after an announcement? in KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRMAS’08),pp. 81–94, septembre 2008. (Pre-proceedings.) [Download]

2008 Tiago De Lima, Lambèr Royakkers, Frank Dignum, Towards a Formalization of Responsibility in 3rd International Workshop on Normative Multiagent Systems (NoRMAS’08),pp. 66–79, juillet 2008. (ISBN: 2-919940-48-1)

2007 Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, An Optimal Method for Reasoning about Actions and Knowledge in Methods for Modalities 5 (M4M5),pp. 285–297, novembre 2007. (Presentation-only paper, same as contribution `Optimal Regression for Reasoning about Knowledge and Actions’ published in Proceedings of AAAI.)

2007 Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago De Lima, The Dynamic Capabilities of Public Announcements in 13th International Congress of Logic, Methodology, and Philosophy of Science (LMPS’07),Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science, pp. 78–79, août 2007. (Volume of Abstracts)

2007 Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago De Lima, What can we achieve by arbitrary announcements?: A Dynamic Take on Fitch’s Knowability in 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK’07),Presses Universtaires de Louvain, pp. 42–51, juin 2007. (ISBN: 978-2-87463-077-4)

2007 Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Optimal Regression for Reasoning about Knowledge and Actions in 22nd Conference on Artificial Intelligence (AAAI’07),AAAI Press, pp. 1070–1075, juillet 2007. (ISBN: 978-1-57735-323-2)

2007 Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Optimal Regression for Reasoning about Knowledge and Actions in Dagstuhl Seminar Proceedings,Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. (Numer: 07351. ISSN: 1862-4405. Longer version based on contribution `Optimal Regression for Reasoning about Knowledge and Actions’ published in Proceedings of AAAI.) [Download]

2007 Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, A Tableau Method for Public Announcement Logics in 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’07),Springer, pp. 43–59, juillet 2007. (LNCS, volume 4548)

2006 Tiago De Lima, From Toronto to Amsterdam in 4th Paris-Amsterdam Logic Meeting for Young Researchers – Logics for Belief Dynamics (PALMYR4),novembre 2006.

2006 Andreas Herzig, Tiago De Lima, Epistemic Actions and Ontic Actions: A Unified Logical Framework in 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium (IBERAMIA-SBIA’06),Springer, pp. 409–418, octobre 2006. (LNCS, volume 4140)

Article(s) de conférence(s) nationale(s)

2017 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K in Actes des 11es Journées d?Intelligence Artificielle Fondamentale (JIAF’2017),juillet 2017.

2017 Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, Une approche basée sur SAT pour le problème de satisfiabilité en logique modale S5 in Actes des 13es journées Francophones de Programmation par Contraintes (JFPC’17),pp. 45-53, juin 2017. [Download]

2016 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances in Dixièmes Journées de l’Intelligence Artificielle Fondamentale JIAF’2016 (JIAF’16),2016. (actes électroniques)

2016 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, À propos de la vérification de modèles en logique modale K in Dixièmes Journées de l’Intelligence Artificielle Fondamentale JIAF’2016 (JIAF’16),pp. 10, juin 2016. [Download]

2014 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Expansion et révision privées dans KD45n in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),2014. (actes électroniques)

2007 Hans Van Ditmarsch, Andreas Herzig, Tiago De Lima, Raisonnement sur les actions : de Toronto à Amsterdam in 4èmes journées francophones sur les Modèles Formels de l’Interaction (MFI’07),Université Paris Dauphine, vol. 2007, pp. 127–138, mai 2007. (Series: Annales du Lamsade. In French.)

Thèse(s) de doctorat

2007 Tiago De Lima, Optimal Methods for Reasoning about Actions and Plans in Multi-Agents Systems Toulouse, France, octobre 2007.

Rapport(s) technique(s)

2008 Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago De Lima, ‘Knowable’ as `known after an announcement’ in (TARK’),Toulouse, France, 2008. [Download]