default search action
Laurent Perrussel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j13]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): 163-187 (2023) - [c77]Munyque Mittelmann
Formal Verification of Bayesian Mechanisms. AAAI 2023: 11621-11629 - [c76]Munyque Mittelmann, Laurent Perrussel, Sylvain Bouveret:
Representing and Reasoning about Auctions. AAMAS 2023: 1388-1390 - [c75]Munyque Mittelmann
Discounting in Strategy Logic. IJCAI 2023: 225-233 - [i8]Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Discounting in Strategy Logic. CoRR abs/2305.15256 (2023) - 2022
- [j12]Munyque Mittelmann
Representing and reasoning about auctions. Auton. Agents Multi Agent Syst. 36(1): 20 (2022) - [c74]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 - [c73]Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel:
Synthesis of Mechanisms with Strategy Logic. ICTCS 2022: 47-52 - [c72]Munyque Mittelmann, Bastien Maubert, Aniello Murano
Automated Synthesis of Mechanisms. IJCAI 2022: 426-432 - [i7]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022) - 2021
- [j11]Guifei Jiang
Epistemic GDL: A logic for representing and reasoning about imperfect information games. Artif. Intell. 294: 103453 (2021) - [j10]Umberto Grandi, Emiliano Lorini, Arianna Novaro
Games of influence. J. Log. Comput. 31(4): 1129-1157 (2021) - [c71]Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel:
A General Framework for the Logical Representation of Combinatorial Exchange Protocols. AAMAS 2021: 1602-1604 - [c70]Munyque Mittelmann
Epistemic Reasoning About Rationality and Bids in Auctions. JELIA 2021: 116-130 - [c69]Bastien Maubert, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Strategic Reasoning in Automated Mechanism Design. KR 2021: 487-496 - [i6]Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel:
A General Framework for the Logical Representation of Combinatorial Exchange Protocols. CoRR abs/2102.02061 (2021) - 2020
- [c68]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel
Refining HTN Methods via Task Insertion with Preferences. AAAI 2020: 10009-10016 - [c67]Munyque Mittelmann
Auction Description Language (ADL): General Framework for Representing Auction-Based Markets. ECAI 2020: 825-832 - [c66]Munyque Mittelmann
Game Description Logic with Integers: A GDL Numerical Extension. FoIKS 2020: 191-210 - [c65]Munyque Mittelmann, Laurent Perrussel:
An Epistemic Logic for Reasoning about Strategies in General Auctions. ICLP Workshops 2020
2010 – 2019
- 2019
- [c64]Sirin Botan, Umberto Grandi, Laurent Perrussel:
Multi-Issue Opinion Diffusion under Constraints. AAMAS 2019: 828-836 - [c63]Guifei Jiang, Laurent Perrussel
Game Equivalence and Bisimulation for Game Description Language. PRICAI (1) 2019: 583-596 - [c62]Guifei Jiang, Laurent Perrussel
Characterizing the Expressivity of Game Description Languages. PRICAI (1) 2019: 597-611 - [i5]Zhanhao Xiao, Hai Wan, Hankz Hankui Zhuo, Andreas Herzig, Laurent Perrussel, Peilin Chen:
Refining HTN Methods via Task Insertion with Preferences. CoRR abs/1911.12949 (2019) - [i4]Munyque Mittelmann, Laurent Perrussel
Game Description Logic with Integers: A GDL Numerical Extension. CoRR abs/1912.01876 (2019) - 2018
- [j9]Guifei Jiang, Dongmo Zhang, Laurent Perrussel
A Hierarchical Approach to Judgment Aggregation with Abstentions. Comput. Intell. 34(1): 104-123 (2018) - [c61]Sylvie Doutre
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. CLAR 2018: 153-185 - [c60]Maria del Pilar Pozos Parra, Laurent Perrussel
On Enumerating Models for the Logic of Paradox Using Tableau. SUM 2018: 228-242 - 2017
- [j8]Laurence Cholvy, Laurent Perrussel
Using inconsistency measures for estimating reliability. Int. J. Approx. Reason. 89: 41-57 (2017) - [j7]Andreas Herzig
BDI Logics for BDI Architectures: Old Problems, New Perspectives. Künstliche Intell. 31(1): 73-83 (2017) - [c59]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang:
Deciding Refinement Relation in Belief-Intention Databases. AI*IA 2017: 186-199 - [c58]Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel:
Strategic Disclosure of Opinions on a Social Network. AAMAS 2017: 1196-1204 - [c57]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Hai Wan, Xiaoheng Su:
Hierarchical Task Network Planning with Task Insertion and State Constraints. IJCAI 2017: 4463-4469 - [c56]Guifei Jiang, Laurent Perrussel, Dongmo Zhang:
On Axiomatization of Epistemic GDL. LORI 2017: 598-613 - [c55]Francesco Belardinelli
Relaxing Exclusive Control in Boolean Games. TARK 2017: 43-56 - 2016
- [j6]Emiliano Lorini, Laurent Perrussel, Roland Mühlenbernd
Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14). J. Log. Lang. Inf. 25(3-4): 269-271 (2016) - [c54]Umberto Grandi, Emiliano Lorini, Laurent Perrussel:
Strategic Disclosure of Opinions on a Social Network: (Extended Abstract). AAMAS 2016: 1391-1392 - [c53]Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang:
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. IJCAI 2016: 1138-1144 - [c52]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao:
On Hierarchical Task Networks. JELIA 2016: 551-557 - [c51]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang:
Refinement of Intentions. JELIA 2016: 558-563 - [i3]Umberto Grandi, Emiliano Lorini, Laurent Perrussel:
Strategic disclosure of opinions on a social network. CoRR abs/1602.02710 (2016) - 2015
- [c50]Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang:
A Logic for Collective Choice. AAMAS 2015: 979-987 - [c49]Umberto Grandi, Emiliano Lorini, Laurent Perrussel:
Propositional Opinion Diffusion. AAMAS 2015: 989-997 - [c48]Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin:
Towards Consistency-Based Reliability Assessment. AAMAS 2015: 1643-1644 - [c47]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
Knowledge Sharing in Coalitions. Australasian Conference on Artificial Intelligence 2015: 249-262 - [c46]Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean-Marc Thévenin:
Consistency-Based Reliability Assessment. ECSQARU 2015: 246-256 - [i2]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
Knowledge Sharing in Coalitions. CoRR abs/1512.01915 (2015) - 2014
- [c45]Emiliano Lorini, Guifei Jiang, Laurent Perrussel:
Trust-based belief change. ECAI 2014: 549-554 - [c44]Sylvie Doutre, Andreas Herzig, Laurent Perrussel:
A Dynamic Logic Framework for Abstract Argumentation. KR 2014 - [c43]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. PRICAI 2014: 733-746 - [c42]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
Judgment Aggregation with Abstentions under Voters' Hierarchy. PRIMA 2014: 341-356 - 2013
- [j5]Laurent Perrussel, Cory J. Butz:
Editorial: Uncertain reasoning FLAIRS 2011. Int. J. Approx. Reason. 54(8): 955 (2013) - [c41]Pilar Pozos Parra, Weiru Liu, Laurent Perrussel:
Dalal's Revision without Hamming Distance. MICAI (1) 2013: 41-53 - [i1]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Decomposing Truthful and Competitive Online Double Auctions. CoRR abs/1311.0198 (2013) - 2012
- [j4]Luis Enrique Sucar
Special section - Uncertain reasoning FLAIRS 2010. Int. J. Approx. Reason. 53(7): 927-928 (2012) - [c40]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Multi-unit Double Auction under Group Buying. ECAI 2012: 882-887 - [c39]Laurent Perrussel, Jerusa Marchi
Relevant Minimal Change in Belief Update. JELIA 2012: 333-345 - 2011
- [c38]Emiliano Lorini, Laurent Perrussel
A Modal Framework for Relating Belief and Signed Information. CLIMA 2011: 58-73 - [c37]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design. EC-Web 2011: 124-135 - [c36]Jerusa Marchi, Laurent Perrussel:
Prime Normal Forms in Belief Merging. FLAIRS 2011 - [c35]Laurent Perrussel, Cory J. Butz:
Special Track on Uncertain Reasoning. FLAIRS 2011 - [c34]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Mechanism Design for Double Auctions with Temporal Constraints. IJCAI 2011: 472-477 - [c33]Pilar Pozos Parra, Laurent Perrussel, Jean-Marc Thévenin:
Belief Merging Using Normal Forms. MICAI (1) 2011: 40-51 - 2010
- [j3]Jerusa Marchi
Prime forms and minimal change in propositional belief bases. Ann. Math. Artif. Intell. 59(1): 1-45 (2010) - [c32]Dongmo Zhang, Laurent Perrussel:
Dynamic Auction: A Tractable Auction Procedure. AAAI 2010: 935-940 - [c31]Laurent Perrussel, Jerusa Marchi
Characterizing Relevant Belief Revision Operators. Australasian Conference on Artificial Intelligence 2010: 42-51 - [c30]Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel:
Maximal Matching for Double Auction. Australasian Conference on Artificial Intelligence 2010: 516-525 - [c29]Laurent Perrussel, Emiliano Lorini, Jean-Marc Thévenin:
From Signed Information to Belief in Multi-Agent Systems. MALLOW 2010 - [c28]Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel:
Bargain over Joint Plans. PRICAI 2010: 608-613
2000 – 2009
- 2009
- [c27]Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thévenin, Dongmo Zhang:
Experimental Market Mechanism Design for Double Auction. Australasian Conference on Artificial Intelligence 2009: 1-10 - [c26]Laurent Perrussel:
Reasoning about Changes of Corpus of Documents: Reasoning on Association Rules. FLAIRS 2009 - [c25]Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt:
Prime Implicants and Belief Update. FLAIRS 2009 - 2008
- [c24]Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang:
Mechanism design for capacity allocation with price competition. ICEC 2008: 43:1-43:10 - [c23]Laurent Perrussel, Jerusa Marchi
Quantum-Based Belief Merging. IBERAMIA 2008: 21-30 - [c22]Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel:
Online Market Coordination. PRIMA 2008: 185-196 - 2007
- [c21]Laurent Perrussel, Sylvie Doutre
A Persuasion Dialog for Gaining Access to Information. ArgMAS 2007: 63-79 - [c20]Sylvie Doutre
Arguing for gaining access to information. AAMAS 2007: 20 - 2006
- [c19]Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer
Mutual enrichment through nested belief change. AAMAS 2006: 226-228 - [c18]Andreas Herzig, Laurent Perrussel, Ivan Varzinczak:
Elaborating Domain Descriptions. ECAI 2006: 397-401 - [c17]Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer:
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. ECAI 2006: 731-732 - 2005
- [j2]Laurent Perrussel, Jean-Marc Thévenin:
(dis)belief Change and Argued Feed-back Dialog. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 13(5): 511-538 (2005) - [c16]Thomas Andreas Meyer
Mediation Using m-States. ECSQARU 2005: 489-500 - [c15]Jerusa Marchi
A Syntactical Approach to Belief Update. MICAI 2005: 142-151 - 2004
- [c14]Laurent Perrussel, Jean-Marc Thévenin:
A Logical Approach for Describing (Dis)Belief Change and Message Processing. AAMAS 2004: 614-621 - [c13]Laurent Perrussel, Jean-Marc Thévenin:
(Dis)Belief Change Based on Messages Processing. CLIMA 2004: 201-217 - [c12]Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi:
A Syntactical Approach to Revision. ECAI 2004: 788-792 - [c11]Laurent Perrussel, Jean-Marc Thévenin:
(Dis)Belief Change and Feed-Back Loop. FLAIRS 2004: 856-861 - 2003
- [c10]Andreas Herzig, Sébastien Konieczny, Laurent Perrussel:
On Iterated Revision in the AGM Framework. ECSQARU 2003: 477-488 - [c9]Pierre-Jean Charrel, Laurent Perrussel, Christophe Sibertin-Blanc:
VOLYE: Viewpoint Oriented Requirement Engineering for Lyee Methodology. EJC 2003: 1-18 - [c8]Laurent Perrussel:
Revising Contextual Theories. FLAIRS 2003: 511-515 - [c7]Laurent Perrussel:
Handling Sequences of Belief Change in a Multi-agent Context. MATES 2003: 119-130 - 2002
- [j1]Laurent Perrussel, Pierre-Jean Charrel:
Inconsistent Requirements: An Argumentation View. Int. J. Artif. Intell. Tools 11(3): 303-325 (2002) - [c6]Laurent Perrussel:
First-Order Contextual Reasoning. SBIA 2002: 11-20 - 2001
- [c5]Laurent Perrussel, Pierre-Jean Charrel:
Inconsistent Requirements: An Argumentation View. ICTAI 2001: 79-86
1990 – 1999
- 1998
- [c4]Laurent Perrussel:
Contextual Reasoning. ECAI 1998: 366-367 - [c3]Laurent Perrussel, Bernard Rothenburger:
A Formalism for Convergence Measurement in a multi-viewpoint Requirement Process. EJC 1998: 191-199 - 1996
- [c2]Laurent Perrussel:
Solving conflicts produces new contexts. ISAW/Viewpoints@FSE 1996: 187-191 - 1995
- [c1]Laurent Perrussel:
Expressing Inter-Perspective Relationships: A Logical Approach. APSEC 1995: 58-63
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: