| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Local properties in modal logic.  |
Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer |
GOAL Agents Instantiate Intention Logic. |
Logic Programs, Norms and Action |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe van der Hoek |
Foreword. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Reasoning About Social Choice Functions. |
J. Philosophical Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about Social Choice Functions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
On the logic of preference and judgment aggregation. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Petar Iliev, Michael Wooldridge |
Knowledge and Action in Semi-public Environments. |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek |
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi |
Succinctness of Epistemic Languages. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Control and Delegation. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Scientia potentia est. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Reasoning about local properties in modal logic. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Cees Witteveen, Michael Wooldridge |
Decomposing constraint systems: equivalences and computational properties. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elisabetta Erriquez, Wiebe van der Hoek, Michael Wooldridge |
An abstract framework for reasoning about trust. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Nicolas Troquard, Michael Wooldridge |
Knowledge and control. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack |
Sigma algebras in probabilistic epistemic dynamics. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Robust normative systems and a logic of norm compliance. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Dirk Walther 0002, Michael Wooldridge |
Reasoning About the Transfer of Control. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Reasoning about Normative Systems. |
JURIX |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.) |
Logic and the Foundations of Game and Decision Theory - LOFT 8, 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers |
LOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck, Sandip Sen (eds.) |
9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3 |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Logics for Qualitative Coalitional Games. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
Multi-Modal CTL: Completeness, Complexity, and an Application. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Computation Tree Logic (ctl), Social Laws, Normative Systems |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Completeness and Complexity of Multi-modal CTL. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Ruan, Wiebe van der Hoek, Michael Wooldridge |
Verification of Games in the Game Description Language. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about coalitional games. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Knowing More - From Global to Local Correspondence. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cees Witteveen, Wiebe van der Hoek, Nico Roos |
Concurrently Decomposable Constraint Systems. |
MATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr (eds.) |
Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings |
MATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Moshe Tennenholtz, Michael Wooldridge |
Power in normative systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
complexity, logic, normative systems, coalitional games |
| 1 | Koen V. Hindriks, Wiebe van der Hoek, M. Birna van Riemsdijk |
Agent programming with temporally extended goals. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
temporal logic, formal semantics, goals, agent programming |
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of games and propositional control. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
effectivity functions, game solvability, propositional control, modal logic, solution concepts, strategic games |
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
A logic of propositional control for truthful implementations. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
Specifying and reasoning about uncertain agents. |
Int. J. Approx. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantified coalition logic. |
Synthese |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen iV. indriks, Wiebe van der Hoek |
GOAL Agents Instantiate Intention Logic. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge |
Model Checking Strategic Equilibria. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantifying over coalitions in epistemic logic. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek, Sarit Kraus, Michael Wooldridge |
Cooperative Boolean games. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Robust normative systems. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek, Michael Wooldridge |
A logical characterisation of qualitative coalitional games. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek |
Temporal Logics of Knowledge and their Applications in Security. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer |
A verification framework for agent programming with declarative goals. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge |
Social laws in alternating time: effectiveness, feasibility, and synthesis. |
Synthese |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge |
Towards a theory of intention revision. |
Synthese |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Wiebe van der Hoek |
Logics in AI: post-proceedings JELIA06 (Editorial). |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
On the Logic of Normative Systems. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Quantified Coalition Logic. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
On the Logic of Normative Systems. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Normative system games. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
complexity, games, logic, goals, normative systems |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about judgment and preference aggregation. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
modal logic, preference aggregation, judgment aggregation |
| 1 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil (eds.) |
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings |
SOFSEM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, Frantisek Plasil, Mária Bieliková (eds.) |
SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings Volume II |
SOFSEM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dirk Walther 0002, Wiebe van der Hoek, Michael Wooldridge |
Alternating-time temporal logic with explicit strategies. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Thomas Ågotnes, Paul E. Dunne, Wiebe van der Hoek |
Logic for Automated Mechanism Design - A Progress Report. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Dynamic Epistemic Logic and Knowledge Puzzles. |
ICCS |
2007 |
DBLP DOI BibTeX RDF |
multiagent systems, belief revision, epistemic logic, dynamic epistemic logic |
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan |
Model Checking Russian Cards. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge |
Knowledge Condition Games. |
Journal of Logic, Language and Information |
2006 |
DBLP DOI BibTeX RDF |
complexity, protocol, game theory, knowledge, strategy, epistemic logic, imperfect information |
| 1 | Chiara Ghidini, Paolo Giorgini, Wiebe van der Hoek |
Preface. |
Autonomous Agents and Multi-Agent Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Uncertainty, rationality, and agency. |
|
2006 |
RDF |
|
| 1 | Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) |
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings |
JELIA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
On the logic of coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
game theory, logic, coalitional games |
| 1 | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
Temporal qualitative coalitional games. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
logic, repeated games, coalitional games |
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Michael Wooldridge |
On the complexity of practical ATL model checking. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
verification, complexity, cooperation, logic |
| 1 | Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, Michael Wooldridge |
Reasoning about action and cooperation. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
(multi-)agent planning, agent and multi-agent architectures, logics for agent systems, cooperation and coordination among agents |
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Wiebe van der Hoek |
On obligations and normative ability: Towards a logical analysis of the social contract. |
J. Applied Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek |
Process algebra and constraint programming for modeling interactions in MAS. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Michael Wooldridge |
On the logic of cooperation and propositional control. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge |
Intentions and Strategies in Game-Like Scenarios. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
Multi-agent systems, common sense reasoning, strategic reasoning |
| 1 | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
Logical Implementation of Uncertain Agents. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Dynamic epistemic logic with assignment. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
assignment, agent communication, dynamic epistemic logic |
| 1 | Wiebe van der Hoek, Michael Wooldridge |
On the dynamics of delegation, cooperation, and control: a logical account. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
powers of agents and coalitions, propositional control, cooperation, dynamics, modal logic, delegation, dynamic logic |
| 1 | Wiebe van der Hoek, Mark Roberts, Michael Wooldridge |
Knowledge and social laws. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
alternating-time temporal epistemic logic, social laws, knowledge |
| 1 | Wiebe van der Hoek, Wojciech Jamroga, Michael Wooldridge |
A logic for strategic reasoning. |
AAMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent systems, game theory, modal logic, strategic reasoning |
| 1 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge |
Preface: Volume 85, Issue 2. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge |
Knowledge as Strategic Ability. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio |
A Logic For Ignorance. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer |
Rational Teams: Logical Aspects of Multi-Agent Systems. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Wiebe van der Hoek |
Agents that Know How to Play. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Wiebe van der Hoek, Michael Wooldridge |
On Obligations and Abilities. |
DEON |
2004 |
DBLP DOI BibTeX RDF |
alternating-time logic, multi-agent systems, deontic logic |
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Public Announcements and Belief Expansion. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek |
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
Practical Reasoning for Uncertain Agents. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul E. Dunne, Wiebe van der Hoek |
Representation and Complexity in Boolean Games. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Knowledge, Rationality and Action. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge |
Preferences in Game Logics. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur |
Formal semantics of meta-level architectures: Temporal epistemic reflection. |
Int. J. Intell. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer |
A fully abstract model for the exchange of information in multi-agent systems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer |
Iterated Belief Change in Multi-Agent Systems. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Michael Wooldridge |
Editorial. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Michael Wooldridge |
Towards a Logic of Rational Agency. |
Logic Journal of the IGPL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Michael Wooldridge |
Preface. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Michael Wooldridge |
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
Cooperation logic, model checking, game theory, epistemic logic |
| 1 | Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen |
A Modal Characterization of Nash Equilibrium. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
A Verification Framework for Agent Communication. |
Autonomous Agents and Multi-Agent Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio |
A logic for ignorance. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
Concurrent dynamic epistemic logic for MAS. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
concurrency, agent communication, dynamic epistemic logic |
| 1 | Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer |
Agent programming in dribble: from beliefs to goals using plans. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
practical reasoning rule, intelligent agent, plans, agent-oriented programming, declarative goals |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")