Wiebe van der Hoek

5 papers · 2013–2020 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

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)

Research topics

Artificial Intelligence (2) Core AI (2) Machine Learning (1) Mathematics & Optimization (1) Learning Types (1) Mathematics (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