Switch to: References

Add citations

You must login to add citations.
  1. A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
    The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic operators of action and (historic) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.
    This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Incentive engineering for Boolean games.Michael Wooldridge, Ulle Endriss, Sarit Kraus & Jérôme Lang - 2013 - Artificial Intelligence 195 (C):418-439.
  • 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  
  • Reasoning About Social Choice Functions.Nicolas Troquard, Wiebe van der 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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Together we know how to achieve: An epistemic logic of know-how.Pavel Naumov & Jia Tao - 2018 - Artificial Intelligence 262 (C):279-300.
  • Knowing-how under uncertainty.Pavel Naumov & Jia Tao - 2019 - Artificial Intelligence 276 (C):41-56.
  • A dynamic logic of agency II: Deterministic dla {\mathcal{dla}} , coalition logic, and game theory.Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (3):327-351.
    We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Data-informed knowledge and strategies.Junli Jiang & Pavel Naumov - 2022 - Artificial Intelligence 309 (C):103727.
  • On composition of bounded-recall plans.Kaya Deuser & Pavel Naumov - 2020 - Artificial Intelligence 289 (C):103399.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Knowing the price of success.Rui Cao & Pavel Naumov - 2020 - Artificial Intelligence 284 (C):103287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark