Equipe LILaC

Responsables : Umberto GRANDI
Emiliano LORINI

Les travaux de l’équipe LILaC ont pour objectif de modéliser des systèmes intelligents s’appuyant les théories et techniques issues de la représentation de connaissances, logiques, théorie des jeux, argumentation et techniques de vérification. L’équipe LILaC conduit des projets et recherche dans les domaines suivants :

Modélisation de concepts pour la cognition et l’interaction (états mentaux, action, dynamique des croyances, argumentation, émotions, etc.).
Conception de modèles formels pour la sécurité des protocoles et la composition fiable de services.
Formalisation du raisonnement, l’inférence et la démonstration automatique, enrichissement sémantique des données.
Représentation et analyse des phénomènes sociaux, diffusion d’opinion, étude du raisonnement dans les simulations, etc.

Membres permanents

Stergos AFANTENOSMaître de Conférences – UT3
Philippe BALBIANIDirecteur de Recherche – CNRS
Jonathan BEN-NAIMChargé de Recherche – CNRS
Yannick CHEVALIERMaître de Conférences (HDR) – UT3
Sylvie DOUTREMaître de Conférences – UT Capitole
Luis FARIÑAS DEL CERRODirecteur de Recherche Emérite (HDR) – CNRS
Guillaume FEUILLADEMaître de Conférences – UT3
Olivier GASQUETProfesseur – UT3
Umberto GRANDIProfesseur – UT Capitole
Andreas HERZIGDirecteur de Recherche – CNRS
Dominique LONGINChargé de Recherche (HDR) – CNRS
Emiliano LORINIDirecteur de Recherche – CNRS
Laurent PERRUSSELProfesseur – UT Capitole
Jean-Marc THÉVENINMaître de Conférences – UT Capitole
Hans VAN DITMARSCHDirecteur de Recherche – CNRS

Membres non – permanents

Carlos AGUILERA VENTURADoctorant – UT3
Jérémy BOUCHÉ-PILLONDoctorant – Toulouse INP (co-encadrement MELODI, ADRIA)
Clément CONTETDoctorant – UT3 (co-encadrement ADRIA)
Pierre CUQUELDoctorant – UT3 (co-encadrement STORM)
Théo DUCHATELLEDoctorant – UT3 (co-encadrement ADRIA)
Thorsten ENGESSERChercheur Contractuel – UT3 (co-encadrement ADRIA)
Mariana GOMES DA MOTTA MACEDOChercheur Contractuel – UT Capitole
Quentin GOUGEONDoctorant – UT3
Christel GRIMAUDChercheur Contractuel – UT3
Laurent MARSANEnseignant-chercheur MAST – UT Capitole
Mauricio MARTELChercheur Contractuel – CNRS
Sophie MARTINEZEnseignant-chercheur MAST – UT Capitole
Van Duy NGODoctorant – UT3 (co-encadrement MELODI)
Timothy PARKERDoctorant – UT3
Antonio YUSTE GINELChercheur Contractuel – CNRS

Membres extérieur

Cigdem GENCER BALBIANIEnseignant-chercheur Associé – Autre
Cesar HIDALGOEnseignant-chercheur Associé – ANITI UFT
Aditya KARDoctorant associé – CNRS
Philipp KOCHDoctorant associé – Autre tutelle
Carlos NAVARRETE LIZAMADoctorant associé – ANITI UFT

Articles dans des revues internationales

Philippe Balbiani, Çiğdem Gencer

Undecidability of admissibility in the product of two Alt logics

Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩

Accès: https://hal.science/hal-04307720

Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets

Impure Simplicial Complexes: Complete Axiomatization

Logical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:3)2023⟩

Accès: https://hal.science/hal-04248222

Philippe Balbiani, Quentin Gougeon

Projective relative unification through duality

Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad058⟩

Accès: https://hal.science/hal-04277724

Quentin Gougeon, Philippe Balbiani

Projective relative unification through duality

Journal of Logic and Computation, 2023, pp.1–21. ⟨10.1093/logcom/exad058⟩

Accès: https://hal.science/hal-04307724

Armando Castañeda, Hans van Ditmarsch, David Rosenblueth, Diego Velázquez

Communication Pattern Logic: Epistemic and Topological Views

Journal of Philosophical Logic, 2023, 52 (5), pp.1445-1473. ⟨10.1007/s10992-023-09713-8⟩

Accès: https://hal.science/hal-04238181

Sylvie Doutre, Marie-Christine Lagasquie-Schiex

RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks

Journal of Applied Non-Classical Logics, 2023, Logic, arguments, inconsistencies: festschrift in honour of Philippe Besnard, 33 (3-4), pp.244-297. ⟨10.1080/11663081.2023.2244715⟩

Accès: https://ut3-toulouseinp.hal.science/hal-04184838

Quentin Gougeon

Some completeness results in derivational modal logic

Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad047⟩

Accès: https://hal.science/hal-04244926

Hans van Ditmarsch

To be announced

Information and Computation, 2023, 292, pp.105026. ⟨10.1016/j.ic.2023.105026⟩

Accès: https://hal.science/hal-04237920

Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

Generic logical encoding for argumentation

Journal of Logic and Computation, 2023, 33 (3), pp.623-704. ⟨10.1093/logcom/exac039⟩

Accès: https://ut3-toulouseinp.hal.science/hal-03746630

Xinghan Liu, Emiliano Lorini

A Unified Logical Framework for Explanations in Classifier Systems

Journal of Logic and Computation, 2023, 33 (2), pp.485-515. ⟨10.1093/logcom/exac102⟩

Accès: https://hal.science/hal-03873200

Articles dans des revues nationales

Andreas Herzig, Faustine Maffre

Planifier grâce au bavardage

Interstices, 2017

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

Dominique Longin, Emiliano Lorini

L’équipe LILaC et l’IA

Bulletin de l’Association Française pour l’Intelligence Artificielle, 2017, Dossier “Equipes de recherche en IA”, 97

Accès: https://hal.science/hal-03128354

Articles dans des revues nationales

Philippe Besnard, Eric Grégoire, Badran Raddaoui
Un système argumentatif pour le raisonnement sur des ressources limitées
Dans : Revue d’Intelligence Artificielle (RIA), Lavoisier, Vol. 29, N. 3-4, p. 349-368, 2015.
Résumé Accès : https://doi.org/10.3166/RIA.29.349-368 – https://oatao.univ-toulouse.fr/22246/
BibTeX
Carole Adam, Dominique Longin
La honte : quand émotion et raisonnement sont liés
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Affects, compagnons artificiels et interactions, Vol. 28, N. 1, p. 43-66, 2014.
Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2014_Adam-Longin_shame_RIA.pdf – https://oatao.univ-toulouse.fr/12811/
BibTeX
Philippe Besnard, Eric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d’arguments et de contre-arguments fondé sur les noyaux inconsistants
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, p. 209-224, 2012.
BibTeX
Luis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles déquilibre
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Raisonnement non monotone, QBF et programmation par ensembles réponses, Hommage à Pascal Nicolas (ed. J. Lang et P. Marquis), Vol. 26, N. 1-2, p. 1-15, mars 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeX
Fabien Poulard, Nicolas Hernandez, Stergos Afantenos, Béatrice Daille
Évaluation de descripteurs statistiques et linguistiques pour la détection de dérivation de texte
Dans : Document numérique, Hermès, Vol. 13, N. 3, p. 69-93, 2010.
Résumé Accès : http://dn.revuesonline.com/article.jsp?articleId=15721
BibTeX
Nicholas Asher, Laurent Prévot, Laure Vieu
Setting the Background in Discourse
Dans : Discours(e), revues.org, Vol. 1, (en ligne), 2007.
Résumé Accès : http://discours.revues.org/index301.html
BibTeX
Carole Adam, Andreas Herzig, Dominique Longin
PLEIAD, un agent émotionnel pour évaluer la typologie OCC
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Numéro spécial Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, p. 781-811, 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/2007_Adam_et_al_RIA.pdf
BibTeX
Mario Borillo
Les processus créatifs à l’épreuve des sciences et technologies de la création
Dans : Terminal, L’Harmattan, Vol. IV, N. 93 – 94, p. 168-175, janvier 2006.
Résumé
BibTeX
Mario Borillo
Repères pour l’image informatique
Dans : Terminal, L’Harmattan, Vol. IV, N. 93-94, p. 165-168, janvier 2006.
Résumé
BibTeX
Dominique Longin
Des raisons qu’ont certains actes à être indirects
Dans : Psychologie de l’Interaction, Editions L’Harmattan, Paris, France, Numéro spécial Langage et Cognition : contraintes pragmatiques, Vol. 21-22, p. 237-258, 2006.
Résumé Accès : http://www.irit.fr/publis/LILAC/Journaux_nationaux/2006_Longin_Psychologie-de-l-interaction.pdf
BibTeX

Rédaction de numéros spéciaux de revues

Emiliano Lorini, Roland Muehlenbernd, Laurent Perrussel
Information Dynamics in Artificial Societies
Dans : Journal of Logic, Language and Information, Springer, Vol. 25 N. 3-4, 2016.
BibTeX
Laurent Perrussel, Cory Butz
Special section: Uncertain Reasoning at FLAIRS 2011
Dans : International Journal of Approximate Reasoning, Elsevier, Vol. 54 N. 8, octobre 2013.
Accès : http://www.sciencedirect.com/science/journal/0888613X/54/8
BibTeX
Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe Van Der Hoek
Special issue on Logic and the Foundations of the Theory of Games and Decisions (LOFT9)
Dans : Internatinal Journal of Game theory, Springer, Vol. 42 N. 3, août 2013.
Accès : http://link.springer.com/journal/182/42/3/page/1
BibTeX
Laurent Perrussel, Luis Enrique Sucar
Selected Papers Uncertain Reasoning at FLAIRS 2010
Dans : International Journal of Approximate Reasoning, Elsevier, Vol. 53 N. 7, octobre 2012.
Accès : http://dx.doi.org/10.1016/j.ijar.2012.07.001
BibTeX
Giacomo Bonanno, Andreas Herzig, Jérôme Lang, Wiebe Van Der Hoek
Logical Aspects of Game Theory (LOFT 2010)
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 21 N. 3-4, novembre 2011.
Accès : http://jancl.e-revues.com/resnum.jsp?editionId=1605
BibTeX
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Special Issue 20th Anniversary – Part 2
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 20 N. 4, 2011.
BibTeX
Philippe Balbiani
Special Issue 20th Anniversary – Part 1
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 20 N. 3, 2011.
BibTeX
Emiliano Lorini, Laure Vieu
Special issue on theories of information dynamics and interaction and their application to dialogue
Dans : Synthese, Springer, Vol. 183 N. Suppl. 1, 2011.
BibTeX
Andreas Herzig, Emiliano Lorini
Editorial Introduction: Logical Methods for Social Concepts
Dans : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 40 N. 4, 2011.
Accès : http://www.springerlink.com/content/x1453u7n38075007/fulltext.pdf
BibTeX
Frank Van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi
Commonsense Reasoning for the Semantic Web
Dans : Annals of Mathematics and Artificial Intelligence, Springer, Vol. 58 N. 1-2, octobre 2010.
Accès : http://www.springerlink.com/content/1012-2443/58/1-2/
BibTeX

Conférences et workshops internationaux avec actes édités et comité de lecture

Timothy Parker, Umberto Grandi, Emiliano Lorini

Anticipating Responsibility in Multiagent Planning

26th European Conference on Artificial Intelligence (ECAI 2023), Oct 2023, Crakow, Poland. ⟨10.3233/faia230474⟩

Accès: https://hal.science/hal-04301766

Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski

Fair Rent Division on a Budget Revisited

26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩

Accès: https://hal.science/hal-04261690

Tiago De Lima, Emiliano Lorini, François Schwarzentruber

Base-Based Model Checking for Multi-agent only Believing

18th European Conference on Logics in Artificial Intelligence ( JELIA 2023), Sep 2023, Dresden, Germany. pp.437-445, ⟨10.1007/978-3-031-43619-2_30⟩

Accès: https://univ-artois.hal.science/hal-04268823

Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini

Counterfactual Reasoning via Grounded Distance

20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩

Accès: https://hal.science/hal-04307012

Rachael Colley, Umberto Grandi, César Hidalgo, Mariana Macedo, Carlos Navarrete Lizama

Measuring and Controlling Divisiveness in Rank Aggregation

32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Aug 2023, Macau, China. pp.2616-2623, ⟨10.24963/ijcai.2023/291⟩

Accès: https://hal.science/hal-04301819

Umberto Grandi, Emiliano Lorini, Timothy Parker

Moral Planning Agents with LTL Values

32nd International Joint Conference on Artificial Intelligence (IJCAI 2023 ), International Joint Conferences on Artifical Intelligence (IJCAI), Aug 2023, Macau, China. pp.418-426, ⟨10.24963/ijcai.2023/47⟩

Accès: https://hal.science/hal-04301827

Emiliano Lorini

A Rule-Based Modal View of Causal Reasoning

32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Aug 2023, Macau, China. pp.3286-3295, ⟨10.24963/ijcai.2023/366⟩

Accès: https://hal.science/hal-04308847

Nathalie Aussenac-Gilles, Jérémy Bouché-Pillon, Pascale Zaraté, Yannick Chevallier, Pierre-Ves Gicquel

Éléments d’état de l’art sur l’extraction et la modélisation de règles formelles à partir de textes légaux

34es Journées francophones d’Ingénierie des Connaissances (IC 2023) @ PFIA 2023, Collège SIC (Science de l’Ingénierie des Connaissances) de l’AFIA, Jul 2023, Strasbourg, France. pp.79-84

Accès: https://hal.science/hal-04153047

David Fernández-Duque, Quentin Gougeon

Fixed Point Logics on Hemimetric Spaces

38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître

Accès: https://hal.science/hal-04076518

Umberto Grandi, Lawqueen Kanesh, Grzegorz Lisowski, Ramanujan Sridharan, Paolo Turrini

Identifying and Eliminating Majority Illusion in Social Networks

AAAI Conference on Artificial Intelligence (AAAI 2023), AAAI: Association for the Advancement of Artificial Intelligence, Feb 2023, Washington DC, United States. pp.5062-5069, ⟨10.1609/aaai.v37i4.25634⟩

Accès: https://hal.science/hal-04301788

Conférences et workshops nationaux avec actes édités et comité de lecture

Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

Classes of Explanations for the Verification Problem in Abstract Argumentation

Journées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l’intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10

Accès: https://ut3-toulouseinp.hal.science/hal-04192609

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

An Implemented System for Cognitive Planning

Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4

Accès: https://ut3-toulouseinp.hal.science/hal-03763068

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://inria.hal.science/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.science/hal-02889413

Philippe Balbiani

Unification in modal logic

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

Accès: https://hal.science/hal-02411246v2

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://inria.hal.science/hal-01840825

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

Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions (PRIMA 2017)

20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.15-33, ⟨10.1007/978-3-319-69131-2_2⟩

Accès: https://hal.science/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 (APIA 2017), Jul 2017, Caen, France. pp.1-4

Accès: https://hal.science/hal-01561521

Conférences sans actes publiés

Philippe Balbiani
Solving equations in pure double Boolean algebras
Dans : The 30th International Workshop on Unification, Porto, Portugal, 26/06/16-26/06/16, Silvio Ghilardi, Manfred Schmidt-Schauss (Eds.).
Résumé
BibTeX
Philippe Balbiani
Formal concept analysis: from formal contexts to modal logics and return
Dans : Mini-Workshop on Modal Logic and its Applications, Istanbul, Turquie, 30/09/16-01/10/16 (conférencier invité), Berna Kilinç, Aybuke Özgün (Eds.).
BibTeX
Philippe Balbiani
An Introduction to Subset Space Logics
Dans : Mini-Workshop on Modal Logic and its Applications, Istanbul, Turquie, 30/09/16-01/10/16 (conférencier invité), Berna Kilinç, Aybuke Özgün (Eds.).
BibTeX
Philippe Balbiani
Some remarks about intuitionistic modal logics
Dans : Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev, Gyolechitsa, Bulgaria, 07/10/16-09/10/16 (conférencier invité), Stella Nikolova, Alexandra Soskova, Tinko Tinchev (Eds.).
BibTeX
Philippe Balbiani
Solving logical equations
Dans : Workshop on Modal Logic and its Applications in Computer Science, Tehran, Iran, 18/09/16-22/09/16, Majid Alizadeh, Mohammad Ardeshir, Hans Van Ditmarsch, Mehrnoosh Sadrzadeh (Eds.).
BibTeX
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation
Dans : Cardiff Argumentation Forum (CAF2016, http://www.cs.cf.ac.uk/caf2016), Cardiff, 06/07/16-07/07/16 (conférencier invité).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Caf16.html
BibTeX
Hans Van Ditmarsch, Davide Grossi, Andreas Herzig, Wiebe Van Der Hoek, Louwe B. Kuijer
Parameters for Epistemic Gossip Problems
Dans : 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT12), Maastricht, 20/07/16-22/07/16, Wiebe van der Hoek, Giacomo Bonanno (Eds.).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Loft16.pdf
BibTeX
Sylvie Doutre, Jean-Guy Mailly
How Different Are Two Argumentation Semantics?
Dans : Journées d’Intelligence Artificielle Fondamentale (JIAF), Montpellier, 15/06/16-17/06/16.
Accès : https://www.supagro.fr/jfpc_jiaf_2016/Articles.IAF.2016/Doutre_IAF_2016.pdf
BibTeX
Andreas Herzig, Emiliano Lorini, Faustine Maffre
Une logique épistémique modeste basée sur les observations d’ordre supérieur
Dans : Actes des 9es Journées d’Intelligence Artificielle Fondamentale (IAF 2015), Rennes, 29/07/15-31/07/15.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Iaf15.pdf
BibTeX
Paolo Galeazzi, Emiliano Lorini
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
Dans : Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2014), Bergen, 27/07/14-30/07/14.
BibTeX

Livres (monographies)

Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, Sandra Bringay, Romaric Gaudel, Charlotte Laclau, Christelle Launois, Maxime Morge, Catherine Roussey, François Schwarzentruber, Cassia Trojahn, Élise Vareilles, Anaelle Wilczynski

Conférence Nationale d’Intelligence Artificielle (CNIA) Année 2023 : Activité AFIA 1er août 2021 – 31 juillet 2023

Association Française pour l’Intelligence Artificielle, pp.XLVI, 1–123, 2023

Accès: https://ut3-toulouseinp.hal.science/hal-04310171

Thomas Guyet, Philippe Besnard

Chronicles: Formalization of a Temporal Model

Springer International Publishing, pp.121, 2023, SpringerBriefs in Computer Science (BRIEFSCOMPUTER), 978-3-031-33692-8. ⟨10.1007/978-3-031-33693-5⟩

Accès: https://inria.hal.science/hal-04173959

Andreas Herzig, Antonio Yuste-Ginel

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩

Accès: https://hal.science/hal-03573580

Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner

Enforcement in Formal Argumentation

Dov Gabbay; Massimiliano Giacomin; Guillermo Simari; Matthias Thimm. Handbook of Formal Argumentation, Volume 2, 2, College Publications, 2021, 978-1-84890-336-4

Accès: https://hal.science/hal-03541725

Munyque Mittelmann, Andreas Herzig, Laurent Perrussel

Epistemic Reasoning About Rationality and Bids in Auctions

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⟩

Accès: https://hal.science/hal-03573581

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.science/hal-03285723

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.science/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.science/hal-03015825

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.science/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.science/hal-03015828

Thèses et habilitations

Jorge Luis Fernandez Davila

Logic-based Cognitive Planning : from theory to implementation

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

Accès: https://theses.hal.science/tel-04136582

Munyque Mittelmann

Logics for Representation and Design of Auctions

Multiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩

Accès: https://hal.science/tel-04086849

Saúl Fernández González

Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures

Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30269⟩

Accès: https://theses.hal.science/tel-03683355

Mickaël Lafages

Algorithms for enriched abstract argumentation frameworks for large-scale cases

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

Accès: https://theses.hal.science/tel-03664752

Dmitry Levshun

Models, algorithms and methodology for design of microcontroller-based physical security systems protected from cyber-physical attacks

Cryptography and Security [cs.CR]. Université Paul Sabatier – Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30252⟩

Accès: https://theses.hal.science/tel-03699663

Elise Perrotin-Boithias

Lightweight approaches to reasoning about knowledge and belief

Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30265⟩

Accès: https://theses.hal.science/tel-03683642

Umberto Grandi

Interactive, Strategic, and Expressive Social Choice

Computer Science [cs]. Université Toulouse 1 Capitole, 2021

Accès: https://hal.science/tel-03965349

Julien Vianey

Reasoning about concurrent actions and its applications to epistemic and temporal planning

Networking and Internet Architecture [cs.NI]. Université Paul Sabatier – Toulouse III, 2020. English. ⟨NNT : 2020TOU30317⟩

Accès: https://theses.hal.science/tel-03533234

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. ⟨NNT : ⟩

Accès: https://theses.hal.science/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://theses.hal.science/tel-02626791

Rapports

Yannick Chevalier

Theory Synthesis based on Experience

[Research Report] IRIT/RR–2022–08–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022

Accès: https://ut3-toulouseinp.hal.science/hal-03829757v2

Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

Classes of Explanations for the Verification Problem in Abstract Argumentation

IRIT/RR–2022–09–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022

Accès: https://ut3-toulouseinp.hal.science/hal-04016550

Sylvie Doutre, Marie-Christine Lagasquie-Schiex

RAFDivider

[Research Report] IRIT/RR–2022–07–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-48

Accès: https://ut3-toulouseinp.hal.science/hal-03719439

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

AFDivider : Manual and Documentation

[Research Report] IRIT/RR–2022–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-45

Accès: https://ut3-toulouseinp.hal.science/hal-03701260

Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

Question-Based Explainability in Abstract Argumentation

[Research Report] IRIT/RR–2022–01–FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2022, pp.1-64

Accès: https://ut3-toulouseinp.hal.science/hal-03647896

Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

Explainability of Extension-Based Semantics

[Research Report] IRIT/RR–2022–05–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022, pp.1-20

Accès: https://ut3-toulouseinp.hal.science/hal-03657060

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.science/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.science/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.science/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.science/hal-02190585

Acronyme	Titre	Resp. sc	Début – fin
ALoRS	Action, Logique, Raisonnement et Spiking networks	Dominique LONGIN	2022 – 2025
AT2TA	Analogies: from Theory to Tools and Applications	Stergos AFANTENOS	2023 – 2026
epiRL	Apprentissage par renforcement épistémique	Emiliano LORINI	2023 – 2027
AGAPE [Contrat terminé]	An Action LanGuage for GenerAl Auction PlayErs	Laurent PERRUSSEL	2018 – 2022
CoPains [Contrat terminé]	Planification Cognitive dans la Communication Persuasive Multimodale	Emiliano LORINI	2018 – 2023
SCONE [Contrat terminé]	Social Choice and Social Networks	Umberto GRANDI	2018 – 2021
EmoTES [Contrat terminé]	Les émotions dans l’interaction sociale : théorie, experimentations, étude logique et informatique	Emiliano LORINI	2012 – 2014
DynRes [Contrat terminé]	Ressources dynamiques : séparation et mise à jour	Andreas HERZIG	2011 – 2014
TIES [Contrat terminé]	Social ties in economics : experiments and theory	Emiliano LORINI	2011 – 2014

Acronyme	Titre	Resp. sc	Début – fin
TAILOR [Contrat terminé]	Foundations of Trustworthy AI – Integrating Reasoning, Learning and Optimization	Andreas HERZIG	2020 – 2023
Logique Mathématique [Contrat terminé]	CLE :Logique mathématique et informatique appliquées à la modélisation de la décision cellulaire	Luis FARIÑAS DEL CERRO	2013 – 2016
SINTELNET [Contrat terminé]	European Network for Social Intelligence	Andreas HERZIG	2011 – 2014

Mercredi 13 Décembre 2023, 10h00

Argumentation, Logique et Explicabilité

Théo DUCHATELLE – Equipe LILaC, Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#these

Mercredi 13 Décembre 2023, 10h00

Argumentation, Logique et Explicabilité

Théo DUCHATELLE – Equipe LILaC, Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#these

Jeudi 23 Novembre 2023, 14h00

Démêler la division et la polarisation des citoyens lors des élections

Carlos NAVARRETE LIZAMA – Equipe LILaC, IRIT UT1 Capitole, En visioconférence

#these

Lundi 9 Octobre 2023, 10h00

A Logical Investigation of Explainable AI

Xinghan LIU – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#these

Lundi 26 Juin 2023, 10h00

Expressive and Rational Delegations in Voting

Rachael COLLEY – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses

#these

Vendredi 23 Septembre 2022, 10h00

Logic-based Cognitive Planning: from Theory to Implementation

Jorge Luis FERNANDEZ DAVILA – Equipe ADRIA, Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#these

Jeudi 1 Septembre 2022, 10h00

Logiques pour la Représentation et la Conception d’Enchères

Munyque MITTELMANN – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses

#these

Mercredi 15 Décembre 2021, 10h00

Algorithmique des systèmes d’argumentation abstraits enrichis, en vue du passage à l’échelle

Mickaël LAFAGES – Equipe ADRIA, Equipe LILaC, IRIT UT1 Capitole, En visioconférence

#these

Mercredi 15 Décembre 2021, 10h00

Logics for social networks: asynchronous announcements in orthogonal structuress

Saul FERNANDEZ GONZALEZ – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses

#these

Lundi 11 Octobre 2021, 14h00

Lightweight approaches to reasoning about knowledge and belief

Elise PERROTIN – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#these

Mardi 15 Décembre 2020, 10h00

Reasoning about concurrent actions and its applications to epistemic and temporal planning

Julien VIANEY – Equipe LILaC, Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand et en visioconférence

#these

Mercredi 3 Novembre 2021 – Vendredi 5 Novembre 2021

ADT-2021 : 7th International Conference on Algorithmic Decision Theory

UT1 Capitole

#congres En savoir plus

Mercredi 17 Juillet 2019 – Vendredi 19 Juillet 2019

TARK 2019 : 17th conference of the Theoretical Aspects of Rationality and Knowledge

UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#congres En savoir plus

Lundi 1 Juillet 2019 – Vendredi 5 Juillet 2019

PFIA 2019 : Plate-Forme Intelligence Artificielle

UT1 Capitole

#congres En savoir plus

Mardi 10 Avril 2018 – Jeudi 12 Avril 2018

AMANDE – Argument Strength 2018

UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#congres En savoir plus

Lundi 17 Juillet 2017 – Vendredi 28 Juillet 2017

29th European Summer School in Logic, Language, and Information

UT1 Capitole, Campus de l’Arsenal

#congres En savoir plus

Mercredi 22 Juin 2016 – Vendredi 24 Juin 2016

Sixth International Workshop on Computational Social Choice

UT1 Capitole, Manufacture des Tabacs, Salle des thèses

#congres En savoir plus

Lundi 20 Juin 2016 – Mardi 21 Juin 2016

NAG 2016 : Norms, Actions, Games

Institute for advanced study in Toulouse (IAST)

#congres En savoir plus

Mercredi 15 Février 2023, 10h00 – 11h30

Pharo : a powerful language for complex projects

Stéphane DUCASSE – DR Inria Lille-Europe, chef de l’équipe-projet RMoD (France) UT3 Paul Sabatier, IRIT, Salle des Thèses

#seminaire

Mercredi 13 Mars 2019, 12h30 – 13h30

From the Stability of formal concepts to minimal transversals: fundamentals and applicative cases

Sadok BEN YAHIA – Université de Tunis (Tunisie) Manufacture des tabacs, [Salle à définir]

#seminaire

Mercredi 13 Septembre 2017, 12h30 – 14h00

Les subventions européennes pour répondre aux défis sociétaux, à la recherche scientifique et à l’éducation

Cécile SAUVAGE – FEDACOVA (Espagne) UT1 Capitole, Manufacture des Tabacs, Salle des thèses

#seminaire

Jeudi 16 Mars 2017, 14h30 – 15h30

Interactions as Social Practices: towards a formalization

Virginia And Frank DIGNUM – Delft University of Technology / Utrecht University (Pays-Bas) UT3 Paul Sabatier, IRIT, Salle 001

#seminaire

Vendredi 10 Mars 2017, 14h30 – 16h00

The role of formal approaches in machine learning

Mathieu SERRURIER – Equipe ADRIA – IRIT (France) IRIT, Salle 175

#seminaire

Vendredi 3 Mars 2017, 14h00 – 15h30

Graph aggregation

Umberto GRANDI – Equipe LILaC – IRIT (France) IRIT, Salle 175

#seminaire

Vendredi 3 Mars 2017, 11h00 – 12h30

Distributional Semantics and Sentence Comprehension: The Case of Logical Metonymy

Alessandro LENCI – University of Pisa (Italie) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#seminaire

Jeudi 2 Mars 2017, 14h00 – 15h30

The (Parameterized) Complexity of (Positional) Games

Abdallah SAFFIDINE – The University of New South Wales (Australie) IRIT, Salle 175

#seminaire

Lundi 27 Février 2017, 12h30 – 14h00

Social Planning – Reasoning with and about others

Timothy MILLER – University of Melbourne (Australie) UT1 Capitole, Manufacture des Tabacs, Salle ME303

#seminaire

Lundi 12 Décembre 2016, 12h30 – 14h00

How to rapidly share knowledge by gossiping

Faustine MAFFRE – Equipe LILaC – IRIT (France) UT1 Capitole, Manufacture des Tabacs, Salle ME302

#seminaire

Jeudi 15 Juillet 2021, 15h00

Interactive, Strategic, and Expressive Social Choice

Umberto GRANDI – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses

#hdr

Mardi 21 Novembre 2017, 14h00

Logical Dynamics

David FERNANDEZ DUQUE – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#hdr

Mercredi 22 Juin 2016, 14h30

Cognitive Agents in Interaction: a formal approach

Emiliano LORINI – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses

#hdr

Vendredi 27 Mars 2015, 10h00

Modélisation de concepts pour les agents cognitifs

Dominique LONGIN – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand

#hdr

Mercredi 10 Juin 2020 – Vendredi 12 Juin 2020

REPOUSSÉS À JUIN 2021 | GAMA Days 2020

Toulouse

#journee

Mercredi 29 Novembre 2017

Workshop on AI Planning in Games

UT3 Paul Sabatier, IRIT, Salle des Thèses

#journee

Vendredi 27 Février 2015 – Samedi 28 Février 2015

Semantics Workshop

UT1 Capitole, Manufacture des Tabacs, Bât Q, Espace ouvert

#journee

Equipe LILaC

Compétences

personnel de l’équipe

publications de l’équipe

contrats de l’équipe