Laurent Perrussel

103 papers A* 11A 19B 10C 8Misc 6Journal 23Unranked 26
YearRankTypeTitle / Venue / Authors
2026 A* conf
Formal Verification of Diffusion Auctions.
AAAI
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
2025 C conf
Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining (Extended Abstract).
JURIX
Christina Berghegger, César Philippe, Karla Salas-Jimenez, Jean-Guy Mailly, Leila Moudjari, Laurent Perrussel
2025 — conf
Discovering the Potential of LLMs in Annotating Legal Texts for Argument Mining.
Arg&App 2025
Christina Berghegger, César Philippe, Karla Salas-Jimenez, Jean-Guy Mailly, Leila Moudjari, Laurent Perrussel
2025 J jnl
Formal Verification of Diffusion Auctions.
CoRR
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
2025 J jnl
Formal verification and synthesis of mechanisms for social choice.
Artif. Intell.
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2023 A* conf
Discounting in Strategy Logic.
IJCAI
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2023 J jnl
Discounting in Strategy Logic.
CoRR
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2023 A* conf
Formal Verification of Bayesian Mechanisms.
AAAI
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2023 J jnl
Game equivalence and expressive power of game description languages: a bisimulation approach.
J. Log. Comput.
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
2023 A conf
Representing and Reasoning about Auctions.
AAMAS
Munyque Mittelmann, Laurent Perrussel, Sylvain Bouveret
2022 A* conf
Automated Synthesis of Mechanisms.
IJCAI
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2022 A conf
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions.
AAMAS
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022 J jnl
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions.
CoRR
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022 J jnl
Representing and reasoning about auctions.
Auton. Agents Multi Agent Syst.
Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
2022 — conf
Synthesis of Mechanisms with Strategy Logic.
ICTCS
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
2021 A conf
A General Framework for the Logical Representation of Combinatorial Exchange Protocols.
AAMAS
Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
2021 J jnl
A General Framework for the Logical Representation of Combinatorial Exchange Protocols.
CoRR
Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel
2021 J jnl
Epistemic GDL: A logic for representing and reasoning about imperfect information games.
Artif. Intell.
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
2021 B conf
Epistemic Reasoning About Rationality and Bids in Auctions.
JELIA
Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
2021 J jnl
Games of influence.
J. Log. Comput.
Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
2021 A* conf
Strategic Reasoning in Automated Mechanism Design.
KR
Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2020 — conf
An Epistemic Logic for Reasoning about Strategies in General Auctions.
ICLP Workshops
Munyque Mittelmann, Laurent Perrussel
2020 A conf
Auction Description Language (ADL): General Framework for Representing Auction-Based Markets.
ECAI
Munyque Mittelmann, Laurent Perrussel
2020 — conf
Game Description Logic with Integers: A GDL Numerical Extension.
FoIKS
Munyque Mittelmann, Laurent Perrussel
2020 A* conf
Refining HTN Methods via Task Insertion with Preferences.
AAAI
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
2019 — conf
Characterizing the Expressivity of Game Description Languages.
PRICAI (1)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
2019 J jnl
Game Description Logic with Integers: A GDL Numerical Extension.
CoRR
Munyque Mittelmann, Laurent Perrussel
2019 — conf
Game Equivalence and Bisimulation for Game Description Language.
PRICAI (1)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
2019 A conf
Multi-Issue Opinion Diffusion under Constraints.
AAMAS
Sirin Botan, Umberto Grandi, Laurent Perrussel
2019 J jnl
Refining HTN Methods via Task Insertion with Preferences.
CoRR
Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen
2018 J jnl
A Hierarchical Approach to Judgment Aggregation with Abstentions.
Comput. Intell.
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
2018 — conf
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change.
CLAR
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
2018 — conf
On Enumerating Models for the Logic of Paradox Using Tableau.
SUM
Maria del Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin
2017 J jnl
BDI Logics for BDI Architectures: Old Problems, New Perspectives.
Künstliche Intell.
Andreas Herzig, Emiliano Lorini, Laurent Perrussel, Zhanhao Xiao
2017 — conf
Deciding Refinement Relation in Belief-Intention Databases.
AI*IA
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang
2017 A* conf
Hierarchical Task Network Planning with Task Insertion and State Constraints.
IJCAI
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su
2017 — conf
On Axiomatization of Epistemic GDL.
LORI
Guifei Jiang, Laurent Perrussel, Dongmo Zhang
2017 B conf
Relaxing Exclusive Control in Boolean Games.
TARK
Francesco Belardinelli, Umberto Grandi, Andreas Herzig, Dominique Longin, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
2017 A conf
Strategic Disclosure of Opinions on a Social Network.
AAMAS
Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel
2017 J jnl
Using inconsistency measures for estimating reliability.
Int. J. Approx. Reason.
Laurence Cholvy, Laurent Perrussel, Jean-Marc Thévenin
2016 A* conf
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games.
IJCAI
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
2016 B conf
On Hierarchical Task Networks.
JELIA
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao
2016 B conf
Refinement of Intentions.
JELIA
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
2016 J jnl
Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14).
J. Log. Lang. Inf.
Emiliano Lorini, Laurent Perrussel, Roland Mühlenbernd
2016 A conf
Strategic Disclosure of Opinions on a Social Network: (Extended Abstract).
AAMAS
Umberto Grandi, Emiliano Lorini, Laurent Perrussel
2016 J jnl
Strategic disclosure of opinions on a social network.
CoRR
Umberto Grandi, Emiliano Lorini, Laurent Perrussel
2015 A conf
A Logic for Collective Choice.
AAMAS
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
2015 C conf
Consistency-Based Reliability Assessment.
ECSQARU
Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin
2015 — conf
Knowledge Sharing in Coalitions.
Australasian Conference on Artificial Intelligence
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
2015 J jnl
Knowledge Sharing in Coalitions.
CoRR
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
2015 A conf
Propositional Opinion Diffusion.
AAMAS
Umberto Grandi, Emiliano Lorini, Laurent Perrussel
2015 A conf
Towards Consistency-Based Reliability Assessment.
AAMAS
Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin
2014 A* conf
A Dynamic Logic Framework for Abstract Argumentation.
KR
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
2014 B conf
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning.
PRICAI
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
2014 B conf
Judgment Aggregation with Abstentions under Voters' Hierarchy.
PRIMA
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
2014 A conf
Trust-based belief change.
ECAI
Emiliano Lorini, Guifei Jiang, Laurent Perrussel
2013 — conf
Dalal's Revision without Hamming Distance.
MICAI (1)
Pilar Pozos Parra, Weiru Liu, Laurent Perrussel
2013 J jnl
Decomposing Truthful and Competitive Online Double Auctions.
CoRR
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
2013 J jnl
Editorial: Uncertain reasoning FLAIRS 2011.
Int. J. Approx. Reason.
Laurent Perrussel, Cory J. Butz
2012 A conf
Multi-unit Double Auction under Group Buying.
ECAI
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
2012 B conf
Relevant Minimal Change in Belief Update.
JELIA
Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang
2012 J jnl
Special section - Uncertain reasoning FLAIRS 2010.
Int. J. Approx. Reason.
Luis Enrique Sucar, Laurent Perrussel
2011 — conf
A Modal Framework for Relating Belief and Signed Information.
CLIMA
Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin
2011 — conf
Belief Merging Using Normal Forms.
MICAI (1)
Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin
2011 — conf
How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design.
EC-Web
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
2011 A* conf
Mechanism Design for Double Auctions with Temporal Constraints.
IJCAI
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
2011 Misc conf
Prime Normal Forms in Belief Merging.
FLAIRS
Jerusa Marchi, Laurent Perrussel
2011 Misc conf
Special Track on Uncertain Reasoning.
FLAIRS
Laurent Perrussel, Cory J. Butz
2010 B conf
Bargain over Joint Plans.
PRICAI
Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel
2010 — conf
Characterizing Relevant Belief Revision Operators.
Australasian Conference on Artificial Intelligence
Laurent Perrussel, Jerusa Marchi, Dongmo Zhang
2010 A* conf
Dynamic Auction: A Tractable Auction Procedure.
AAAI
Dongmo Zhang, Laurent Perrussel
2010 — conf
From Signed Information to Belief in Multi-Agent Systems.
MALLOW
Laurent Perrussel, Emiliano Lorini, Jean-Marc Thévenin
2010 — conf
Maximal Matching for Double Auction.
Australasian Conference on Artificial Intelligence
Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel
2010 J jnl
Prime forms and minimal change in propositional belief bases.
Ann. Math. Artif. Intell.
Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel
2009 — conf
Experimental Market Mechanism Design for Double Auction.
Australasian Conference on Artificial Intelligence
Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thévenin, Dongmo Zhang
2009 Misc conf
Prime Implicants and Belief Update.
FLAIRS
Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt
2009 Misc conf
Reasoning about Changes of Corpus of Documents: Reasoning on Association Rules.
FLAIRS
Laurent Perrussel
2008 C conf
Mechanism design for capacity allocation with price competition.
ICEC
Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang
2008 B conf
Online Market Coordination.
PRIMA
Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel
2008 — conf
Quantum-Based Belief Merging.
IBERAMIA
Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt
2007 — conf
A Persuasion Dialog for Gaining Access to Information.
ArgMAS
Laurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin, Peter McBurney
2007 A conf
Arguing for gaining access to information.
AAMAS
Sylvie Doutre, Peter McBurney, Laurent Perrussel, Jean-Marc Thévenin
2006 A conf
Elaborating Domain Descriptions.
ECAI
Andreas Herzig, Laurent Perrussel, Ivan Varzinczak
2006 A conf
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach.
ECAI
Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer
2006 A conf
Mutual enrichment through nested belief change.
AAMAS
Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer
2005 J jnl
(dis)belief Change and Argued Feed-back Dialog.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Laurent Perrussel, Jean-Marc Thévenin
2005 — conf
A Syntactical Approach to Belief Update.
MICAI
Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel
2005 C conf
Mediation Using m-States.
ECSQARU
Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel
2004 — conf
(Dis)Belief Change Based on Messages Processing.
CLIMA
Laurent Perrussel, Jean-Marc Thévenin
2004 Misc conf
(Dis)Belief Change and Feed-Back Loop.
FLAIRS
Laurent Perrussel, Jean-Marc Thévenin
2004 A conf
A Logical Approach for Describing (Dis)Belief Change and Message Processing.
AAMAS
Laurent Perrussel, Jean-Marc Thévenin
2004 A conf
A Syntactical Approach to Revision.
ECAI
Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi
2003 — conf
Handling Sequences of Belief Change in a Multi-agent Context.
MATES
Laurent Perrussel
2003 C conf
On Iterated Revision in the AGM Framework.
ECSQARU
Andreas Herzig, Sébastien Konieczny, Laurent Perrussel
2003 Misc conf
Revising Contextual Theories.
FLAIRS
Laurent Perrussel
2003 C conf
VOLYE: Viewpoint Oriented Requirement Engineering for Lyee Methodology.
EJC
Pierre-Jean Charrel, Laurent Perrussel, Christophe Sibertin-Blanc
2002 — conf
First-Order Contextual Reasoning.
SBIA
Laurent Perrussel
2002 J jnl
Inconsistent Requirements: An Argumentation View.
Int. J. Artif. Intell. Tools
Laurent Perrussel, Pierre-Jean Charrel
2001 B conf
Inconsistent Requirements: An Argumentation View.
ICTAI
Laurent Perrussel, Pierre-Jean Charrel
1998 C conf
A Formalism for Convergence Measurement in a multi-viewpoint Requirement Process.
EJC
Laurent Perrussel, Bernard Rothenburger
1998 A conf
Contextual Reasoning.
ECAI
Laurent Perrussel
1996 — conf
Solving conflicts produces new contexts.
ISAW/Viewpoints@FSE
Laurent Perrussel
1995 C conf
Expressing Inter-Perspective Relationships: A Logical Approach.
APSEC
Laurent Perrussel