AGAPE - An Auction LanGuage for GenerAl Auction PlayErs

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.

Oct 20, 2020 Workshop

Program

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

Nov 26, 2019 workshop

First workshop – hosted at IRIT. Main focus on ADL. A short report is available here.

Recent papers

Tutorial

Guifei Jiang and Laurent Perrussel gave a tutorial at IJCAI 2019 and GDL-based logics. Slides are available here.

Papers

- Munyque Mittelmann, Laurent Perrussel: An Epistemic Logic for Reasoning about Strategies in General Auctions. ICLP Workshops 2020.
- Munyque Mittelman, Laurent Perrussel, Auction Description Language (ADL): a General Framework for Representing Auction-based Markets, ECAI 2020.
- Munyque Mittelman, Laurent Perrussel, Game Description Logic with Integers: A GDL Numerical Extension, pre-print, to be published at FoIKS 2020.
- Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang. Game Equivalence and Bisimulation for Game Description Language. PRICAI (1) 2019: 583-596. View DOI.
- Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang. Characterizing the Expressivity of Game Description Languages. PRICAI (1) 2019: 597-611. View DOI.

Kick-off Meeting

Schedule

March 28, 2019 (Room ME-303)

9.00 – 9.30 welcome
9.30 – 12.30 GDL Tutorial – Laurent Perrussel
2.00 – 3.00 Rethinking Epistemic Logic with Belief Bases: from High-Order Beliefs to Belief Aggregation – Emiliano Lorini
3.00 – 4.00 Automated reasoning in social choice – Umberto Grandi
4.00 – 5.00 Discussion

March 29, 2019 (Room ME-303)
- 9.30 – 10.30 Auction Tutorial (Single resource only) – Stéphane Airiau
- 10.30 – 11.30 Combinatorial Auctions – Sylvain Bouveret
- 11.30 – 12.30 Verification of GGP properties – Francesco Belardinelli
- 2.00 – 5.00 Discussion

Jul	AUG	Sep
	02
2020	2021	2022

Program

Tutorial

Papers

Schedule

March 28, 2019 (Room ME-303)

March 29, 2019 (Room ME-303)