12 citations · 29 across the 10 of their papers we have counts for
12 papers
Satisfiability for Knowing How over Linear Plans is NP-complete
Carlos Areces, Pablo Barceló, Valentin Cassano +3
We study the satisfiability problem for a modal logic expressing knowing-how assertions, which captures an agent's ability to achieve a given goal under the standard semantics base…
Deontic Action Logics: A Modular Algebraic Perspective
Carlos Areces, Valentin Cassano, Pablo Castro +1
In a seminal work, K. Segerberg introduced a deontic logic called DAL to investigate normative reasoning over actions. DAL marked the beginning of a new area of research in Deontic…
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Carlos Areces, Valentin Cassano, Raul Fervari +2
We investigate the complexity of the satisfiability problem for a modal logic expressing `knowing how' assertions, related to an agent's abilities to achieve a certain goal. We tak…
Uncertainty-Based Knowing How Logic
Carlos Areces, Raul Fervari, Andrés R. Saravia +1
We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to th…
Uncertainty-Based Semantics for Multi-Agent Knowing How Logics
Carlos Areces, Raul Fervari, Andrés R. Saravia +1
We introduce a new semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the…
Axiomatizing Hybrid XPath with Data
Carlos Areces, Raul Fervari
In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal vers…