Concepedia

Hans van Ditmarsch

HV

Statistics

Publications

52

Citations

2.6K

H-Index

21

Active since

2001

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Université de Lorraine

Universidad de Sevilla

University of Otago

Hans van Ditmarsch is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and communication.

Top concepts

EngineeringAutomated ReasoningComputer ScienceCommunicationEpistemologySemanticsFormal MethodsSocial SciencesCognitive ScienceInformation Management

Publications per year

2001–2025

52

Publications

52

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems

Barteld Kooi, Hans van Ditmarsch, Wiebe van der Hoek · 2011 · 985 citations

Artificial Intelligence, Agent-based System, Engineering +14

Dynamic epistemic logic and knowledge puzzles

Wiebe van der Hoek, Barteld Kooi, Hans van Ditmarsch et al. · Data Archiving and Networked Services (DANS) · 2007 · 183 citations

Cognitive Science, Dynamic Epistemic Logic, Automated Reasoning +5

‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’

Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch et al. · The Review of Symbolic Logic · 2008 · 135 citations · Full text

Engineering, Classical Logic, Epistemic Logic +18

Group announcement logic

Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch et al. · Journal of Applied Logic · 2009 · 99 citations

Group Announcement Logic, Group Communication, Automated Reasoning +4

The Russian Cards Problem

Hans van Ditmarsch · Studia Logica · 2003 · 95 citations

1–5 of 52