Raul Fervari

Model-Checking for Ability-Based Logics with Constrained Plans

2023 · Proceedings of the AAAI Conference on Artificial Intelligence

We investigate the complexity of the model-checking problem for a family of modal logics capturing the notion of “knowing how”. We consider the most standard ability-based knowing how logic, for which we show that model-checking …