conftrace_

Wiebe van der Hoek

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

Achievements

Jump to papers ↓

+1 more ↓

🏃 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