Wiebe van der Hoek

5 papers · 2013–2020 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (7) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15) 🚀 Conference Pioneer

Conferences

IJCAI (5)

Top co-authors

Davide Grossi (2) Francesco Belardinelli (1) Christos Moyzes (1) Andreas Herzig (1) Louwe Kuijer (1) Paul Harrenstein (1) Yi Wang (1) Thomas Ågotnes (1) Michael Wooldridge (1)

Keywords

formal verification (2) social network (1) temporal logic (1) model checking (1) dynamic epistemic logic (1) social balance theory (1) multi-agent system (1) formal methods (1) propositional dynamic logic (1)

Papers

Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020

Non-Determinism and the Dynamics of Knowledge IJCAI 2017

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results IJCAI 2015

Audience-Based Uncertainty in Abstract Argument Games IJCAI 2013

Verifiable Equilibria in Boolean Games IJCAI 2013