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 …

Epistemic logic is a subfield of philosophical logic concerned with logical approaches to
knowledge, belief, and related notions. Though any logic with an epistemic interpretation …

We propose a formal proof of the undecidability of the model checking problem for
alternating-time temporal logic under imperfect information and perfect recall semantics …

Two currently active strands of research on logics for multi-agent systems are dynamic
epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitional …

Epistemic planning can be used for decision making in multi-agent situations with distributed
knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to …

We study teams of agents that play against Nature towards achieving a common objective.
The agents are assumed to have imperfect information due to partial observability, and have …

Epistemic planning based on Dynamic Epistemic Logic (DEL) allows agents to reason and
plan from the perspective of other agents. The framework of DEL-based epistemic planning …

In this chapter we relate epistemic logics with logics for strategic ability developed and
studied in computer science, artificial intelligence and multi-agent systems. We discuss …

In online advertising, search engines sell ad placements for keywords continuously through
auctions. This problem can be seen as an infinitely repeated game since the auction is …