Skip to Main content Skip to Navigation
Conference papers

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

Abstract : The goal of this work is to propose a framework for representing and reasoning about the rules governing a combinatorial exchange. Such a framework is at first interest as long as we want to build up digital marketplaces based on auction, a widely used mechanism for automated transactions. Hence the framework should fulfill two requirements: (i) it should enable bidders to express their bids on combinations of goods and (ii) it should allow describing the rules governing some market, namely the legal bids, the allocation and payment rules. To do so, we define a logical language in the spirit of the Game Description Language: the Combinatorial Exchange Description Language is the first language for describing combinatorial exchange in a logical framework. The contribution is twofold: first, we illustrate the general dimension by representing different kinds of protocols, and second, we show how to reason about auction properties in this machine-processable language.
Document type :
Conference papers
Complete list of metadata
Contributor : Sylvain Bouveret Connect in order to contact the contributor
Submitted on : Sunday, July 25, 2021 - 3:26:10 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:38 PM

Links full text


  • HAL Id : hal-03298975, version 1
  • ARXIV : 2102.02061


Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel. A General Framework for the Logical Representation of Combinatorial Exchange Protocols. 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604. ⟨hal-03298975⟩



Record views