Search the dblp DataBase

Publications of Author

1. Andreas Herzig, Tiago De Lima
   Epistemic Actions and Ontic Actions: A Unified Logical Framework. [Citation Graph (0, 0)][DBLP]
   IBERAMIA-SBIA, 2006, pp:409-418 [Conf]
   
2. Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
   Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (0, 0)][DBLP]
   AAAI, 2007, pp:1070-0 [Conf]
   
3. Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima
   A Tableau Method for Public Announcement Logics. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:43-59 [Conf]
   
4. 
   Behaving responsible in multi-agent worlds. [Citation Graph (, )][DBLP]
   
   
5. 
   Optimal Regression for Reasoning about Knowledge and Actions. [Citation Graph (, )][DBLP]
   
   
6. 
   Tableaux for Acceptance Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   Modeling the problem of many hands in organisations. [Citation Graph (, )][DBLP]
   
   
8. 
   A Logical Model of Intention and Plan Dynamics. [Citation Graph (, )][DBLP]
   
   
9. 
   What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards a Formalization of Responsibility. [Citation Graph (, )][DBLP]
    
    
11. 
    On the Dynamics of Institutional Agreements. [Citation Graph (, )][DBLP]