De Lima, T. (Tiago)
Research profile
Tiago de Lima (1978) is a postdoctoral researcher in logic at the Eindhoven University of Technology. His Ph.D. in Computer Science was performed at the University of Toulouse (2004-2007), in the field of reasoning about actions and knowledge. Tiago’s Ph.D. research was supported by the European Union excellence scholarship AlBan.
Tiago joined the 3TU.Centre for Ethics and Technology in November 2007 to work on the NWO project Moral Responsibility in R&D Networks. The aim of this collaboration is to formalize the different theoretical notions of moral responsibility provided by the other members of the same project.
3TU.Ethics Projects
Moral responsibility in R&D networks
Scientific publications (selection)
A. Herzig, T. de Lima, and E. Lorini. 2009. "On the dynamics of institutional agreements." Synthese, DOI: 10.1007/s11229-009-9645-2available online
T. de Lima, L.M.M. Royakkers, and F. Dignum. 2009. "Behaving Responsible in Multi-Agent Worlds (Extended Abstract)." In 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.available online
P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, and T. de Lima. 2008. "Arbitrary announcement logic (Abstract of the 2007 annual conference of the Australasian Association for Logic)." The Bulletin of Symbolic Logic 14(3): 438-439.
P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. Hoshi, and T. de Lima. 2008. "'Knowable' as 'known after an announcement'." The Review of Symbolic Logic 1(3): 305-334.available online
P. Balbiani, H. van Ditmarsch, A. Herzig, and T. de Lima. 2008. "Tableaux for public announcement logic." Journal of Logic and Computation, DOI: 10.1093/logcom/exn060.available online
T. de Lima, L.M.M. Royakkers, and F. Dignum. 2008. "Towards a Formalization of Responsibility." In 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.
