Multi-agent systems require effective coordination between groups and individuals to
achieve common goals. However, current multi-agent reinforcement learning (MARL) …

Various logical notions of know-how have been recently proposed and studied in the
literature based on different types of epistemic planning in different frameworks. This paper …

The article proposes a new approach to reasoning about knowledge and strategies in
multiagent systems. It emphasizes data, not agents, as the source of strategic knowledge …

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 take …

In many real-world situations, there is often not enough information to know that a certain
strategy will succeed in achieving the goal, but there is a good reason to believe that it will …

The article studies two forms of responsibility in the setting of strategic games with imperfect
information. They are referred to as seeing-to-it responsibility and counterfactual …

Bisimulation, at its core, is a means of studying the alignment between two dynamical
systems. It has been used to great effect in the planning community for heuristic …

We investigate dynamic operations acting over a knowing how logic. Our approach makes
use of a recently introduced semantics for the knowing how operator, based on an …

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 the …

The paper expands upon the work by Wang 16, who proposes a single-agent modal logic
framework for reasoning about “knowing how”. This paper proposes a more flexible …