Tiago De Lima

	2011
17		Tiago De Lima: Alternating-Time Temporal Announcement Logic. CLIMA 2011: 105-121
16		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011)
	2010
15		Emiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima: A Logical Model of Intention and Plan Dynamics. ECAI 2010: 1075-1076
14		Tiago De Lima, Lambèr M. M. Royakkers, Frank Dignum: Modeling the problem of many hands in organisations. ECAI 2010: 79-84
13		Hans P. van Ditmarsch, Tiago De Lima, Emiliano Lorini: Intention Change via Local Assignments. LADS 2010: 136-151
12		Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010)
11		Tiago De Lima, Lambèr M. M. Royakkers, Frank Dignum: A logic for reasoning about responsibility. Logic Journal of the IGPL 18(1): 99-117 (2010)
	2009
10		Tiago De Lima, Lambèr M. M. Royakkers, Frank Dignum: Behaving responsible in multi-agent worlds. AAMAS (2) 2009: 1139-1140
9		Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini: Tableaux for Acceptance Logic. DALT 2009: 85-100
8		Andreas Herzig, Tiago De Lima, Emiliano Lorini: On the dynamics of institutional agreements. Synthese 171(2): 321-355 (2009)
	2008
7		Andreas Herzig, Tiago De Lima, Emiliano Lorini: On the Dynamics of Institutional Agreements. KRAMAS 2008: 66-80
6		Tiago De Lima, Lambèr M. M. Royakkers, Frank Dignum: Towards a Formalization of Responsibility. NORMAS 2008: 66-79
	2007
5		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-
4		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents 2007
3		Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
2		Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima: What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51
	2006
1		Andreas Herzig, Tiago De Lima: Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA 2006: 409-418

Coauthor Index

1	Philippe Balbiani	[2] [3] [12]
2	Alexandru Baltag	[2]
3	Mathijs de Boer	[9]
4	Frank Dignum (F. P. M. Dignum)	[6] [10] [11] [14]
5	Hans P. van Ditmarsch	[2] [3] [4] [5] [12] [13] [15] [16]
6	Andreas Herzig	[1] [2] [3] [4] [5] [7] [8] [9] [12] [16]
7	T. Hoshi	[2]
8	Emiliano Lorini	[7] [8] [9] [13] [15]
9	Lambèr M. M. Royakkers	[6] [10] [11] [14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page