A first-order coalition logic for BDI-agents
暂无分享,去创建一个
Abdul Sattar | Kaile Su | Xiangyu Luo | Qingliang Chen | Aixiang Chen | A. Sattar | Kaile Su | Xiangyu Luo | Qingliang Chen | Aixiang Chen
[1] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[2] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[3] Xiaowei Huang,et al. A Temporal Logic of Strategic Knowledge , 2014, KR.
[4] Yong Hu,et al. A complete coalition logic of temporal knowledge for multi-agent systems , 2015, Frontiers of Computer Science.
[5] Alessio Lomuscio,et al. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications , 2014, CAV.
[6] Francesco Belardinelli,et al. Reasoning about Knowledge and Strategies: Epistemic Strategy Logic , 2014, SR.
[7] Giuseppe Perelli,et al. Logics for Multi-Agent Systems Verification , 2015 .
[8] Alessio Lomuscio,et al. MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.
[9] Andreas Herzig,et al. A normal simulation of coalition logic and an epistemic extension , 2007, TARK '07.
[10] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[11] Marc Pauly,et al. A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..
[12] Anand S. Rao,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[13] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1999 .
[14] Michael Wooldridge,et al. Quantified coalition logic , 2007, Synthese.
[15] N. Belnap,et al. Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .
[16] Wojciech Jamroga,et al. Strategic games and truly playable effectivity functions , 2013, Autonomous Agents and Multi-Agent Systems.
[17] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[18] Ariel Rubinstein,et al. A Course in Game Theory , 1995 .
[19] Valentin Goranko,et al. Complete axiomatization and decidability of Alternating-time temporal logic , 2006, Theor. Comput. Sci..
[20] Dirk Walther,et al. Alternating-time dynamic logic , 2010, AAMAS.
[21] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[22] Michael Wooldridge,et al. Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.
[23] Xiaowei Huang,et al. Bounded model checking of strategy ability with perfect recall , 2015, Artif. Intell..
[24] Michael Wooldridge,et al. Handbook of Knowledge Representation Edited Situation Calculus , 2022 .
[25] Michael Wooldridge,et al. Alternating-time temporal logic with explicit strategies , 2007, TARK '07.
[26] Marc Pauly,et al. Logic for social software , 2000 .
[27] Michael Wooldridge,et al. Logic for Automated Mechanism Design - A Progress Report , 2007, AAAI.
[28] Alberto RibesAbstract,et al. Multi agent systems , 2019, Proceedings of the 2005 International Conference on Active Media Technology, 2005. (AMT 2005)..
[29] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[30] Koen V. Hindriks,et al. Specification and Verification of Multi-agent Systems , 2010 .
[31] Ron van der Meyden,et al. MCK: Model Checking the Logic of Knowledge , 2004, CAV.
[32] Natasha Alechina,et al. A Logic for Reasoning About Knowledge of Unawareness , 2014, J. Log. Lang. Inf..
[33] Natasha Alechina,et al. Epistemic coalition logic: completeness and complexity , 2012, AAMAS.
[34] Xiaowei Huang,et al. Symbolic Model Checking Epistemic Strategy Logic , 2014, AAAI.
[35] Erich Grädel,et al. Model-checking games for logics of imperfect information , 2013, Theor. Comput. Sci..
[36] Michael Wooldridge,et al. Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.
[37] Anuj Dawar,et al. Model-Checking First-Order Logic: Automata and Locality , 2007, CSL.
[38] Michael Wooldridge,et al. Reasoning about coalitional games , 2009, Artif. Intell..
[39] Cheng Luo,et al. A logic of probabilistic knowledge and strategy , 2013, AAMAS.
[40] Michael Wooldridge,et al. Reasoning about equilibria in game-like concurrent systems , 2014, Ann. Pure Appl. Log..
[41] Wojciech Jamroga,et al. Module Checking of Strategic Ability , 2015, AAMAS.
[42] Andreas Herzig,et al. What groups do, can do, and know they can do: an analysis in normal modal logics , 2009, J. Appl. Non Class. Logics.
[43] Melvin Fitting,et al. Barcan Both Ways , 1999, J. Appl. Non Class. Logics.
[44] Wojciech Jamroga,et al. Description logic for coalitions , 2009, AAMAS.
[45] Dov M. Gabbay,et al. Higher-Order Coalition Logic , 2010, ECAI.
[46] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[47] Wojciech Jamroga,et al. Comparing variants of strategic ability: how uncertainty and memory influence general properties of games , 2014, Autonomous Agents and Multi-Agent Systems.
[48] Thomas A. Henzinger,et al. MOCHA: Modularity in Model Checking , 1998, CAV.
[49] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[50] Guido Governatori,et al. Observation-based Model for BDI-Agents , 2005, AAAI.
[51] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[52] Jürgen Dix,et al. Modelling coalitions: ATL + argumentation , 2008, AAMAS.
[53] Wojciech Penczek,et al. VerICS 2007 - a Model Checker for Knowledge and Real-Time , 2008, Fundam. Informaticae.