Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

50 Results
authFullName_s : Laurent Perrussel
Image document

Using inconsistency measures for estimating reliability

Laurence Cholvy , Laurent Perrussel , Jean-Marc Thévenin
International Journal of Approximate Reasoning, 2017, 89, pp.41-57. ⟨10.1016/j.ijar.2016.10.004⟩
Journal articles hal-01407484v1
Image document

Refinement of intentions

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao , Dongmo Zhang
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Conference papers hal-01692703v1
Image document

Elaborating domain descriptions (ECAI 2006)

Andreas Herzig , Laurent Perrussel , Ivan José Varzinczak
17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.397-401
Conference papers hal-03537160v1

Game Equivalence and Bisimulation for Game Description Language

Guifei Jiang , Laurent Perrussel , Dongmo Zhang , Heng Zhang , Yuzhi Zhang
PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, 11670 (Part 1), Springer International Publishing, pp.583-596, 2019, Lecture Notes in Computer Science book series, 978-3-030-29907-1. ⟨10.1007/978-3-030-29908-8_46⟩
Book sections hal-03594791v1
Image document

A Dynamic Logic Framework for Abstract Argumentation

Sylvie Doutre , Andreas Herzig , Laurent Perrussel
14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71
Conference papers hal-04103466v1
Image document

From Signed Information to Belief in Multi-Agent Systems

Laurent Perrussel , Emiliano Lorini , Jean Marc Thévenin
3rd International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS 2010), Aug 2010, Lyon, France
Conference papers hal-03672509v1
Image document

Trust-based belief change

Emiliano Lorini , Guifei Jiang , Laurent Perrussel
European Conference on Artificial Intelligence - ECAI 2014, Aug 2014, Prague, Czech Republic. pp. 549-554
Conference papers hal-01144907v1
Image document

Judgment Aggregation with Abstentions under Voters' Hierarchy

Guifei Jiang , Dongmo Zhang , Laurent Perrussel
17th International Conference Pacific Rim international Conference on Multi-Agents (PRIMA 2014), Dec 2014, Gold Coast, QLD, Australia. pp. 341-356
Conference papers hal-01316837v1
Image document

Strategic disclosure of opinions on a social network

Umberto Grandi , Emiliano Lorini , Arianna Novaro , Laurent Perrussel
16th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017, Sao Paulo, Brazil. pp.1196-1204
Conference papers hal-01736247v1
Image document

On hierarchical task networks

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 551-557
Conference papers hal-01692705v1
Image document

Auction Description Language (ADL): General Framework for Representing Auction-Based Markets

Munyque Mittelmann , Laurent Perrussel
24th European Conference on Artificial Intelligence (ECAI 2020), Aug 2020, Santiago de Compostela, Spain. pp.825-832, ⟨10.3233/FAIA200172⟩
Conference papers hal-03594789v1

Representing and reasoning about auctions

Munyque Mittelmann , Sylvain Bouveret , Laurent Perrussel
Autonomous Agents and Multi-Agent Systems, 2022, 36, pp.article 20. ⟨10.1007/s10458-022-09547-9⟩
Journal articles hal-03605655v1
Image document

Epistemic Reasoning About Rationality and Bids in Auctions

Munyque Mittelmann , Andreas Herzig , Laurent Perrussel
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩
Book sections hal-03573581v1
Image document

Games of Influence

Umberto Grandi , Emiliano Lorini , Arianna Novaro , Laurent Perrussel
Journal of Logic and Computation, 2021, exaa088, pp.1-29. ⟨10.1093/logcom/exaa088⟩
Journal articles hal-03117720v1
Image document

Epistemic GDL: A logic for representing and reasoning about imperfect information games

Guifei Jiang , Dongmo Zhang , Laurent Perrussel , Heng Zhang
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New-York, United States. pp.1138-1144
Conference papers hal-04109453v1
Image document

Towards Consistency-Based Reliability Assessment

Laurence Cholvy , Laurent Perrussel , William Raynaut , Jean-Marc Thévenin
14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 1643-1644
Conference papers hal-01327078v1
Image document

A Logic for Collective Choice

Guifei Jiang , Dongmo Zhang , Laurent Perrussel , Heng Zhang
14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), May 2015, Istanbul, Turkey. pp. 979-987
Conference papers hal-01327079v1

A Dynamic Logic Framework for Abstract Argumentation (CAF 2016)

Sylvie Doutre , Andreas Herzig , Laurent Perrussel
Cardiff Argumentation Forum (CAF 2016), Federico Cerutti (School of Computer Science & Informatis at Cardiff University); Francesca Toni (Department of Computing at Imperial College London), Jul 2016, Cardiff, United States
Conference papers hal-03165003v1
Image document

Refining HTN Methods via Task Insertion with Preferences

Zhanhao Xiao , Hai Wan , Hankui Hankz Zhuo , Andreas Herzig , Laurent Perrussel , et al.
Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAi 2020), Feb 2020, New York, United States. pp.10009-10016, ⟨10.1609/aaai.v34i06.6557⟩
Conference papers hal-02887591v1
Image document

Relaxing Exclusive Control in Boolean Games

Francesco Belardinelli , Umberto Grandi , Andreas Herzig , Dominique Longin , Emiliano Lorini , et al.
Electronic Proceedings in Theoretical Computer Science, 2017, Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), 251, pp.43-56. ⟨10.4204/EPTCS.251.4⟩
Journal articles hal-01625886v1
Image document

Multi-Issue Opinion Diffusion under Constraints

Sirin Botan , Umberto Grandi , Laurent Perrussel
Proceedings of the 18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), pp.828-836, 2019
Proceedings hal-02435349v1

Epistemic GDL: A logic for representing and reasoning about imperfect information games

Guifei Jiang , Dongmo Zhang , Laurent Perrussel , Heng Zhang
Artificial Intelligence, 2021, Special issue: SI: Epistemic Planning, 294, pp.103453. ⟨10.1016/j.artint.2021.103453⟩
Journal articles hal-03594780v1

Strategic Reasoning in Automated Mechanism Design

Bastien Maubert , Munyque Mittelmann , Aniello Murano , Laurent Perrussel
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2021, Hanoii, Vietnam. pp.487-496, ⟨10.24963/kr.2021/46⟩
Conference papers hal-03594785v1

Characterizing the Expressivity of Game Description Languages

Guifei Jiang , Laurent Perrussel , Dongmo Zhang , Heng Zhang , Yuzhi Zhang
PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, 11670, Springer International Publishing, pp.597-611, 2019, Lecture Notes in Computer Science book series, 978-3-030-29907-1. ⟨10.1007/978-3-030-29908-8_47⟩
Book sections hal-03594792v1
Image document

BDI logics for BDI architectures: old problems, new perspectives

Andreas Herzig , Emiliano Lorini , Laurent Perrussel , Zhanhao Xiao
KI - Künstliche Intelligenz, 2017, vol. 31 (n° 1), pp. 73-83. ⟨10.1007/s13218-016-0457-5⟩
Journal articles hal-01692711v1
Image document

Hierarchical Task Network Planning with Task Insertion and State Constraints

Zhanhao Xiao , Andreas Herzig , Laurent Perrussel , Hai Wan , Xiaoheng Su
26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.4463-4469
Conference papers hal-03658077v1

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

Munyque Mittelmann , Sylvain Bouveret , Laurent Perrussel
20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604
Conference papers hal-03298975v1
Image document

Automated Synthesis of Mechanisms

Munyque Mittelmann , Bastien Maubert , Aniello Murano , Laurent Perrussel
31st International Joint Conference on Artificial Intelligence (IJCAI-22), IJCAI Organization, Jul 2022, Vienna, Austria. pp.426-432, ⟨10.24963/ijcai.2022/61⟩
Conference papers hal-03879237v1
Image document

On iterated revision in the AGM framework

Andreas Herzig , Sébastien Konieczny , Laurent Perrussel
7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2003), Jul 2003, Aalborg, Denmark. pp.477-488, ⟨10.1007/978-3-540-45062-7_39⟩
Conference papers hal-03300685v1

On Enumerating Models for the Logic of Paradox Using Tableau

Pilar Pozos-Parra , Laurent Perrussel , Jean Marc Thévenin
Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, 11142, Springer International Publishing, pp.228-242, 2018, Lecture Notes in Computer Science book series, 978-3-030-00460-6. ⟨10.1007/978-3-030-00461-3_16⟩
Book sections hal-03594796v1