23 found
Order:
Disambiguations
Wiebe Hoek [14]Wiebe van Der Hoek [9]Wiebe van der Hoek [1]
See also
Wiebe Van Der Hoek
University of Liverpool
  1.  16
    Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
    Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  55
    Towards a Theory of Intention Revision.Wiebe van Der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.
    Although the change of beliefs in the face of new information has been widely studied with some success, the revision of other mental states has received little attention from the theoretical perspective. In particular, intentions are widely recognised as being a key attitude for rational agents, and while several formal theories of intention have been proposed in the literature, the logic of intention revision has been hardly considered. There are several reasons for this: perhaps most importantly, intentions are very closely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  26
    Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis.Wiebe van Der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.
    Since it was first proposed by Moses, Shoham, and Tennenholtz, the social laws paradigm has proved to be one of the most compelling approaches to the offline coordination of multiagent systems. In this paper, we make four key contributions to the theory and practice of social laws in multiagent systems. First, we show that the "Alternating-time Temporal Logic" of Alur, Henzinger, and Kupferman provides an elegant and powerful framework within which to express and understand social laws for multiagent systems. Second, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  21
    Reasoning About Social Choice Functions.Nicolas Troquard, Wiebe Hoek & Michael Wooldridge - 2011 - Journal of Philosophical Logic 40 (4):473-498.
    We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the logic is decidable, and give a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  22
    Generalized Quantifiers and Modal Logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
    We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal systems (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  15
    Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and Its Applications.Wiebe van Der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.
    Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as "Alternating-time Temporal Logic". The key insight in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  5
    Introduction to the Special Issue.Wiebe Hoek, Giacomo Bonanno & Thomas Ågotnes - 2016 - Synthese 193 (3):659-662.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  3
    Who Should Be My Friends? Social Balance from the Perspective of Game Theory.Wiebe van der Hoek, Louwe B. Kuijer & Yì N. Wáng - 2022 - Journal of Logic, Language and Information 31 (2):189-211.
    We define balance games, which describe the formation of friendships and enmity in social networks. We show that if the agents give high priority to future profits over short term gains, all Pareto optimal strategies will eventually result in a balanced network. If, on the other hand, agents prioritize short term gains over the long term, every Nash equilibrium eventually results in a network that is stable but that might not be balanced.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Logic and the Foundations of Game and Decision Theory €“ Loft 8.Giacomo Bonanno, Benedikt Löwe & Wiebe Hoek (eds.) - 2010 - Springer Berlin Heidelberg.
     
    Export citation  
     
    Bookmark  
  10. REVIEWS-Articles in Defeasible Deontic Logic.Wiebe van der Hoek - 2000 - Bulletin of Symbolic Logic 6 (1):89-93.
  11.  12
    Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory.Andrés Perea, Wiebe Hoek & Giacomo Bonanno - 2019 - Studia Logica 107 (3):451-455.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  18
    Special Issue on Logical Aspects of Multi-Agent Systems.Nils Bulling & Wiebe Hoek - 2016 - Studia Logica 104 (4):593-595.
  13.  25
    Erratum To: Introduction Chapter.Cilia Witteman & Wiebe Hoek - 2012 - Synthese 189 (S1):185-185.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    Quantified Coalition Logic.Thomas Ågotnes, Wiebe Hoek & Michael Wooldridge - 2008 - Synthese 165 (2):269-294.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  17
    A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van Der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61 - 84.
    We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent's knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a's decisions, it may be relevant that (he knows that) agent b does not know more than φ. There are (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  7
    Logic, Rationality and Interaction : Introduction to the Special Issue.Wen-Fang Wang, Wesley Holiday & Wiebe Hoek - 2018 - Synthese 195 (10):4201-4204.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  19
    Introduction Chapter.Cilia Witteman & Wiebe Hoek - 2012 - Synthese 189 (S1):1-3.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  15
    Reasoning About Local Properties in Modal Logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
    Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  22
    Honesty in Partial Logic.Wiebe Hoek, Jan Jaspars & Elias Thijsse - 1996 - Studia Logica 56 (3):323-360.
    We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that only knows and which honest enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic criteria for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic.Barteld Kooi, Wiebe Hoek & Hans Ditmarsch - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Springer. pp. 237-262.
    This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change their knowledge as the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  13
    On Agents That Have the Ability to Choose.Wiebe van Der Hoek, Bernd Van Linder & John-Jules Meyer - 2000 - Studia Logica 66 (1):79 - 119.
    We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  5
    Knowledge Condition Games.Sieuwert Otterloo, Wiebe Hoek & Michael Wooldridge - 2006 - Journal of Logic, Language and Information 15 (4):425-452.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  5
    Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Hoek, Juan Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark