ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Tractable multiagent planning for epistemic goals
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Alternating-time temporal logic
Journal of the ACM (JACM)
Knowing how to play: uniform choices in logics of agency
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
What agents can achieve under incomplete information
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Declarative Agent Languages and Technologies VI
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Attributing distributed responsibility in stit logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Modeling the problem of many hands in organisations
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Strategic games and truly playable effectivity functions
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Reasoning about joint action and coalitional ability in Kn with intersection
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Modeling attempt and action failure in probabilistic stit logic
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Logic Programs, Norms and Action
Epistemic coalition logic: completeness and complexity
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Strategic games and truly playable effectivity functions
Autonomous Agents and Multi-Agent Systems
Probabilistic stit logic and its decomposition
International Journal of Approximate Reasoning
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this multi-modal system can be suitably extended with an epistemic modality. Both systems are complete, and we provide a new axiomatization for the STIT-fragment. The epistemic extension enables us to express that agents see to something under uncertainty about the present state or uncertainty about which action is being taken. In accordance with established terminology in the planning community, we call this version of STIT the 'conformant STIT'. The conformant STIT enables us to express that agents are able to perform a uniform strategy. As a final word of recommendation for this paper we want to point out that its subject is at the junction of four academic fields, viz. modal logic, philosophy, game-theory and AI-planning.