Alternating-time temporal logic
Journal of the ACM (JACM)
A New One-Pass Tableau Calculus for PLTL
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Tableaux for Temporal Description Logic with Constant Domains
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The Description Logic Handbook
The Description Logic Handbook
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Description logic for coalitions
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hi-index | 0.00 |
Coalitional Description Logic [Seylan, I. and W. Jamroga, Description logic for coalitions, in: Proceedings of AAMAS'09, 2009, pp. 425-432.] is a product style combination of Coalition Logic and the description logic ALC. It enables reasoning about agents' ability to influence first-order structures. In this paper, we extend the logic with nominals, i.e., names of individuals including those of agents to define more complex terms for coalitions. This extended language allows one to express surprisingly sophisticated properties because it provides a way to reason about how agents can influence themselves. After introducing the new logic formally, we show that its satisfiability problem is still decidable in NEXPTIME. We prove it constructively by proposing a tableau.