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 …

When studying extensive-form games it is commonly assumed that players make their
decisions individually. One usually does not allow the possibility for the players to negotiate …

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 …

[EN] In this paper we present a new algorithm for negotiations in non-zero-sum games.
Although games have been studied extensively, most game playing algorithms have been …

As a contribution to the challenge of building game-playing AI systems, we develop and
analyse a formal language for representing and reasoning about strategies. Our logical …

Recently, it has been proposed that Game Description Language (GDL) could be used to
define negotiation domains. This would open up an entirely new, declarative, approach to …

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 …

Current auction description only can represent and reason basic auction rules in one
specific scene, while player's strategies are usually dismissed, besides, most of description …

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

A longstanding challenge is to make intelligent agents reason more abstractly and farther
ahead; in other words, to think strategically. The difficulty is that traditional approaches to …