Laurent Perrussel

103 papers A* 11A 19B 10C 8Misc 6Journal 23Unranked 26

Year	Rank	Type	Title / 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