Publications - LILaC team

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-04184838v1

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-04244926v1

National journals articles

Andreas Herzig, Faustine Maffre

Planifier grâce au bavardage

Interstices, 2017

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

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-03128354v1

National journals articles

Philippe Besnard, Eric Grégoire, Badran Raddaoui

Un système argumentatif pour le raisonnement sur des ressources limitées

In : Revue d’Intelligence Artificielle (RIA), Lavoisier, Vol. 29, N. 3-4, pp. 349-368, 2015.

Abstract URL : 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

In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Affects, compagnons artificiels et interactions, Vol. 28, N. 1, pp. 43-66, 2014.

URL : https://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

In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, pp. 209-224, 2012.

BibTeX
Luis Fariñas del Cerro, Andreas Herzig

La logique modale des modèles déquilibre

In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Raisonnement non monotone, QBF et programmation par ensembles réponses, Hommage à Pascal Nicolas (ed. J. Lang et P. Marquis), Vol. 26, N. 1-2, pp. 1-15, March 2012.

URL : https://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

In : Document numérique, Hermès, Vol. 13, N. 3, pp. 69-93, 2010.

Abstract URL : http://dn.revuesonline.com/article.jsp?articleId=15721
BibTeX
Nicholas Asher, Laurent Prévot, Laure Vieu

Setting the Background in Discourse

In : Discours(e), revues.org, Vol. 1, (on line), 2007.

Abstract URL : http://discours.revues.org/index301.html
BibTeX
Carole Adam, Andreas Herzig, Dominique Longin

PLEIAD, un agent émotionnel pour évaluer la typologie OCC

In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, pp. 781-811, 2007.

Abstract URL : https://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

In : Terminal, L’Harmattan, Vol. IV, N. 93 – 94, pp. 168-175, January 2006.

Abstract
BibTeX
Mario Borillo

Repères pour l’image informatique

In : Terminal, L’Harmattan, Vol. IV, N. 93-94, pp. 165-168, January 2006.

Abstract
BibTeX
Dominique Longin

Des raisons qu’ont certains actes à être indirects

In : Psychologie de l’Interaction, Editions L’Harmattan, Paris, France, Special issue Langage et Cognition : contraintes pragmatiques, Vol. 21-22, pp. 237-258, 2006.

Abstract URL : https://www.irit.fr/publis/LILAC/Journaux_nationaux/2006_Longin_Psychologie-de-l-interaction.pdf
BibTeX

Special issues

Samuel Bianchini, Gaël Lejeune, Dominique Longin, Emmanuel Adam

IA & Création artistique

Bulletin de l’Association Française pour l’Intelligence Artificielle, 125, 2024, Association Française d’Intelligence Artificielle

Accès: https://hal.science/hal-04708692v1

Meghyn Bienvenu, Nicolas Maudet, Grégory Bonnet, Gaël Lejeune, Dominique Longin

Regards croisés : AFIA & GDR RADIA

Bulletin de l’Association Française pour l’Intelligence Artificielle, 124, 2024, Association Française d’Intelligence Artificielle

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

Christophe Bortolaso, Dominique Longin, Grégory Bonnet

Équipes industrielles en IA

Bulletin de l’Association Française pour l’Intelligence Artificielle, 123, 2024, Association Française d’Intelligence Artificielle

Accès: https://hal.science/hal-04654657v1

Fatiha Saïs, Emmanuel Adam, Grégory Bonnet, Dominique Longin

PFIA 2023

Bulletin de l’Association Française pour l’Intelligence Artificielle, 122, 2023, Association Française d’Intelligence Artificielle

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

Sylvie Doutre, Andreas Herzig, Anthony Hunter

Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard

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

Accès: https://hal.science/hal-04306999v1

Nouredine Hadjsaid, Gaël Lejeune, Emmanuel Adam, Dominique Longin

IA & énergie

Bulletin de l’Association Française pour l’Intelligence Artificielle, 121, 2023, Association Française d’Intelligence Artificielle

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

Nathalie Nevejans, Grégory Bonnet, Gaël Lejeune, Dominique Longin

IA & normes

Bulletin de l’Association Française pour l’Intelligence Artificielle, 120, 2023, Association Française d’Intelligence Artificielle

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

Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel

Epistemic planning: Perspectives on the special issue

Artificial Intelligence, 316 (3/4 – Special Issue: Epistemic Planning), pp.103842, 2023, ⟨10.1016/J.ARTINT.2022.103842⟩

Accès: https://hal.science/hal-04306997v1

Dominique Longin, Grégory Bonnet

Équipes académiques en IA

Bulletin de l’Association Française pour l’Intelligence Artificielle, 119, 2023, Association Française d’Intelligence Artificielle

Accès: https://hal.science/hal-04558561v1

Emmanuel Adam, Dominique Longin

PFIA 2022

Bulletin de l’Association Française pour l’Intelligence Artificielle, 118, 2022, Association Française d’Intelligence Artificielle

Accès: https://hal.science/hal-04559805v1

International conferences articles

Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, Anaelle Wilczynski

Explaining the Lack of Locally Envy-Free Allocations

27th European Conference on Artificial Intelligence (ECAI 2024), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA), Oct 2024, Santiago de Compostela, Spain

Accès: https://hal.science/hal-04670468v1

Tiago de Lima, Emiliano Lorini

Model Checking Causality

33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Aug 2024, Jeju, South Korea. pp.3324–3332, ⟨10.24963/ijcai.2024/368⟩

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

Philippe Balbiani, Hans van Ditmarsch

Towards Dynamic Distributed Knowledge

15th Advances in Modal Logic (AiML 2024), Institute of Computer Science of the Czech Academy of Sciences; Institute of Philosophy of the Czech Academy of Sciences; Faculty of Arts of Charles University, Aug 2024, Prague, Czech Republic

Accès: https://hal.science/hal-04712434v1

Jérémy Bouché-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zaraté

An ontology for legal reasoning on data sharing and processing between law enforcement agencies

3rd international workshop Knowledge Management and Process Mining for Law (KM4LAW 2024), IAOA, Jul 2024, Enschede, Netherlands. à paraître

Accès: https://hal.science/hal-04654770v1

Stergos Afantenos, Henri Prade, Gilles Richard, Leonardo Cortez-Bernades

Analogical Proportions and Creativity: A Preliminary Study

15th International Conference on Computational Creativity (ICCC 2024), Jun 2024, Jönköping, Sweden. pp.1–10

Accès: https://hal.science/hal-04587140v1

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

A SAT-based Approach for Argumentation Dynamics

23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 2024, Auckland (Nouvelle-Zélande), France

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

Florence Dupin de Saint-Cyr, Nicolas Yannick Pepin, Nassim Mokhtari, Philippe Morignot, Julien Vianey, Anne-Gwenn Bosser, Liana Ermakova

DriveToGaether: a Turnkey Collaborative Robotic Event Platform

16th International Conference on Agents and Artificial Intelligence (ICAART 2024), Feb 2024, Rome, Italy. pp.404–411, ⟨10.5220/0012463800003636⟩

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

Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1–21, ⟨10.4230/LIPIcs.CSL.2024.13⟩

Accès: https://amu.hal.science/hal-04457356v1

Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti

Local Intuitionistic Modal Logics and Their Calculi

International Joint Conference on Automated Reasoning (IJCAR 2024), 2024, Nancy, France. pp.78–96, ⟨10.1007/978-3-031-63501-4_5⟩

Accès: https://hal.science/hal-04712457v1

Ryan Schuerkamp, Philippe Giabbanelli, Umberto Grandi, Sylvie Doutre

How to Combine Models? Principles and Mechanisms to Aggregate Fuzzy Cognitive Maps

Winter Simulation Conference (WSC 2023), Dec 2023, San Antonio, Texas, United States

Accès: https://hal.science/hal-04343205v1

National conferences articles

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-04192609v1

Nathalie Aussenac-Gilles, Jérémy Bouché-Pillon, Pascale Zaraté, Yannick Chevalier, Pierre-Yves 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-04153047v1

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-03763068v1

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.253-260

Accès: https://inria.hal.science/hal-02422796v1

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-02889413v1

Philippe Besnard, Vincent Risch

Consistency Measures, Inconsistency Measures, and Mix Measures (Preliminary Report)

13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. pp.37–43

Accès: https://hal.science/hal-02302956v1

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-01840825v1

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-02319703v1

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-01561521v1

Books

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-04173959v1

Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, Nicolas Prcovic, Céline Rouveirol, Fatiha Saïs, François Schwarzentruber, Anaelle Wilczynski, Yves Demazeau, Thomas Guyet, Dominique Longin, Davy Monticolo, Ahmed Samet

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

Association Française d’Intelligence Artificielle, pp.1-239, 2022

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

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-03573580v1

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-03541725v1

Olivier Boissier, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Jean-Paul Jamont, Abir Karami, Maxime Lefrançois, Céline Rouveirol, François Schartzentruber, Yves Demazeau, Thomas Guyet, Dominique Longin, Frédéric Maris

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

Association Française d’Intelligence Artificielle, 2021

Accès: https://hal.science/hal-03353852v1

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-03573581v1

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-03285723v1

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 d’Intelligence Artificielle, 2020

Accès: https://hal.science/hal-02964840v1

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-03015825v1

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-02651115v1

Proceedings

Jean-Guy Mailly, François Schwarzentruber, Anaelle Wilczynski

Actes des 18es Journées d’Intelligence Artificielle Fondamentale et des 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes

Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2024

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

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 Année 2023

Conférence Nationale d’Intelligence Artificielle Année 2023, Association Française pour l’Intelligence Artificielle, 2023

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

Natasha Alechina, Andreas Herzig, Fei Liang

Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings

Lecture Notes in Computer Science, 14329, Springer Nature Switzerland, pp.XXVI, 1–323, 2023, Lecture Notes in Computer Science, 978-3-031-45557-5. ⟨10.1007/978-3-031-45558-2⟩

Accès: https://hal.science/hal-04307006v1

Andreas Herzig, Jieting Luo, Pere Pardo

Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Lecture Notes in Computer Science, 14156, Springer Nature Switzerland, pp.XX, 1–225, 2023, Lecture Notes in Computer Science, 978-3-031-40874-8. ⟨10.1007/978-3-031-40875-5⟩

Accès: https://hal.science/hal-04307001v1

Alexandre Dey, Benjamin Costé, Éric Totel, Adrien Bécue, Elkin Aguas, Anthony Lambert, Gregory Blanc, Hervé Debar, Yannick Chevalier, Amine Medad, Baptiste Gregorutti, Edouard Genetay, Alexandre Peter Nguema, Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de de Souza Lima, Rémy Charayron, Thierry Lefèvre, Nathalie Bartoli, Joseph Morlier, Zakaria Chihani, Bruno Carron, Stephan Brunessaux, Léonard Caquot, Tristan Charrier, Badre El Bezzaz Semlali, Oudomsack Pierre Pasquero, Alexis Bazin, Pierre-Elisée Flory, Katarzyna Kapusta, Oana Stan, Vincent Thouvenot, Karel Hynek, Romain Ferrari, Aymen Boudguiga, Renaud Sirdey, Alice Héliou, Thomas Cejka, Daria La Rocca, Martin Zuber, George Vardoulias, Ioannis Papaioannou, Andreas Vekinis, Georgia Papadopoulou, Marc Vincent, Amal El Fallah-Seghrouchni, Vincent Corruble, Narayan Bernardin, Rami Kassab, Frédéric Barbaresco, Karim Tit, Teddy Furon, Mathias Rousset, Louis-Marie Traonouez, Pierre-Yves Lagrave, Vincent Vidal, Marie-Caroline Corbineau, Tugdual Ceillier, Aleksei Iancheruk, Ahmed Allali, Julien Rodriguez, Tejas Bhor, Ricardo Garcia, Jean-Eudes Guilhot-Gaudeffroy, Robert Plana

Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense)

CAID 2021 (Conference on Artificial Intelligence for Defense), pp.1-152, 2021

Accès: https://hal.science/hal-03535661v1

Zied Bouraoui, Sylvie Doutre

Actes des 15es Journées d’Intelligence Artificielle Fondamentale

Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2021

Accès: https://hal.science/hal-03358942v1

Zied Bouraoui, Sylvie Doutre

Actes des 14es Journées d’Intelligence Artificielle Fondamentale

Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2020

Accès: https://hal.science/hal-02951644v1

Sylvie Doutre, Tiago de Lima

Actes des 13es Journées d’Intelligence Artificielle Fondamentale (JIAF 2019)

Plate-Forme Intelligence Artificielle (PFIA 2019), Bulletin de l’Association Française pour l’Intelligence Artificielle, 106, Association Française pour l’Intelligence Artificielle, 2019, Actes des Journées d’Intelligence Artificielle Fondamentale

Accès: https://hal.science/hal-02976649v1

Umberto Grandi, Stefan Napel, Rolf Niedermeier, Kristen Brent Venable

Application-Oriented Computational Social Choice

Dagstuhl Seminar 19381 “ApplicationOriented Computational Social Choice”, Sep 2019, Wadern, Germany. 9 (9), Dagstuhl Publishing, 2019, ⟨10.4230/DagRep.9.9.45⟩

Accès: https://hal.science/hal-03066844v1

Conferences Proceedings

Andreas Herzig, Emiliano Lorini

European Conference on Social Intelligence (ECSI 2014), Barcelona, 03/11/14 – 05/11/14, CEUR-WS : Workshop proceedings, 2014.

URL : http://ceur-ws.org/Vol-1283/
BibTeX
Emiliano Lorini

Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013), Toulouse, 12/12/13 – 13/12/13, CEUR-WS : Workshop proceedings, 2013.

URL : http://ceur-ws.org/Vol-1113/
BibTeX
Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin

Logics in Artificial Intelligence – 13th European Conference, JELIA 2012, Toulouse, France, 26/09/12 – 28/09/12, Springer-Verlag, LNCS 7519 , September 2012.

BibTeX
Emiliano Lorini, Laure Vieu

Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue (TIDIAD@ESSLLI2010), Copenhague, Danemark, 16/08/10 – 20/08/10, University of Copenhagen, August 2010.

URL : http://phis.ruc.dk/ESSLLI2010_Course_Material.zip
BibTeX
Andreas Herzig, Benjamin Johnston

NRAC: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/09, UTSeScholarship, October 2009.

URL : http://utsescholarship.lib.uts.edu.au/dspace/bitstream/handle/2100/967/complete%20proceedings.pdf?sequence=1
BibTeX
Farah Benamara, Ozdowska Sylwia

Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL07), Toulouse, 05/06/08 – 08/06/08, IRIT Press, 2008.

URL : https://www.irit.fr/~Dominique.Longin/TALN2007/
BibTeX
Philippe Besnard, Sylvie Doutre, Anthony Hunter

Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28/05/08 – 30/05/08, IOS Press, Frontiers in Artificial Intelligence and Applications ISBN 978-1-58603-859-5, May 2008.

Abstract URL : http://www.iospress.nl/loadtop/load.php?isbn=9781586038595
BibTeX
Nabil Hathout, Philippe Muller

Traitement Automatique des Langues Naturelles, Toulouse, 05/06/07 – 08/06/07, IRIT Press, 2007.

URL : https://www.irit.fr/~Dominique.Longin/TALN2007/
BibTeX
Ron Artstein, Laure Vieu

11th Workshop on the Semantics and Pragmatics of Dialogue (Decalog 2007), Rovereto, Italy, 30/05/07 – 01/06/07, University of Trento, May 2007.

BibTeX
Boicho Kokinov, Daniel Richardson, Thomas Roth-Berghofer, Laure Vieu

Modeling and Using Context.6th international and interdisciplinary conference (CONTEXT 2007), Roskilde, Denmark, 20/08/07 – 24/08/07, Springer-Verlag, LNAI 4635, August 2007.

BibTeX

Thesis and HDR

Théo Duchatelle

Argumentation, Logic and Explainability

Logic in Computer Science [cs.LO]. Université Paul Sabatier – Toulouse III, 2023. English. ⟨NNT : 2023TOU30330⟩

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

Xinghan Liu

A logical investigation of explainable AI

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

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

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-04136582v1

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-04086849v1

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-03683355v1

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-03664752v1

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-03699663v1

Elise Perrotin

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-03683642v1

Umberto Grandi

Interactive, Strategic, and Expressive Social Choice

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

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

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-03533234v1

Reports

Jean-Guy Mailly

pygarg: A Python Engine for Argumentation

IRIT/RR–2024–02–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2024

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

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-04016550v1

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-03719439v1

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-03701260v1

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-03647896v1

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-03657060v1

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-02866037v1

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-02865981v1

team publications