Mise en avant

AGAPE Introduction

AGAPE is an ANR PRC project which aims at designing and implementing a General Auction Player (GAP) that can interpret and reason about the rules governing an auction-based market. To reach this scope, the project aims at developing a general Auction Description Language (ADL), a logic-based language for representing the rules of an auction market, which will then allow our GAP to reason strategically in different environments. This project will provide insights on the practical feasibility of the logic-based approach to strategic reasoning.

Project starts in 2019 and will last in 2023.

Have a look at the partners and funding pages.

Recent papers

Workshop June 14, 2021

  • Introduction to the Auction Description (ADL) Language by Munyque Mittelmann
    • Details on papers
  • Demo of the Auction Server by Armen Inants
    • Git repository soon
  • Tutorial on encoding allocation problems int ADL
    • Picking sequences
    • Exchange without money
    • rent division
  • Discussion on Machine learning and bidding

Oct 20, 2020 Workshop


  • Seminar on Ontology alignment / Model checking and μ-calculus. By Armen Inants (LIG)
    • Ontology alignment: qualitative calculus, constraint-based reasoning on relations.
    • Model Checking: focus on linear time model checking complexity. 
      • Pending question: checking for an auctionneer is different from checking for a bidder
  • Discussion on Allocation mechanism and characteristics of an auction. Jerome Lang and Munyque Mittelmann
    • Auctionneer / central authority
    • Money
    • Procedures (for allocating and paying)
    • differences with matching and fair division

Kick-off Meeting


March 28, 2019 (Room ME-303)