Publisher Summary The discipline of knowledge representation focuses on the way to
represent and reason about environments with various different properties, usually with the …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

In Alternating-time Temporal Logic (ATL), one can express statements about the strategic
ability of an agent (or a coalition of agents) to achieve a goal φ such as:" agent i can choose …

The goal of this paper is to investigate an action language, called m A⁎, for representing
and reasoning about actions and change in multi-agent domains. The language, as …

Alternating-time temporal logic (ATL) is a modal logic that allows to reason about agents'
abilities in game-like scenarios. Semantic variants of ATL are usually built upon different …

We introduce ATLES-a variant of ATL with explicit names for strategies in the object
language. ATLES makes it possible to refer to the same strategy in different occurrences of …

This paper presents a comprehensive survey of the current status and opportunities for
Large Language Models (LLMs) in strategic reasoning, a sophisticated form of reasoning …

The aim of this work is to propose a logical framework for the specification of cognitive
emotions that are based on counterfactual reasoning about agents' choices. The prototypical …

We present an OBDD-based methodology for verifying time, knowledge, and strategies in
multi-agent systems specified by the formalism of interpreted systems. To this end, we …

We study the extension of the alternating-time temporal logic (ATL) with strategy contexts:
contrary to the original semantics, in this semantics the strategy quantifiers do not reset the …