Year of publication:

Related material:

Publications and other contributions

    To appear

  1. S. Magnier and T. de Lima
    A soundness & completeness proof on doalogs and dynamic epistemic logic
    Logique et Analyse special issue on Dynamics in Logic
    [ Published version at Logique et Analyse ]

    2015

  2. T. Caridroit, S. Konieczny, T. de Lima, and P. Marquis
    Private Expansion and Revision in Multi-Agent Settings
    In Proceedings of ECSQARU'15, 2015

  3. T. Caridroit, S. Konieczny, T. de Lima, and P. Marquis
    Private Revision in a Multi-Agent Setting (abstract)
    In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS'15), 2015

  4. 2014

  5. T. de Lima
    Alternating-time temporal dynamic epistemic logic
    Journal of Logic and Computation 24(6):1145–1178, 2014, DOI: 10.1093/logcom/exs061
    [ Published version at Oxford Journals ]

  6. A. Herzig, T. de Lima, E. Lorini and N. Troquard
    Three Traditions in the Logic of Action: Bringing Them Together
    R. Trypuz (ed.), Krister Segerberg on Logic of Actions. Outstanding Contributions to Logic Series volume 1, 61–84. Springer. 2014

  7. 2012

  8. H. van Ditmarsch, A. Herzig and T. de Lima
    Public announcements, public assignments and the complexity of their logic
    Journal of Applied Non-Classical Logics, 22(3):249–273, 2012 DOI:10.1080/11663081.2012.705964
    [ Published version at Taylor & Francis ]

  9. P. Balbiani, H. van Ditamarsch, A. Herzig, and T. de Lima
    Some Truths Are Best Left Unsaid
    T. Bolander et al. (eds.), Advances in Modal Logic Volume 9 (AiML'12), pp. 36—54. College Publications. 2012

  10. A. Herzig, T. de Lima, E. Lorini, and N. Troquard
    A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
    In Proceedings of the Eleventh International Conference on Deontic Logic in Computer Science (DEON'12), LNAI 7393, pp. 170—183, 2012

  11. 2011

  12. T. de Lima.
    Alternating-time Temporal Announcement Logic.
    In J. Leite et al. (eds.), Compuational Logic in Multi-Agent Systems (CLIMA XII 2011), LNAI 6814, pp. 105—121, 2011.

  13. H. van Ditmarsch, T. de Lima, and E. Lorini.
    Intention Change via Local Assignments.
    In M. Dastani et al. (eds.), Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2010), LNAI 6822, pp. 136–151, 2011.

  14. T. de Lima.
    Annonces de groupe et actions physiques.
    In Proceedings of the Sixth Journées Francophones Modèles Formels de l’Interaction (MFI'11), pp. 85–96, 2011. (in french)

  15. H. van Ditmarsch, A. Herzig, and T. de Lima
    From Situation Calculus to Dynamic Epistemic Logic
    Journal of Logic and Compuatation, 21(2):179–204, 2011, DOI:10.1093/logcom/exq024
    [ Published version at Oxford University Press | Pre-print version (PDF) ]

  16. 2010

  17. E. Lorini, H. van Ditmarsch, and T. de Lima
    Intention change via local assignments
    In Proceedings of the 8th European Workshop on Multi-Agent Systems (EUMAS 2010), 2010
    Extended version of "Logical Model of Intention and Plan Dynamics", published in the Proceedings of ECAI 2010.

  18. T. de Lima, L. Royakkers, and F. Dignum
    Modeling the problem of many hands in organisations
    In H. Coelho et al. (eds.), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 79–84, IOS Press, 2010

  19. E. Lorini, H. van Ditmarsch, and T. de Lima
    Logical Model of Intention and Plan Dynamics
    In H. Coelho et al. (eds.), Proceedings of the 19th European Conference of Artificial Intelligence (ECAI 2010), pp. 1075–1076, IOS Press, 2010

  20. T. de Lima, L. Royakkers, and F. Dignum
    A Logic for Reasoning about Responsibility
    Logic Journal of the IGPL, 18(1):99–117, 2010, DOI: 10.1093/jigpal/jzp073
    [ Published version at Oxford University Press | Pre-print version (PDF) ]

  21. P. Balbiani, H. van Ditmarsch, A. Herzig, and T. de Lima.
    Tableaux for Public Announcement Logic
    Journal of Logic and Computation, 20(1):55–76, 2010, DOI:10.1093/logcom/exn060
    [ Published version at Oxford University Press | Pre-print version (PDF) ]

  22. 2009

  23. A. Herzig, T. de Lima, and E. Lorini
    On the dynamics of institutional agreements
    Synthese 171(2): 321–355, DOI: 10.1007/s11229-009-9645-2, 2009
    [ Published version at Springer (open access) ]

  24. A. Herzig, T. de Lima, and E. Lorini
    On the Dynamics of Institutional Agreements
    In J.-J. Meyer and J.M. Broersen (eds.), Knowledge Representation for Agents and Multi-Agent Systems, LNAI 5605, pp. 66–80, 2009, DOI: 10.1007/978-3-642-05301-6
    [ Published version at Springer] [ Online pre-proceedings (PDF) ]

  25. M. de Boer, A. Herzig, T. de Lima, and E. Lorini
    Tableaux for Acceptance Logic
    In M. Baldoni et al. (eds.), Declarative Agent Languages and Technologies VII, LNAI 5948, pp. 85–100. Springer, 2009, DOI: 10.1007/978-3-642-11355-0_6
    [ Published version at Springer | Online workshop notes (PDF) ]

  26. T. de Lima, L. Royakkers, and F. Dignum
    Behaving Responsible in Multi-Agent Worlds (extended abstract)
    K. Decker et al. (eds.), Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), May 10–15, 2009, Budapest, Hungary, pp. 1139–1140, 2009
    [ Online proceedings at IFAAMAS ]

  27. 2008

  28. P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. de Lima.
    ‘Knowable’ as ‘known after an announcement’.
    The Review of Symbolic Logic 1(3): 305–334, DOI: 10.1017/S1755020308080210, 2008
    [ Published version at Cambridge Journals | Pre-print version (PDF) ]

  29. M. de Boer, A. Herzig, T. de Lima, and E. Lorini.
    What do we accept after an announcement? (abstract).
    Volume of abstracts of ‘Logic of Change, change of logic’ Colloquium (LOCCOL), Prague, Czech Republic, 10­–14 September, 2008, pp. 21–22, 2008
    [ PDF ]

  30. P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. de Lima.
    Arbitrary announcement logic (abstract).
    The 2007 Annual Conference of the Australasian Association for Logic, The Bulletin of Symbolic Logic 14(3): 438–439, 2008

  31. T. de Lima, L. Royakkers, and F. Dignum.
    Towards a Formalization of Responsibility.
    G. Boella et al. (eds.), Proceedings of the 3rd International Workshop on Normative Multiagent Systems NorMAS 2008, Luxembourg, July 15­–16, 2008, pp. 66–­79, 2008
    [ PDF ]

  32. P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. de Lima.
    ‘knowable’ as ‘known after an announcement’.
    Technical Report IRIT/RR-2008-2-FR, IRIT, University of Toulouse 3, 2008
    [ Published version at IRIT repository (PDF) ]

  33. 2007

  34. H. van Ditmarsh, A. Herzig, and T. de Lima.
    An Optimal Method for Reasoning about Actions and Knowledge.
    C. Areces and S. Demri (eds.), Proceedings of the 5th Workshop on Methods for Modalities M4M5, École Normale Supérieure de Cachan, France, November 29–­30, 2007, pp. 285–­297, 2007 (presentation-only paper, same as contribution ‘Optimal Regression for Reasoning about Knowledge and Actions’ published in Proc. of AAAI 2007)

  35. H. van Ditmarsch, A. Herzig, T. de Lima.
    Optimal Regression for Reasoning about Knowledge and Actions.
    G. Bonanno et al. (eds.), Formal Models of Belief Change in Rational Agents, Dagstuhl Seminar Proceedings 07351, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007 (longer version based on ‘Optimal Regression for Reasoning about Knowledge and Actions’, published in Proc. of AAAI 2007)

  36. T. de Lima.
    Optimal Methods for Reasoning about Actions and Plans in Multi-Agent Systems.
    PhD thesis, IRIT, University of Toulouse 3, 2007
    [ PDF ]

  37. P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. de Lima.
    The Dynamic Capabilities of Public Announcements.
    S. Cai et al. (eds.), Volume of Abstracts of 13th International Congress of Logic, Methodology, and Philosophy of Science (LMPS Beijing), Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science, pp. 78–79, 2007

  38. H. van Ditmarsch, A. Herzig, and T. de Lima.
    Optimal Regression for Reasoning about Knowledge and Actions.
    Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22–26, 2007, Vancouver, British Columbia, Canada, pp. 1070–1075, AAAI Press, 2007
    [ AAAI Press | PDF | Longer version ]

  39. P. Balbiani, H. van Ditmarsch, A. Herzig, and T. de Lima.
    A Tableau Method for Public Announcement Logics.
    N. Olivetti (ed.), Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 4548, pp. 43–59, Springer, 2007
    [ SpringerLink ]

  40. P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. de Lima.
    What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.
    D. Samet, ed., Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25–27, 2007, pp. 42–51, Presses Universtaires de Louvain, 2007
    [ PDF ]

  41. H. van Ditmarsch, A. Herzig, and T. de Lima.
    Raisonnement sur les actions : de Toronto à Amsterdam.
    J. Lang et al. (eds.), Actes des Quatrièmes Journées Francophones Modèles Formels de l'Interaction (MFI'07), Annales du Lamsade 8, pp. 127–138, Université Paris Dauphine, 2007 (in French)
    [ PDF ]

  42. 2006

  43. T. de Lima.
    From Toronto to Amsterdam.
    4th Paris-Amsterdam Logic Meeting for Young Researchers – Logics for Belief Dynamics (PALMYR-4), Amsterdam, The Netherlands, 4 and 5 November, 2006, URL: http://www.illc.uva.nl/PALMYR/PALMYR-4/
    [ PDF ]

  44. A. Herzig, and T. de Lima.
    Epistemic Actions and Ontic Actions: A Unified Logical Framework.
    J. S. Sichman et al. (eds.), Advances in Artificial Intelligence ­ IBERAMIA–SBIA 2006. 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23–27, 2006. Proceedings, Lecture Notes in Computer Science 4140, pp. 409–418, Springer, 2006 (long version available as technical report 2005-22-R-1, IRIT, Toulouse, France).
    [ SpringerLink | PDF (long version) ]

  45. 2004

  46. M. Castilho, A. Guedes, T. de Lima, J. Marynowski, R. Montaño, L. Künzle, and F. Silva.
    A Petri net based representation for planning problems.
    International Planning Competition, Notes of the 14th International Conference on Automated Planning and Scheduling Whistler, British Columbia, Canada, June 3–7, 2004, pp. 27–29, 2004. URL http://ls5-web.cs.uni-dortmund.de/~edelkamp/ipc-4/IPC-4.pdf
    [ PDF ]

  47. 2002

  48. T. de Lima.
    Interpretação Semântica do Objeto Nulo no Português do Brasil.
    MSc thesis, Federal University of Paraná, Curitiba, Brazil, 2002 (in Portuguese)
    [ PDF ]

  49. T. de Lima and M. Gagnon.
    Interpretação semântica do objeto nulo no português do Brasil.
    Proceedings of the First Workshop of Theses and Dissertations on Artificial Intelligence – WTDIA'02, 11–14 November, 2002, Porto de Galinhas/Recife, Brazil, 2002 (in Portuguese)
    [ PDF ]

  50. T. de Lima and M. Gagnon.
    Semântica do Objeto Nulo em Português.
    Anais do 5º Encontro do CELSUL, October, 2002, Curitiba, Brazil, 2002 (in Portuguese)
    [ PDF ]

  51. T. de Lima.
    Uma implementação da teoria de centering para resolução de anáforas em língua portuguesa.
    Technical Report RT_DINF 003/2002, Departamento de Informática, Universidade Federal do Paraná, 2002. (in Portuguese)
    [ PDF ]

  52. 2000

  53. T. de Lima, J. J. Bazzo, J. Siqueira, and S. Scheer.
    Experimentos de Videoconferência na ReMAV-Curitiba – Seminários a Distância.
    Proceedings of the II Workshop RNP2, pp. 117–126, 2000, URL http://www.rnp.br/wrnp2/2000/aceitos.html (in Portuguese)
    [ PDF ]