Reasoning About Quality and Fuzziness of Strategic Behaviours

被引：0
|
作者：
Bouyer, Patricia [1 ,2 ]
Kupferman, Orna [3 ]
Markey, Nicolas [4 ,5 ,6 ]
Maubert, Bastien [7 ]
Murano, Aniello [7 ]
Perelli, Giuseppe [8 ]
机构：
[1] Univ Paris Saclay, CNRS, LSV, Paris, France
[2] Univ Paris Saclay, ENS Paris Saclay, Paris, France
[3] Hebrew Univ Jerusalem, Jerusalem, Israel
[4] CNRS, Irisa, Paris, France
[5] INRIA, Paris, France
[6] Univ Rennes, Rennes, France
[7] Univ Napoli Federico II, Naples, France
[8] Univ Goteborg, Gothenburg, Sweden
来源：
ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2020年 / 325卷
关键词：
D O I：
10.3233/FAIA200437
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：2887 / 2888
页数：2
相关论文
共 50 条
  • [1] Reasoning about Quality and Fuzziness of Strategic Behaviours
    Bouyer, Patricia
    Kupferman, Orna
    Markey, Nicolas
    Maubert, Bastien
    Murano, Aniello
    Perelli, Giuseppe
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1588 - 1594
  • [2] Reasoning about Quality and Fuzziness of Strategic Behaviors
    Bouyer, Patricia
    Kupferman, Orna
    Markey, Nicolas
    Maubert, Bastien
    Murano, Aniello
    Perelli, Giuseppe
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (03)
  • [3] Reasoning about Natural Strategic Ability
    Jamroga, Wojciech
    Malvone, Vadim
    Murano, Aniello
    [J]. AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 714 - 722
  • [4] Reasoning about Hypothetical Agent Behaviours and their Parameters
    Albrecht, Stefano V.
    Stone, Peter
    [J]. AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 547 - 555
  • [5] Fuzziness and uncertainty in temporal reasoning
    Dubois, D
    HadjAli, A
    Prade, H
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (09) : 1168 - 1194
  • [6] Reasoning about Actions Meets Strategic Logics
    Herzig, Andreas
    Lorini, Emiliano
    Walther, Dirk
    [J]. LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 162 - 175
  • [7] Strategic Reasoning About Bundling in Swarming Systems
    Menasche, Daniel Sadoc
    Neglia, Giovanni
    Towsley, Don
    Zilberstein, Shlomo
    [J]. 2009 INTERNATIONAL CONFERENCE ON GAME THEORY FOR NETWORKS (GAMENETS 2009), 2009, : 611 - +
  • [8] Formalizing and Reasoning about Quality
    Almagor, Shaull
    Boker, Udi
    Kupferman, Orna
    [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 15 - 27
  • [9] Formally Reasoning About Quality
    Almagor, Shaull
    Boker, Udi
    Kupferman, Orna
    [J]. JOURNAL OF THE ACM, 2016, 63 (03)
  • [10] Reasoning about sequential and branching behaviours of message sequence graphs
    Madhusudan, P
    [J]. AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 809 - 820
12345