Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

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

Social dilemmas occur when incentives for individuals are misaligned with group
interests,,,,,–. According to the 'tragedy of the commons', these misalignments can lead to …

Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS
supports efficient symbolic techniques for the verification of multi-agent systems against …

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 this paper, we study synthesis from logical specifications over finite traces expressed in
LTLf and its extension LDLf. Specifically, in this form of synthesis, propositions are …

Computational logic is a fast-growing field with applications in artificial intelligence,
constraint solving, and the design and verification of software and hardware systems. Written …

In open systems verification, to formally check for reliability, one needs an appropriate
formalism to model the interaction between agents and express the correctness of the …