Autonomous driving technology is one of the important methods that avoid the hidden
dangers of traffic safety. Although the existing autonomous driving technology can meet …

Abstract Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are
formalisms for preference handling, with especially QCL being well established in the field of …

This paper proposes a logical framework for representing and reasoning about imperfect
information games. We first extend the game description language (GDL) with the standard …

The goal of this paper is to propose a framework for representing and reasoning about the
rules of auction-based protocols. Such a framework is of interest for building digital …

Strategy representation and reasoning for incomplete information concurrent games has
recently received much attention in multi-agent system and AI communities. However, most …

Quite some work in the ATL-tradition uses the differences between various types of
strategies (positional, uniform, perfect recall) to give alternative semantics to the same …

The goal of this paper is to propose a language for representing and reasoning about the
rules governing an auction-based market. Such language is at first interest as long as we …

This paper investigates the equivalence between games represented by state transition
models and its applications. We first define a notion of bisimulation equivalence between …

Strategy representation and reasoning has recently received much attention in artificial
intelligence. Impartial combinatorial games (ICGs) are a type of elementary and fundamental …

The current work has limitations in using GDL to represent domain knowledge for Automated
Negotiations, which does not support imperfect information games in negotiation scenarios …