dblp.uni-trier.dewww.uni-trier.de

Tiago De Lima

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
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-
4EEHans 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
3EEPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
2EEPhilippe 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
1EEAndreas Herzig, Tiago De Lima: Epistemic Actions and Ontic Actions: A Unified Logical Framework. IBERAMIA-SBIA 2006: 409-418

Coauthor Index

1Philippe Balbiani [2] [3]
2Alexandru Baltag [2]
3Frank Dignum (F. P. M. Dignum) [6]
4Hans P. van Ditmarsch [2] [3] [4] [5]
5Andreas Herzig [1] [2] [3] [4] [5]
6T. Hoshi [2]
7Lambèr M. M. Royakkers [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)