publications team
-
Paolo Galeazzi, Emiliano Lorini
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
In : Synthese, Springer, Vol. 193 N. 7, pp. 2097-2127, 2016.
-
Giuseppe Attanasi, Astrid Hopfensitz, Emiliano Lorini, Frédéric Moisan
Social connectedness improves co-ordination on individually costly, efficient outcomes
In : European Economic Review, Elsevier, Vol. 90, pp. 86-106, 2016.
-
A STIT logic for reasoning about social infuence
In : Studia Logica, Springer, Vol. 104 N. 4, pp. 773-812, 2016.
-
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
In : Synthese, Springer, Vol. 193 N. 7, pp. 2097-2127, 2016.
-
A minimal logic for interactive epistemology
In : Synthese, Springer, Vol. 193 N. 3, pp. 725-755, 2016.
-
Reasoning about negligibility and proximity in the set of all hyperreals
In : Journal of Applied Logic, Elsevier, Vol. 16, pp. 14-36, 2016.
Abstract URL : http://www.sciencedirect.com/science/article/pii/S157086831630012X – https://oatao.univ-toulouse.fr/18903/
BibTeX -
Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay Saraswat
A Borda Count for Collective Sentiment Analysis
In : Annals of Mathematics and Artificial Intelligence, Springer, Vol. 77 N. 3, pp. 281-302, 2016.
URL : https://www.irit.fr/~Umberto.Grandi/publications/GrandiEtAlAMAI2015.pdf
BibTeX -
Thomas Bolander, Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber
Announcements to Attentive Agents
In : Journal of Logic, Language and Information, Springer, Vol. 25 N. 1, pp. 1-35, January 2016.
Abstract URL : https://www.irit.fr/~Andreas.Herzig/P/Jolli16.html – https://oatao.univ-toulouse.fr/16889/
BibTeX -
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
In : Journal of Autonomous Agents and Multi-Agent Systems, Springer, Vol. 30 N. 5, pp. 793-825, September 2016.
Abstract URL : http://dx.doi.org/10.1007/s10458-015-9306-4 – https://oatao.univ-toulouse.fr/16852/
BibTeX -
A logic for reasoning about moral agents
In : Logique et Analyse, Centre National de Recherches en Logique, Belgique, Vol. 58 N. 230, pp. 177-218, 2016.
Andreas Herzig, Faustine Maffre
Planifier grâce au bavardage
Interstices, 2017
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
-
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 -
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.
-
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 -
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.
-
Repères pour l’image informatique
In : Terminal, L’Harmattan, Vol. IV, N. 93-94, pp. 165-168, January 2006.
-
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
-
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.
-
Special section: Uncertain Reasoning at FLAIRS 2011
Dans : International Journal of Approximate Reasoning, Elsevier, Vol. 54 N. 8, octobre 2013.
URL : 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.
URL : 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.
-
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.
URL : 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.
-
Special Issue 20th Anniversary – Part 1
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 20 N. 3, 2011.
-
Special issue on theories of information dynamics and interaction and their application to dialogue
Dans : Synthese, Springer, Vol. 183 N. Suppl. 1, 2011.
-
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.
URL : 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.
URL : http://www.springerlink.com/content/1012-2443/58/1-2/
BibTeX
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
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
Rachael Colley, Umberto Grandi
The Spread of Opinions via Boolean Networks
19th European Conference on Multi-Agent Systems (EUMAS 2022), Nov 2022, Dusseldorf, Germany. pp.96-115, ⟨10.1007/978-3-031-20614-6_6⟩
A Logic of “Black Box” Classifier Systems
28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), Sep 2022, Lasi, Romania. pp.158-174, ⟨10.1007/978-3-031-15298-6_10⟩
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
Computing the Labellings of Higher-Order Abstract Argumentation Frameworks
4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), Sep 2022, Cardiff, United Kingdom. pp.45-58
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
Synthesis of Mechanisms with Strategy Logic (Short Paper)
23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6
Philippe Balbiani, Quentin Gougeon
Projective unification through duality
Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France
Philippe Balbiani, Martín Diéguez, Çiğdem Gencer
Advanced languages of terms for ontologies
35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩
Emiliano Lorini, Elise Perrotin-Boithias, François Schwarzentruber
Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models
19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haïfa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩
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
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
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
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
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⟩
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
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⟩
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
-
Solving equations in pure double Boolean algebras
In : The 30th International Workshop on Unification, Porto, Portugal, 26/06/16-26/06/16, Silvio Ghilardi, Manfred Schmidt-Schauss (Eds.).
-
Formal concept analysis: from formal contexts to modal logics and return
In : Mini-Workshop on Modal Logic and its Applications, Istanbul, Turquie, 30/09/16-01/10/16 (invited speaker), Berna Kilinç, Aybuke Özgün (Eds.).
-
An Introduction to Subset Space Logics
In : Mini-Workshop on Modal Logic and its Applications, Istanbul, Turquie, 30/09/16-01/10/16 (invited speaker), Berna Kilinç, Aybuke Özgün (Eds.).
-
Some remarks about intuitionistic modal logics
In : Conference on Mathematical Logic dedicated to the 80th anniversary of Dimiter Skordev, Gyolechitsa, Bulgaria, 07/10/16-09/10/16 (invited speaker), Stella Nikolova, Alexandra Soskova, Tinko Tinchev (Eds.).
-
Solving logical equations
In : 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.).
-
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation
In : Cardiff Argumentation Forum (CAF2016, http://www.cs.cf.ac.uk/caf2016), Cardiff, 06/07/16-07/07/16 (invited speaker).
Abstract URL : https://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
In : 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.).
Abstract URL : https://www.irit.fr/~Andreas.Herzig/P/Loft16.pdf
BibTeX -
Sylvie Doutre, Jean-Guy Mailly
How Different Are Two Argumentation Semantics?
In : Journées d’Intelligence Artificielle Fondamentale (JIAF), Montpellier, 15/06/16-17/06/16.
URL : 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
In : Actes des 9es Journées d’Intelligence Artificielle Fondamentale (IAF 2015), Rennes, 29/07/15-31/07/15.
URL : https://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
In : Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2014), Bergen, 27/07/14-30/07/14.
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⟩
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⟩
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
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⟩
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
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⟩
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⟩
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⟩
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⟩
Munyque Mittelmann, Laurent Perrussel
Game Description Logic with Integers: A GDL Numerical Extension
Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, Springer International Publishing, pp.191-210, 2020, Lecture Notes in Computer Science book series, 978-3-030-39950-4. ⟨10.1007/978-3-030-39951-1_12⟩
Logic-based Cognitive Planning : from theory to implementation
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2022. English. ⟨NNT : 2022TOU30193⟩
Logics for Representation and Design of Auctions
Multiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩
Algorithms for enriched abstract argumentation frameworks for large-scale cases
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30194⟩
Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30269⟩
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⟩
Lightweight approaches to reasoning about knowledge and belief
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30265⟩
Interactive, Strategic, and Expressive Social Choice
Computer Science [cs]. Université Toulouse 1 Capitole, 2021
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⟩
About the type of modal logics for the unification problem
Logic in Computer Science [cs.LO]. Université Toulouse III – Paul Sabatier, 2020. English. ⟨NNT : ⟩
Collective decision-making with goals
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30179⟩
Theory Synthesis based on Experience
[Research Report] IRIT/RR–2022–08–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022
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
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
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
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
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
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
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
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
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