| 2026 | AAAI | Formal Verification of Diffusion Auctions. | Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel |
| 2025 | JURIX | Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining (Extended Abstract). | Christina Berghegger, Csar Philippe, Karla Salas-Jimenez, Jean-Guy Mailly, Leila Moudjari, Laurent Perrussel |
| 2023 | AAAI | Formal Verification of Bayesian Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2023 | IJCAI | Discounting in Strategy Logic. | Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2022 | IJCAI | Automated Synthesis of Mechanisms. | Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel |
| 2021 | JELIA | Epistemic Reasoning About Rationality and Bids in Auctions. | Munyque Mittelmann, Andreas Herzig, Laurent Perrussel |
| 2021 | KR | Strategic Reasoning in Automated Mechanism Design. | Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel |
| 2020 | AAAI | Refining HTN Methods via Task Insertion with Preferences. | Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen |
| 2020 | ECAI | Auction Description Language (ADL): General Framework for Representing Auction-Based Markets. | Munyque Mittelmann, Laurent Perrussel |
| 2020 | ICLP | An Epistemic Logic for Reasoning about Strategies in General Auctions. | Munyque Mittelmann, Laurent Perrussel |
| 2019 | PRICAI | Game Equivalence and Bisimulation for Game Description Language. | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang |
| 2019 | PRICAI | Characterizing the Expressivity of Game Description Languages. | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang |
| 2017 | IJCAI | Hierarchical Task Network Planning with Task Insertion and State Constraints. | Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su |
| 2016 | IJCAI | Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. | Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang |
| 2016 | JELIA | On Hierarchical Task Networks. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao |
| 2016 | JELIA | Refinement of Intentions. | Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang |
| 2015 | ECSQARU | Consistency-Based Reliability Assessment. | Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thvenin |
| 2014 | ECAI | Trust-based belief change. | Emiliano Lorini, Guifei Jiang, Laurent Perrussel |
| 2014 | KR | A Dynamic Logic Framework for Abstract Argumentation. | Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
| 2014 | PRICAI | GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. | Guifei Jiang, Dongmo Zhang, Laurent Perrussel |
| 2014 | PRIMA | Judgment Aggregation with Abstentions under Voters' Hierarchy. | Guifei Jiang, Dongmo Zhang, Laurent Perrussel |
| 2012 | ECAI | Multi-unit Double Auction under Group Buying. | Dengji Zhao, Dongmo Zhang, Laurent Perrussel |
| 2012 | JELIA | Relevant Minimal Change in Belief Update. | Laurent Perrussel, Jerusa Marchi, Jean-Marc Thvenin, Dongmo Zhang |
| 2011 | FlAIRS | Prime Normal Forms in Belief Merging. | Jerusa Marchi, Laurent Perrussel |
| 2011 | FlAIRS | Special Track on Uncertain Reasoning. | Laurent Perrussel, Cory J. Butz |
| 2011 | IJCAI | Mechanism Design for Double Auctions with Temporal Constraints. | Dengji Zhao, Dongmo Zhang, Laurent Perrussel |
| 2010 | AAAI | Dynamic Auction: A Tractable Auction Procedure. | Dongmo Zhang, Laurent Perrussel |
| 2010 | PRICAI | Bargain over Joint Plans. | Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel |
| 2009 | FlAIRS | Reasoning about Changes of Corpus of Documents: Reasoning on Association Rules. | Laurent Perrussel |
| 2009 | FlAIRS | Prime Implicants and Belief Update. | Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt |
| 2008 | PRIMA | Online Market Coordination. | Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel |
| 2006 | ECAI | Elaborating Domain Descriptions. | Andreas Herzig, Laurent Perrussel, Ivan Varzinczak |
| 2006 | ECAI | Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. | Laurent Perrussel, Jean-Marc Thvenin, Thomas Meyer |
| 2005 | ECSQARU | Mediation Using m-States. | Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel |
| 2004 | ECAI | A Syntactical Approach to Revision. | Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi |
| 2004 | FlAIRS | (Dis)Belief Change and Feed-Back Loop. | Laurent Perrussel, Jean-Marc Thvenin |
| 2003 | ECSQARU | On Iterated Revision in the AGM Framework. | Andreas Herzig, Sbastien Konieczny, Laurent Perrussel |
| 2003 | EJC | VOLYE: Viewpoint Oriented Requirement Engineering for Lyee Methodology. | Pierre-Jean Charrel, Laurent Perrussel, Christophe Sibertin-Blanc |
| 2003 | FlAIRS | Revising Contextual Theories. | Laurent Perrussel |
| 2001 | ICTAI | Inconsistent Requirements: An Argumentation View. | Laurent Perrussel, Pierre-Jean Charrel |
| 1998 | ECAI | Contextual Reasoning. | Laurent Perrussel |
| 1998 | EJC | A Formalism for Convergence Measurement in a multi-viewpoint Requirement Process. | Laurent Perrussel, Bernard Rothenburger |
| 1995 | APSEC | Expressing Inter-Perspective Relationships: A Logical Approach. | Laurent Perrussel |