- Honesty in Partial Logic # Wiebe van der Hoek ## Jan Jaspars ++ Elias Thijsse
- On Modal Logic Interpretations of Games Paul Harrenstein 1 and Wiebe van der Hoek 1;2 and JohnJules Meyer 1 and Cees Witteveen 3
- A General Approach To MultiAgent Minimal Knowledge With Tools And Samples
- GOAL Agents Instantiate Intention Logic Koen Hindriks1
- Towards a Logic of Rational Agency Wiebe van der Hoek, Dept of Computer Science, University of
- Reasoning about Judgment and Preference Aggregation Department of Computer
- 1 Actions That Make You Change B. van Linder, W. van der Hoek and J.J. Ch. Meyer 1
- On BAN Logics for Industrial Security Protocols Nesria Agray 1 Wiebe van der Hoek 1;2 Erik de Vink 3;4
- Boolean Games Paul Harrenstein , Wiebe van der Hoek, John-Jules Meyer
- Epistemic Logic: A Survey Wiebe van der Hoek ab Rineke Verbrugge c
- Specifying and reasoning about uncertain agents Nivea de Carvalho Ferreira, Michael Fisher *, Wiebe van der Hoek
- Iterated Belief Change in MAS JanWillem Roorda
- Recovery of (non)monotonic theories Cees Witteveen
- Logical Foundations of Agent-Based Computing Wiebe van der Hoek 1;2
- Model checking strategic equilibria Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge
- Agent Programming with Temporally Extended Goals Koen V. Hindriks
- Synthese (2008) 165:269294 Knowledge, Rationality & Action 233258
- Completeness and complexity of multi-modal Thomas Agotnesa
- Strategy Logics and the Game Description WIEBE VAN DER HOEK, JI RUAN AND MICHAEL WOOLDRIDGE
- Journal of Applied Logic 5 (2007) 277302 www.elsevier.com/locate/jal
- Dynamic Epistemic Logic and Knowledge H.P. van Ditmarsch1,
- On the Logic of Coalitional Games Department of Informatics,
- On the Dynamics of Delegation, Cooperation, and Control: A Logical Account
- Agent programming in Dribble: from beliefs to goals with plans
- Implementing Cognitive Agents in 3APL M. Dastani F. de Boer F. Dignum W. van der Hoek
- Tractable Multiagent Planning for Epistemic Goals Wiebe van der Hoek
- Counting Objects WffiBE VAN DER HOEK, Department of Computer Science, Utrecht
- Systems for Knowledge and Belief WIEBE VAN DER HOEK, Free University Amsterdam, Department of
- Temporal Logics of Knowledge and their Applications in Security
- A Cooperation Logic Framework for Social Laws Wiebe van der Hoek Mark Roberts Michael Wooldridge
- Logics for Coalitional Games Thomas Agotnes, Paul E. Dunne, Wiebe van der Hoek,
- Power in Normative Systems Thomas gotnes
- Fundamenta Informaticae XX (2003) 1--41 1 A Modal Characterization of Nash Equilibrium
- Process Algebra for Agent Communication: A General Semantic Approach
- Rational Teams: Logical Aspects of MultiAgent Systems
- Concurrent dynamic epistemic logic for MAS H.P. van Ditmarsch
- Representation and Complexity in Boolean Games Paul E. Dunne and Wiebe van der Hoek
- Fundamenta Informaticae AAA 135 1 Agents that Know How to Play
- Annals of Mathematics and Artificial Intelligence 0 (1999) ?--? 1 Persistence and Minimality in Epistemic Logic \Lambda
- Theories of Knowledge and Ignorance Wiebe van der Hoek ab Jan Jaspars c Elias Thijsse d
- Logics for Qualitative Coalitional THOMAS GOTNES, University of Bergen, Norway.
- A Logic of Games and Propositional Control Nicolas Troquard Wiebe van der Hoek Michael Wooldridge
- The Dynamics of Default Reasoning B. van Linder W. van der Hoek J.-J. Ch. Meyer
- Seeing is Believing And so are Hearing and Jumping
- Wiebe van der Hoek Michael Wooldridge
- Knowledge, Rationality and Action Wiebe van der Hoek
- Fundamenta Informaticae 34 (1998) 1--49 1 Formalising Abilities and Opportunities of Agents
- TEMPORALIZING EPISTEMIC DEFAULT LOGIC WIEBE VAN DER HOEK
- Quantified Coalition Logic Thomas Agotnes Wiebe van der Hoek Michael Wooldridge
- Knowledge and Control Wiebe van der Hoek
- Succinctness of Epistemic Languages Computer Science
- Everything is Knowable How to Get to Know Whether a Proposition is Truetheo_1119 1..22
- Your article is protected by copyright and all rights are held exclusively by Springer-
