publications team

International journals articles
  • Emiliano Lorini

    A Qualitative Theory of Cognitive Attitudes and their Change

    Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2021, 21 (4), pp.428-458. ⟨10.1017/S1471068421000053⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03453908

  • Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv

    About the unification type of fusions of modal logics

    Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, College Publications, In press

    Accès: https://hal.archives-ouvertes.fr/hal-02936464

  • Philippe Balbiani, Mojtaba Mojtahedi

    Unification with parameters in the implication fragment of Classical Propositional Logic

    Logic Journal of the IGPL, Oxford University Press (OUP), 2021, ⟨10.1093/jigpal/jzab014⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03248073

  • Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel

    Games of Influence

    Journal of Logic and Computation, Oxford University Press (OUP), 2021, pp.1-29. ⟨10.1093/logcom/exaa088⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03117720

  • Andreas Herzig, Elise Perrotin

    True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations

    Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117

    Accès: https://hal.archives-ouvertes.fr/hal-03011708

  • Joseph Boudou, Andreas Herzig, Nicolas Troquard

    Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)

    Journal of Logical and Algebraic Methods in Programming, Elsevier, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03210604

  • Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier

    A Lightweight Epistemic Logic and its Application to Planning

    Artificial Intelligence, Elsevier, 2020, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03147798

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Valid attacks in argumentation frameworks with recursive attacks

    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2020, 89 (1), pp.53-101. ⟨10.1007/s10472-020-09693-4⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03016149

  • Esra Erdem, Andreas Herzig

    Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

    Electronic Proceedings in Theoretical Computer Science, EPTCS, 2020, Proceedings 36th International Conference on Logic Programming (Technical Communications), 325, pp.52-58. ⟨10.4204/EPTCS.325.11⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03012105

  • Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko

    Cognitive hierarchy and voting manipulation in k-approval voting

    Mathematical Social Sciences, Elsevier, 2020, 108, pp.193-205. ⟨10.1016/j.mathsocsci.2020.07.001⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03066890

  • National journals articles
  • Andreas Herzig, Faustine Maffre

    Planifier grâce au bavardage

    Interstices, INRIA, 2017

    Accès: https://hal.inria.fr/hal-01616344

  • National journals articles
    Special issues of journal
    International conferences articles
  • Xinghan Liu, Emiliano Lorini

    A Logic for Binary Classifiers and Their Explanation

    4th International Conferenceon Logic and Argumentation (CLAR 2021), Oct 2021, Hangzhou, China. pp.302-321, ⟨10.1007/978-3-030-89391-0_17⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03453910

  • Yannick Chevalier, Michaël Rusinowitch

    Implementing Security Protocol Monitors

    9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Sep 2021, Linz/virtual, Austria. pp.22-34, ⟨10.4204/EPTCS.342.3⟩

    Accès: https://hal.inria.fr/hal-03463789

  • Andreas Herzig, Antonio Yuste Ginel

    Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks

    Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.1922-1928, ⟨10.24963/ijcai.2021/265⟩

    Accès: https://hal-univ-tlse3.archives-ouvertes.fr/hal-03450068

  • Emiliano Lorini, Francois Schwarzentruber

    Multi-Agent Belief Base Revision

    Thirtieth International Joint Conference on Artificial Intelligence , Aug 2021, Montreal, Canada. pp.1959-1965, ⟨10.24963/ijcai.2021/270⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03453911

  • Philippe Balbiani

    Remarks about roles and entitlements

    Journées d’Intelligence Artificielle Fondamentale (JIAF 2021), Zied Bouraoui; Sylvie Doutre, Jul 2021, Bordeaux (virtual), France

    Accès: https://hal.archives-ouvertes.fr/hal-03244488

  • Philippe Balbiani, Martín Diéguez, David Fernández Duque

    Some constructive variants of S4 with the finite model property

    36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy

    Accès: https://hal.archives-ouvertes.fr/hal-03248058

  • Emiliano Lorini, François Schwarzentruber

    A Computationally Grounded Logic of Graded Belief

    17th European Conference on Logics in Artificial Intelligence (JELIA 2021), May 2021, virtual event, France. pp.245-261, ⟨10.1007/978-3-030-75775-5_17⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03453909

  • Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel

    A General Framework for the Logical Representation of Combinatorial Exchange Protocols

    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

    Accès: https://hal.archives-ouvertes.fr/hal-03298975

  • Emiliano Lorini

    A Logic of Evaluation

    20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2021, London, virtual, United Kingdom. pp.827-835

    Accès: https://hal.archives-ouvertes.fr/hal-03453914

  • Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

    A Simple Framework for Cognitive Planning

    35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China

    Accès: https://hal.archives-ouvertes.fr/hal-03091086

  • National conferences articles
  • Thomas Guyet, Philippe Besnard, Ahmed Samet, Nasreddine Ben Salha, Nicolas Lachiche

    Énumération des occurrences d’une chronique

    EGC 2020 – 20ème édition de la Conférence Extraction et Gestion des Connaissances, Jan 2020, Bruxelles, Belgique. pp.1-8

    Accès: https://hal.inria.fr/hal-02422796

  • Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex

    A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation (JIAF 2020)

    14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), AFIA, 2020, Angers, France. pp.99-108

    Accès: https://hal.archives-ouvertes.fr/hal-02889413

  • Sirin Botan, Umberto Grandi, Laurent Perrussel

    Multi-Issue Opinion Diffusion under Constraints

    18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.828-836

    Accès: https://hal.archives-ouvertes.fr/hal-02435349

  • Philippe Balbiani

    Unification in modal logic

    Indian Conference on Logic and Its Applications (ICLA), Mar 2019, Delhi, India. pp.1-5, ⟨10.1007/978-3-662-58771-3_1⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02411246v2

  • Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini

    From Individual Goals to Collective Decisions

    17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Jul 2018, Stockholm, Sweden. pp.2028-2030

    Accès: https://hal.archives-ouvertes.fr/hal-02348231

  • Frédéric Maris, Maël Valais, Julien Vianey

    Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu

    Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l’intelligence artificielle, France, Jul 2018, Nancy, France

    Accès: https://hal.inria.fr/hal-01840825

  • Mehdi Dastani, Emiliano Lorini, John-Jules Meyer, Alexander Pankov

    Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions

    20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.15-33

    Accès: https://hal.archives-ouvertes.fr/hal-02319703

  • Philippe Besnard, Sylvie Doutre, Dominique Longin

    Le système Sesame : Spécifier des sémantiques argumentatives

    Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jul 2017, Caen, France. pp.1-4

    Accès: https://hal.archives-ouvertes.fr/hal-01561521

  • Conferences articles without published proceedings
    Books
  • Théo Duchatelle

    Towards a Generic Logical Encoding for Argumentation

    Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. OHAAI : Online Handbook of Argumentation for AI, Volume 2, 2, pp.12-16, 2021

    Accès: https://hal.archives-ouvertes.fr/hal-03285723

  • Isabelle Bloch, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Amal El Fallah-Seghrouchni, Sébastien Ferré, Frédéric Maris, Alexandre Niveau, Nicolas Sabouret, Yves Demazeau, Dominique Longin

    Conférence Nationale d’Intelligence Artificielle Année 2020

    Association Française pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2020, Jun 2020, Angers, France. 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02964840

  • Jonathan Ben-Naim, Dominique Longin, Emiliano Lorini

    Formalization of Cognitive-Agent Systems, Trust, and Emotions

    A Guided Tour of Artificial Intelligence Research (Volume I: Knowledge Representation, Reasoning and Learning), Springer International Publishing, pp.629-650, 2020, ⟨10.1007/978-3-030-06164-7_19⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02892871

  • Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis

    Reasoning About Action and Change

    Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.487-518, 2020, Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_15⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03015828

  • Leila Amgoud, Philippe Besnard, Claudette Cayrol, Philippe Chatalic, Marie-Christine Lagasquie-Schiex

    Argumentation and Inconsistency-Tolerant Reasoning

    Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer International Publishing, pp.415-440, 2020, ⟨10.1007/978-3-030-06164-7_13⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02651115

  • Andreas Herzig, Philippe Besnard

    Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning

    Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03015825

  • Mickaël Lafages

    Algorithms and Tools for Abstract Argumentation

    Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. Online Handbook of Argumentation for AI (OHAAI) : Volume 1, pp.17-21, 2020

    Accès: https://hal.archives-ouvertes.fr/hal-03243486

  • Andreas Herzig, Juha Kontinen

    Foundations of Information and Knowledge Systems – 11th International Symposium, FoIKS 2020, Dortmund, 17/02/2020 – 21/02/2020

    Herzig, Andreas; Kontinen, Juha. 11th International Symposium on Foundations of Information and Knowledge Systems – FoIKS 2020, Feb 2020, Dortmund, Germany. Lecture Notes in Computer Science, 12012, Springer, pp.XVIII, 335, 2020, Information Systems and Applications, incl. Internet/Web, and HCI, 978-3-030-39950-4

    Accès: https://hal.archives-ouvertes.fr/hal-03001577

  • Zied Bouraoui, Sylvie Doutre

    Actes des 14èmes Journées d’Intelligence Artificielle Fondamentale – JIAF 2020

    14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02951644

  • Caroline Chanel, Tiago de Lima, Sylvie Doutre, Amal Elfallah-Seghrouchni, Frederick Garcia, Nathalie Hernandez, Jérôme Lang, Maxime Lefrançois, Juliette Mattioli, Emmanuel Rachelson, Olivier Simonin, Pierre Zweigenbaum, Yves Demazeau, Dominique Longin

    Conférence Nationale d’Intelligence Artificielle Année 2019

    Association Française pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2019, Jul 2019, Toulouse, France. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02458049

  • Thesis and HDR
  • Maryam Rostamigiv

    About the type of modal logics for the unification problem

    Logic in Computer Science [cs.LO]. Université Toulouse III – Paul Sabatier, 2020. English

    Accès: https://tel.archives-ouvertes.fr/tel-03341556

  • Arianna Novaro

    Collective decision-making with goals

    Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30179⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02626791

  • Maël Valais

    Traduction logique et résolution de problèmes : application à la planification

    Performance et fiabilité [cs.PF]. Université Paul Sabatier – Toulouse III, 2019. Français. ⟨NNT : 2019TOU30079⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02893759

  • Christos Rantsoudis

    Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs

    Databases [cs.DB]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30286⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02479121

  • David Fernández Duque

    Logical Dynamics

    Logic in Computer Science [cs.LO]. UT3 : Université Toulouse 3 Paul Sabatier, 2017

    Accès: https://hal-univ-tlse3.archives-ouvertes.fr/tel-03283096

  • Thesis and HDR
    Reports
  • Dominique Longin, Emiliano Lorini, Frédéric Maris

    A Logical Modeling of the Yōkai Board Game

    [Research Report] IRIT – Institut de recherche en informatique de Toulouse. 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02983253v3

  • Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Higher-Order Attacks: Labelling Semantics

    [Research Report] IRIT/RR–2020–01–FR, IRIT – Institut de recherche en informatique de Toulouse. 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02866037

  • Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Higher-Order Attacks: Complexity results

    [Research Report] IRIT/RR–2020–03–FR, Institut recherche en informatique de toulouse (IRIT). 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02865981

  • Céline Castets-Renard, Philippe Besse, Jean-Michel Loubes, Laurent Perrussel

    Encadrement des risques techniques et juridiques des activités de police prédictive

    [Rapport de recherche] Centre des Hautes Etudes du Ministère de l’Intérieur. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02190585

  • Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex

    Logical Frameworks and Abstract Argumentation: A Survey of existing works

    [Research Report] IRIT/RR–2019–01–FR, IRIT – Institut de recherche en informatique de Toulouse. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02875934

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Valid attacks in Argumentation Frameworks with Recursive Attacks (IRIT/RR–2019–02–FR)

    [Research Report] IRIT/RR–2019–02–FR, IRIT – Institut de recherche en informatique de Toulouse. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02875610

  • Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, Michel Beaudouin-Lafon, Marie-Paule Cani, François Chaumette, Gérald Conreur, Véronique Cortier, Cyril Gavoille, Guy Gogniat, Julien Gossa, Andreas Herzig, Jean Krivine, Philippe Lamarre, Françoise Lamnabhi-Lagarrigue, Anne-Catherine Letournel, Lionel Seinturier, Isabelle Tellier, Serge Torres, Charlotte Truchet, Alexandros Tsoukias, Michel Verleysen

    Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)

    [Autre] CNRS. 2018, pp.1-87

    Accès: https://hal.archives-ouvertes.fr/hal-01956087

  • Mickaël Lafages, Sylvie Doutre, Marie-Christine Lagasquie-Schiex

    Clustering and Distributed Computing in Abstract Argumentation

    [Technical Report] IRIT-2018-11, IRIT – Institut de recherche en informatique de Toulouse. 2018

    Accès: https://hal.archives-ouvertes.fr/hal-02884151v2

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports

    [Research Report] IRIT-2018-01, IRIT – Institut de recherche en informatique de Toulouse. 2018

    Accès: https://hal.archives-ouvertes.fr/hal-02884137

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Structure-based semantics of argumentation frameworks with higher-order attacks and supports

    [Research Report] IRIT-2018-05, IRIT – Institut de recherche en informatique de Toulouse. 2018

    Accès: https://hal.archives-ouvertes.fr/hal-02884147