Articles with public access mandates - Laurent PerrusselLearn more
Not available anywhere: 1
Game equivalence and expressive power of game description languages: a bisimulation approach
G Jiang, L Perrussel, D Zhang, H Zhang, Y Zhang
Journal of Logic and Computation 33 (1), 163-187, 2023
Mandates: National Natural Science Foundation of China, Agence Nationale de la Recherche
Available somewhere: 20
Epistemic GDL: A logic for representing and reasoning about imperfect information games
G Jiang, D Zhang, L Perrussel, H Zhang
25th International Joint Conference on Artificial Intelligence (IJCAI 2016 …, 2016
Mandates: National Natural Science Foundation of China
Strategic Reasoning in Automated Mechanism Design.
B Maubert, M Mittelmann, A Murano, L Perrussel
KR, 487-496, 2021
Mandates: Agence Nationale de la Recherche
Automated synthesis of mechanisms
M Mittelmann, B Maubert, A Murano, L Perrussel
31st International Joint Conference on Artificial Intelligence (IJCAI-22 …, 2022
Mandates: Agence Nationale de la Recherche, Government of Italy
Multi-issue opinion diffusion under constraints
S Botan, U Grandi, L Perrussel
Proceedings of the 18th International Joint Conference on Autonomous Agents …, 2019
Mandates: Agence Nationale de la Recherche
Hierarchical task network planning with task insertion and state constraints
Z Xiao, A Herzig, L Perrussel, H Wan, X Su
26th International Joint Conference on Artificial Intelligence (IJCAI 2017 …, 2017
Mandates: National Natural Science Foundation of China
Formal verification of bayesian mechanisms
M Mittelmann, B Maubert, A Murano, L Perrussel
Proceedings of the AAAI Conference on Artificial Intelligence 37 (10), 11621 …, 2023
Mandates: Agence Nationale de la Recherche, Government of Italy
Refining htn methods via task insertion with preferences
Z Xiao, H Wan, HH Zhuo, A Herzig, L Perrussel, P Chen
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 10009 …, 2020
Mandates: National Natural Science Foundation of China, Agence Nationale de la Recherche
Auction description language (ADL): General framework for representing auction-based markets
M Mittelmann, L Perrussel
ECAI 2020, 825-832, 2020
Mandates: Agence Nationale de la Recherche
Representing and reasoning about auctions
M Mittelmann, S Bouveret, L Perrussel
Autonomous Agents and Multi-Agent Systems 36 (1), 20, 2022
Mandates: Agence Nationale de la Recherche
Game equivalence and bisimulation for game description language
G Jiang, L Perrussel, D Zhang, H Zhang, Y Zhang
PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim …, 2019
Mandates: National Natural Science Foundation of China, Agence Nationale de la Recherche
Games of influence
U Grandi, E Lorini, A Novaro, L Perrussel
Journal of Logic and Computation 31 (4), 1129-1157, 2021
Mandates: Agence Nationale de la Recherche
An Epistemic Logic for Reasoning about Strategies in General Auctions.
M Mittelmann, L Perrussel
ICLP Workshops, 2020
Mandates: Agence Nationale de la Recherche
Game description logic with integers: A GDL numerical extension
M Mittelmann, L Perrussel
Foundations of Information and Knowledge Systems: 11th International …, 2020
Mandates: Agence Nationale de la Recherche
Knowledge sharing in coalitions
G Jiang, D Zhang, L Perrussel
Australasian Joint Conference on Artificial Intelligence, 249-262, 2015
Mandates: National Natural Science Foundation of China
Verification of Bayesian Mechanisms with Strategy Logic
M Mittelmann, B Maubert, A Murano, L Perrussel
Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA …, 2023
Mandates: European Commission, Agence Nationale de la Recherche, Government of Italy
Epistemic Reasoning About Rationality and Bids in Auctions
M Mittelmann, A Herzig, L Perrussel
European Conference on Logics in Artificial Intelligence, 116-130, 2021
Mandates: European Commission, Agence Nationale de la Recherche
Characterizing the expressivity of game description languages
G Jiang, L Perrussel, D Zhang, H Zhang, Y Zhang
PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim …, 2019
Mandates: National Natural Science Foundation of China, Agence Nationale de la Recherche
Formal verification and synthesis of mechanisms for social choice
M Mittelmann, B Maubert, A Murano, L Perrussel
Artificial Intelligence 339, 104272, 2025
Mandates: European Commission, Agence Nationale de la Recherche
Synthesis of Mechanisms with Strategy Logic (short paper)
M Mittelmann, B Maubert, A Murano, L Perrussel
23rd Italian Conference on Theoretical Computer Science (ICTCS 2022) 3284 …, 2022
Mandates: Agence Nationale de la Recherche, Government of Italy
Publication and funding information is determined automatically by a computer program