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

Wiebe van der Hoek (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


188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWiebe van der Hoek, Petar Iliev, Barteld P. Kooi: On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. CiE 2012: 323-333
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Local properties in modal logic. Artif. Intell. 187: 133-155 (2012)
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Reasoning about local properties in modal logic. AAMAS 2011: 711-718
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi: Succinctness of Epistemic Languages. IJCAI 2011: 881-886
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic epistemic logic with assignment. AAMAS 2005: 141-148
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208

Selection of 9 from 190 records - Wiebe van der Hoek has 84 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