publications team
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, pp.1-54. ⟨10.1080/11663081.2023.2244715⟩
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⟩
Antonio Yuste-Ginel, Andreas Herzig
Qualitative uncertainty and dynamics of argumentation through dynamic logic
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A Framework for Modelling Molecular Interaction Maps
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, In press
Xiaolong Liu, Philippe Besnard, Sylvie Doutre
Paraconsistent inference relations induced from inconsistency measures
International Journal of Approximate Reasoning, 2023, special issue: SI: Extended papers from the Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 152, pp.183-197. ⟨10.1016/j.ijar.2022.10.006⟩
Philippe Balbiani, Çiğdem Gencer
Computability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, In press
Umberto Grandi, Jérôme Lang, Ali Ozkes, Stéphane Airiau
Voting behavior in one-shot and iterative multiple referenda
Social Choice and Welfare, 2022, ⟨10.1007/s00355-022-01436-0⟩
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
Towards Algorithms for Argumentation Frameworks with Higher-order Attacks
International Journal on Artificial Intelligence Tools, 2022, Special Issue on Selected Papers from the 32nd Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2020), 31 (07), pp.2260007. ⟨10.1142/S0218213022600077⟩
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Explaining Semantics and Extension Membership in Abstract Argumentation
Intelligent Systems with Applications, 2022, 16, pp.200118. ⟨10.1016/j.iswa.2022.200118⟩
A Unified Logical Framework for Explanations in Classifier Systems
Journal of Logic and Computation, 2022, ⟨10.1093/logcom/exac035⟩
-
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
-
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
Epistemic GDL: A logic for representing and reasoning about imperfect information games (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI 2016), New-York, 09/07/16-16/07/16, Subbarao Kambhampati (Eds.), International Joint Conference on Artificial Intelligence (IJCAI), pp. 1138-1144, 2016.
-
Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata (regular paper)
In : International Conference on Service Oriented Computing (ICSOC 2015), Goa, 16/11/15-19/11/15, Vol. 9586, Springer, LNCS, pp. 145-156, April 2016.
Abstract URL : https://link.springer.com/chapter/10.1007%2F978-3-662-50539-7_12 – https://oatao.univ-toulouse.fr/22623/
BibTeX -
Forgetting-Based Inconsistency Measure (regular paper)
In : International Conference on Scalable Uncertainty Management (SUM 2016), Nice, 21/09/16-23/09/16, Steven Schockaert, Pierre Senellart (Eds.), Springer, LNCS 9858, pp. 331-337, 2016.
-
Philippe Balbiani, Martin Dieguez
Temporal Here and There (regular paper)
In : European Conference on Logics in Artificial Intelligence (JELIA 2016), Larnaca (Cyprus), 09/11/16-11/11/16, Springer, pp. 81-96, 2016.
-
Philippe Balbiani, David Pearce, Levan Uridia
On logics of group belief in structured coalitions (regular paper)
In : European Conference on Logics in Artificial Intelligence (JELIA 2016), Larnaca (Cyprus), 09/11/16-11/11/16, Springer, pp. 97-111, 2016.
-
Philippe Balbiani, Tinko Tinchev
Unification in modal logic Alt1 (regular paper)
In : Advances in Modal Logic (AiML 2016), Budapest (Hungary), 30/08/16-02/09/16, College Publications, pp. 117-134, 2016.
-
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig
Before announcement (regular paper)
In : Advances in Modal Logic (AiML 2016), Budapest (Hungary), 30/08/16-02/09/16, College Publications, pp. 58-77, 2016.
-
Philippe Balbiani, David Fernandez Duque
Axiomatizing the lexicographic products of modal logics with linear temporal logic (regular paper)
In : Advances in Modal Logic (AiML 2016), Budapest (Hungary), 30/08/16-02/09/16, College Publications, pp. 78-96, 2016.
-
Philippe Balbiani, Didier Galmiche
About intuitionistic public announcement logic (regular paper)
In : Advances in Modal Logic (AiML 2016), Budapest (Hungary), 30/08/16-02/09/16, College Publications, pp. 97-116, 2016.
-
Philippe Balbiani, David Fernandez Duque, Emiliano Lorini
A Logical Theory of Belief Dynamics for Resource-Bounded Agents (regular paper)
In : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), Singapore, 09/05/16-13/05/16, ACM : Association for Computing Machinery, pp. 644-652, 2016.
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.
-
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
A Logical Model for Molecular Interaction Maps, ISTE – WILEY, September 2014.
-
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
Kripke’s Worlds – An introduction to modal logics via tableaux, Springer-Verlag, Studies in Universal Logic, January 2014.
Abstract URL : http://dx.doi.org/10.1007/978-3-7643-8504-0
BibTeX -
Luis Fariñas del Cerro, David Pearce, Agustin Valverde
Correct Reasoning – Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Springer, Vol. 7265, Lecture Notes in Computer Science, 2012.
-
Causality in the context of multiple agents, Springer-Verlag, Deontic Logic in Computer Science, LNAI 7393, 2012.
-
Transitivity and propagation of trust in information sources. An Analysis in Modal Logic, Springer-Verlag, Computational Logic in Multi-Agent Systems, LNAI 6814, 2011.
-
Relationships between obligations and actions in the context of institutional agents, human agents or software agents, Springer, Vol. 19, Journal of Artificial Intelligence and Law, 2011.
-
Lexical Meaning in Context: A Web of Words, Cambridge University Press, April 2011.
-
Robert Demolombe, Luis Fariñas del Cerro
Information about a given entity: from semantics towards automated deduction, Oxford University Press, Vol. 20, Journal of Logic and Computation, 6, 2010.
-
Relationships between actions performed by institutional agents, human agents or software agents, Springer-Verlag, Proceedings of the 10th International Conference on Deontic Logic in Computer Science, LNAI 6181, 2010.
-
Philippe Besnard, Anthony Hunter
Elements of Argumentation, The MIT Press, June 2008.
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 : ⟩
Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30269⟩
Algorithms for enriched abstract argumentation frameworks for large-scale cases
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30194⟩
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