Switch to: References

Add citations

You must login to add citations.
  1. Reasoning about Dependence, Preference and Coalitional Power.Qian Chen, Chenwei Shi & Yiyan Wang - 2024 - Journal of Philosophical Logic 53 (1):99-130.
    This paper presents a logic of preference and functional dependence (LPFD) and its hybrid extension (HLPFD), both of whose sound and strongly complete axiomatization are provided. The decidability of LPFD is also proved. The application of LPFD and HLPFD to modelling cooperative games in strategic form is explored. The resulted framework provides a unified view on Nash equilibrium, Pareto optimality and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Some key connections (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Characteristic function games with restricted agent interactions: Core-stability and coalition structures.Georgios Chalkiadakis, Gianluigi Greco & Evangelos Markakis - 2016 - Artificial Intelligence 232 (C):76-113.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Knowing the price of success.Rui Cao & Pavel Naumov - 2020 - Artificial Intelligence 284 (C):103287.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logics for Qualitative Coalitional Games.Thomas Agotnes, Wiebe van der Hoek & Michael Wooldridge - 2009 - Logic Journal of the IGPL 17 (3):299-321.
    Qualitative Coalitional Games are a variant of coalitional games in which an agent's desires are represented as goals that are either satisfied or unsatisfied, and each choice available to a coalition is a set of goals, which would be jointly satisfied if the coalition made that choice. A coalition in a QCG will typically form in order to bring about a set of goals that will satisfy all members of the coalition. Our goal in this paper is to develop and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • From self-regarding to other-regarding agents in strategic games: a logical analysis.Emiliano Lorini - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):443-475.
    I propose a modal logic that enables to reason about self-regarding and otherregarding motivations in strategic games. This logic integrates the concepts of joint action, belief, individual and group payoff. The first part of the article is focused on self-regarding agents. A self-regarding agent decides to perform a certain action only if he believes that this action maximizes his own personal benefit. The second part of the article explores different kinds of other-regarding motivations such as fairness and reciprocity. Differently from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Formal Modelling and Verification of Probabilistic Resource Bounded Agents.Hoang Nga Nguyen & Abdur Rakib - 2023 - Journal of Logic, Language and Information 32 (5):829-859.
    Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a coalition of agents. Existing approaches to reasoning about coalitional ability are usually focused on games or transition systems, which are described in terms of states and actions. Such approaches however often neglect a key feature of multi-agent systems, namely that the actions of the agents require resources. In this paper, we describe a logic for reasoning about coalitional ability under resource constraints in the probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Łukasiewicz logics for cooperative games.Enrico Marchioni & Michael Wooldridge - 2019 - Artificial Intelligence 275 (C):252-278.
    Download  
     
    Export citation  
     
    Bookmark  
  • Epistemic GDL: A logic for representing and reasoning about imperfect information games.Guifei Jiang, Dongmo Zhang, Laurent Perrussel & Heng Zhang - 2021 - Artificial Intelligence 294 (C):103453.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Automated temporal equilibrium analysis: Verification and synthesis of multi-player games.Julian Gutierrez, Muhammad Najib, Giuseppe Perelli & Michael Wooldridge - 2020 - Artificial Intelligence 287 (C):103353.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the complexity of core, kernel, and bargaining set.Gianluigi Greco, Enrico Malizia, Luigi Palopoli & Francesco Scarcello - 2011 - Artificial Intelligence 175 (12-13):1877-1910.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Coalitional games induced by matching problems: Complexity and islands of tractability for the Shapley value.Gianluigi Greco, Francesco Lupia & Francesco Scarcello - 2020 - Artificial Intelligence 278 (C):103180.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logic and Games: an Introduction.Thomas Ågotnes - 2014 - Studia Logica 102 (2):231-234.
    Download  
     
    Export citation  
     
    Bookmark  
  • On composition of bounded-recall plans.Kaya Deuser & Pavel Naumov - 2020 - Artificial Intelligence 289 (C):103399.
    Download  
     
    Export citation  
     
    Bookmark