相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Coalition logic with individual, distributed and common knowledge
Thomas Agotnes et al.
JOURNAL OF LOGIC AND COMPUTATION (2019)
A logic of goal-directed knowing how
Yanjing Wang
SYNTHESE (2018)
Graded modalities in Strategy Logic
Benjamin Aminof et al.
INFORMATION AND COMPUTATION (2018)
Navigability with intermediate constraints
Kaya Deuser et al.
JOURNAL OF LOGIC AND COMPUTATION (2018)
Human-robot mutual adaptation in collaborative tasks: Models and experiments
Stefanos Nikolaidis et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2017)
Reasoning About Strategies: On the Model-Checking Problem
Fabio Mogavero et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2014)
Bounded memory Dolev-Yao adversaries in collaborative systems
Max Kanovich et al.
INFORMATION AND COMPUTATION (2014)
Improving active Mealy machine learning for protocol conformance testing
Fides Aarts et al.
MACHINE LEARNING (2014)
Strategic games and truly playable effectivity functions
Valentin Goranko et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2013)
Evolution of working memory
Peter Carruthers
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA (2013)
Calculus of Cooperation and Game-Based Reasoning about Protocol Privacy
Sara Miner More et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2012)
Logic for coalitions with bounded resources1
Natasha Alechina et al.
JOURNAL OF LOGIC AND COMPUTATION (2011)
Strategy logic
Krishnendu Chatterjee et al.
INFORMATION AND COMPUTATION (2010)
Group announcement logic
Thomas Agotnes et al.
JOURNAL OF APPLIED LOGIC (2010)
Reasoning about coalitional games
Thomas Agotnes et al.
ARTIFICIAL INTELLIGENCE (2009)
A Logic of Strategic Ability Under Bounded Memory
Thomas Ågotnes et al.
Journal of Logic Language and Information (2008)
Working memory of numerals in chimpanzees
Sana Inoue et al.
CURRENT BIOLOGY (2007)
Complete axiomatization and decidability of Alternating-time temporal logic
V Goranko et al.
THEORETICAL COMPUTER SCIENCE (2006)
On the logic of cooperation and propositional control
W van der Hoek et al.
ARTIFICIAL INTELLIGENCE (2005)
Alternating-time temporal logic
R Alur et al.
JOURNAL OF THE ACM (2002)
A modal logic for coalitional power in games
M Pauly
JOURNAL OF LOGIC AND COMPUTATION (2002)