Epistemic planning is the enrichment of automated planning with epistemic notions such as
knowledge and belief. In general, single-agent epistemic planning considers the following …

GDL-III, a description language for general game playing with imperfect information and
introspection, supports the specification of epistemic games. These are characterised by …

Mahjong is a traditional Chinese tile-based game with long history, and now it is world-
widely played in many different countries. An important issue on Mahjong topic is how many …

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 …

This paper presents the XML-based Video Game Description Language (XVGDL), a new
language for specifying Video games which is based on the Extensible Markup Language …

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 …

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 …

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 …

Coordination and joint ability are important problems in representation and reasoning about
multi-agent systems. Ghaderi et al. presented a formalization of joint ability of coalitions in …