Wiebe van der Hoek
Artificial Intelligence · 2003–2015
A researcher in the Science corpus: 4 papers; trusts 8 researchers and is trusted by 1 researcher here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 13 citations into it; #32,278 of 35,345 by trust here, #26,682 by citations
- Computational Theory and Mathematics — 5 citations into it; #11,110 of 12,182 by trust here, #7,501 by citations
Whom Wiebe van der Hoek trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Ronald Fagin
- Alexandru Baltag
- Marc Pauly
- Moshe Y. Vardi
- Bernhard Beckert
- Joseph Y. Halpern
- J. Benthem
- Michael J. Wooldridge
- Martin J. Osborne
Who trusts Wiebe van der Hoek overall
Papers from Wiebe van der Hoek's perspective
Ordered by how strongly the researchers Wiebe van der Hoek trusts endorse each paper. Same corpus, a different order for every researcher.
- Dynamic logic (SIGA)
- Logics for Epistemic Programs (Synthese)
- A Course in Game Theory
- Logics of communication and change (Information and Computation)
- Modal Logic (Cambridge Tracts in Theoretical Computer Science)
- Logics of public communications (Synthese)
- One is a Lonely Number: on the logic of communication
- Knowledge and common knowledge in a distributed environment
- Branching vs. Linear Time: Final Showdown (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
- Knowledge in Flux: Modeling the Dynamics of Epistemic States
Their papers
- Dynamic Epistemic Logic (2007) — 632 citations
- Handbook of epistemic logic (2015) — 118 citations
- Agents that Know How to Play (2004) — 298 citations
- Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications (2003) — 337 citations