Wiebe van der Hoek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
63
Venues
26
Active years
1990–2020
Best venue rank
A*
Where they publish
- BJELIA10 papers
- A*IJCAI9 papers
- AECAI6 papers
- A*KR3 papers
- BAiML3 papers
- BTARK3 papers
- CECSQARU3 papers
- BLPAR2 papers
- A*AAAI2 papers
- NationalEPIA2 papers
- CTIME2 papers
- BLPNMR2 papers
- NationalKI2 papers
- NationalLFCS2 papers
- CEUMAS1 paper
- BICAART1 paper
- AAAMAS1 paper
- CCiE1 paper
- CJURIX1 paper
- MulticonferenceICCS1 paper
- CCoordination1 paper
- BPRIMA1 paper
- BCONCUR1 paper
- NationalAIMSA1 paper
- CIPMU1 paper
- CLOPSTR1 paper
Papers
63 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | IJCAI | Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. | Wiebe van der Hoek, Louwe B. Kuijer, Y N. Wng |
| 2020 | KR | Logics of Preference when There Is No Best. | Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer |
| 2018 | LPAR | When Are Two Gossips the Same? | Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek |
| 2017 | IJCAI | Non-Determinism and the Dynamics of Knowledge. | Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes |
| 2016 | AAAI | A Semantical Analysis of Second-Order Propositional Modal Logic. | Francesco Belardinelli, Wiebe van der Hoek |
| 2016 | AiML | Fully Arbitrary Public Announcements. | Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer |
| 2015 | IJCAI | Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results. | Francesco Belardinelli, Wiebe van der Hoek |
| 2014 | AiML | Some Exponential Lower Bounds on Formula-size in Modal Logic. | Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev |
| 2014 | ECAI | Knowledge and Gossip. | Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek |
| 2014 | EUMAS | A Framework for Epistemic Gossip Protocols. | Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek |
| 2014 | KR | Justified Beliefs by Justified Arguments. | Davide Grossi, Wiebe van der Hoek |
| 2013 | ICAART | Control and Delegation. | Wiebe van der Hoek |
| 2013 | IJCAI | Verifiable Equilibria in Boolean Games. | Thomas gotnes, Paul Harrenstein, Wiebe van der Hoek, Michael J. Wooldridge |
| 2013 | IJCAI | Audience-Based Uncertainty in Abstract Argument Games. | Davide Grossi, Wiebe van der Hoek |
| 2012 | AAMAS | A logic of revelation and concealment. | Wiebe van der Hoek, Petar Iliev, Michael J. Wooldridge |
| 2012 | CiE | On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. | Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi |
| 2012 | ECAI | Conservative Social Laws. | Thomas gotnes, Wiebe van der Hoek, Michael J. Wooldridge |
| 2011 | IJCAI | Succinctness of Epistemic Languages. | Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi |
| 2011 | TARK | Sigma algebras in probabilistic epistemic dynamics. | Luca Aceto, Wiebe van der Hoek, Anna Inglfsdttir, Joshua Sack |
| 2010 | JURIX | Reasoning about Normative Systems. | Wiebe van der Hoek |
| 2009 | IJCAI | Knowing More - From Global to Local Correspondence. | Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
| 2009 | TARK | A logic of propositional control for truthful implementations. | Nicolas Troquard, Wiebe van der Hoek, Michael J. Wooldridge |
| 2008 | JELIA | GOAL Agents Instantiate Intention Logic. | Koen V. Hindriks, Wiebe van der Hoek |
| 2007 | AAAI | Logic for Automated Mechanism Design - A Progress Report. | Michael J. Wooldridge, Thomas gotnes, Paul E. Dunne, Wiebe van der Hoek |
| 2007 | ICCS | Dynamic Epistemic Logic and Knowledge Puzzles. | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
| 2007 | IJCAI | On the Logic of Normative Systems. | Thomas gotnes, Wiebe van der Hoek, Juan A. Rodrguez-Aguilar, Carles Sierra, Michael J. Wooldridge |
| 2007 | IJCAI | Quantified Coalition Logic. | Thomas gotnes, Wiebe van der Hoek, Michael J. Wooldridge |
| 2007 | TARK | Alternating-time temporal logic with explicit strategies. | Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge |
| 2005 | EPIA | Logical Implementation of Uncertain Agents. | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
| 2005 | EPIA | Intentions and Strategies in Game-Like Scenarios. | Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge |
| 2004 | AiML | Public Announcements and Belief Expansion. | Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
| 2004 | JELIA | Representation and Complexity in Boolean Games. | Paul E. Dunne, Wiebe van der Hoek |
| 2004 | JELIA | Practical Reasoning for Uncertain Agents. | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
| 2004 | TIME | Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. | Clare Dixon, M. Carmen Fernndez Gago, Michael Fisher, Wiebe van der Hoek |
| 2002 | Coordination | Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. | Michael J. Wooldridge, Wiebe van der Hoek |
| 2002 | ECAI | On Modal Logic Interpretations of Games. | Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen |
| 2001 | PRIMA | A Truly Concurrent Model for Interacting Agents. | Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2001 | TIME | Reasoning about agents in the KARO framework. | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek |
| 2000 | CONCUR | Failure Semantics for the Exchange of Information in Multi-Agent Systems. | Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | ECAI | Classical, General Frameworks for Recovery. | Wiebe van der Hoek, Cees Witteveen |
| 2000 | JELIA | A Modal Logic for Network Topologies. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 2000 | JELIA | A General Approach to Multi-agent Minimal Knowledge. | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 1998 | AIMSA | Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1998 | ECAI | Systems of Communicating Agents. | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1998 | JELIA | Persistence and Minimality in Epistemic Logic. | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 1997 | LPNMR | A General Framework for Revising Non-Monotonic Theories. | Cees Witteveen, Wiebe van der Hoek |
| 1996 | JELIA | Revising and Updating Using a Back-Up Semantics. | Cees Witteveen, Wiebe van der Hoek |
| 1995 | ECSQARU | The Dynamics of Default Reasoning (Extended Abstract). | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1995 | KI | Actions That Make You Change Your Mind (Extended Abstract). | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1995 | LPNMR | Revision by Communication. | Cees Witteveen, Wiebe van der Hoek |
| 1994 | ECAI | Tests as Epistemic Updates. | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | IPMU | Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. | Llus Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra |
| 1994 | JELIA | Revision of Non-Monotonic Theories. | Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle |
| 1994 | KI | Communicating Rational Agents. | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1994 | KR | Honesty in Partial Logic. | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 1994 | LFCS | A Logic of Capabilities. | Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer |
| 1994 | LOPSTR | Formal Semantics of Temporal Epistemic Reflection. | Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur |
| 1993 | ECSQARU | A Default Logic Based on Epistemic States. | John-Jules Ch. Meyer, Wiebe van der Hoek |
| 1993 | ECSQARU | Belief Revision by Expansion. | Cees Witteveen, Wiebe van der Hoek |
| 1992 | LFCS | Graded Modalities in Epistemic Logic. | Wiebe van der Hoek, John-Jules Ch. Meyer |
| 1991 | LPAR | Some Considerations on the Logic PfD. | Wiebe van der Hoek |
| 1990 | JELIA | Systems for Knowledge and Beliefs. | Wiebe van der Hoek |
| 1990 | JELIA | Non-Monotonic Reasoning by Monotonic Means. | John-Jules Ch. Meyer, Wiebe van der Hoek |