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

Hans P. van Ditmarsch (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima: A Logical Model of Intention and Plan Dynamics. ECAI 2010: 1075-1076
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Tiago De Lima, Emiliano Lorini: Intention Change via Local Assignments. LADS 2010: 136-151
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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

Selection of 8 from 72 records - Hans P. van Ditmarsch has 55 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page