Laurent Perrussel

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 47

Top Topics

Description Languages

Hierarchical Task Network

Epistemic Logic

Top Venues

Publications

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