Tutorials
Nello Murano, Munyque Mittelmann and Laurent Perrussel gave at tutorial at AAMAS 2023 on Strategic Reasoning in Automated Mechanism Design
Guifei Jiang and Laurent Perrussel gave a tutorial at IJCAI 2019 on GDL-based logics. Slides are available here.
Papers
- Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski: Fair Rent Division on a Budget Revisited. ECAI 2023: 52-59 https://ebooks.iospress.nl/doi/10.3233/FAIA230253
- Munyque Mittelmann, Aniello Murano, Laurent Perrussel: Discounting in Strategy Logic. IJCAI 2023: 225-233
- Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel: Formal Verification of Bayesian Mechanisms. AAAI 2023: 11621-11629
- Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel: Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71
- Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel: Automated Synthesis of Mechanisms. IJCAI 2022: 426-432
- Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel: Representing and reasoning about auctions. JAAMAS. 36(1): 20 (2022)
- Jatin Jindal, Jérôme Lang, Katarína Cechlárová and Julien Lesca: Selecting PhD Students and Projects with Limited Funding. AAMAS 2022: 687-695
- Reshef Meir, Jérôme Lang, Julien Lesca, Nicholas Mattei, Natan Kaminsky: A Market-Inspired Bidding Scheme for Peer Review Paper Assignment. AAAI 2021: 4776-4784
- Bastien Maubert, Munyque. Mittelmann, Aniello Murano, Laurent Perrussel: “Strategic Reasoning in Automated Mechanism Design”. KR 2021.
- Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel: “A General Framework for the Logical Representation of Combinatorial Exchange Protocols” (extended abstract). AAMAS 2021. Poster.
- Munyque Mittelmann, Andreas Herzig and Laurent Perrussel. “Epistemic Reasoning about Rationality and Bids in Auctions”. JELIA 2021.
- 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.