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