Search - Logique, Interaction, Langue et Calcul Access content directly

Filter your results

1 045 Results

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

Sylvie Doutre , Marie-Christine Lagasquie-Schiex
Journal of Applied Non-Classical Logics, 2023, pp.1-54. ⟨10.1080/11663081.2023.2244715⟩
Journal articles hal-04184838v1

Chronicles: Formalization of a Temporal Model

Thomas Guyet , Philippe Besnard
Springer International Publishing, pp.121, 2023, SpringerBriefs in Computer Science (BRIEFSCOMPUTER), 978-3-031-33692-8. ⟨10.1007/978-3-031-33693-5⟩
Books hal-04173959v1
Image document

Classes of Explanations for the Verification Problem in Abstract Argumentation

Sylvie Doutre , Théo Duchatelle , Marie-Christine Lagasquie-Schiex
Journées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l'intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10
Conference papers hal-04192609v1
Image document

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

Nathalie Aussenac-Gilles , Jérémy Bouché-Pillon , Pascale Zaraté , Yannick Chevallier , Pierre-Ves Gicquel
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
Conference papers hal-04153047v1
Image document

Fixed Point Logics on Hemimetric Spaces

David Fernández-Duque , Quentin Gougeon
38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître
Conference papers hal-04076518v1
Image document

Visual Explanations for Defence in Abstract Argumentation

Sylvie Doutre , Théo Duchatelle , Marie-Christine Lagasquie-Schiex
Noa Agmon; Bo An; Alessandro Ricci; William Yeoh. International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, London, United Kingdom. IFAAMAS, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, Poster Session I, pp.2346-2348, 2023, ⟨10.5555/3545946.3598929⟩
Conference poster hal-04122588v1

Generic logical encoding for argumentation

Philippe Besnard , Sylvie Doutre , Théo Duchatelle , Marie-Christine Lagasquie-Schiex
Journal of Logic and Computation, 2023, 33 (3), pp.623-704. ⟨10.1093/logcom/exac039⟩
Journal articles hal-03746630v1

Understanding Political Agreements and Disagreements: Evidence from the 2022 French Presidential Election

Carlos Navarrete Lizama , Nicole Ferrada , Mariana Gomes da Motta Macedo , Rachael Colley , Jingling Zhang , et al.
2023
Preprints, Working Papers, ... hal-04050979v1

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Antonio Yuste-Ginel , Andreas Herzig
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exac098⟩
Journal articles hal-03992651v1

A Framework for Modelling Molecular Interaction Maps

Jean-Marc Alliot , Marta Cialdea Mayer , Robert Demolombe , Martín Diéguez , Luis Fariñas del Cerro
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, In press
Journal articles hal-04036735v1

Paraconsistent inference relations induced from inconsistency measures

Xiaolong Liu , Philippe Besnard , Sylvie Doutre
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⟩
Journal articles hal-03895301v1
Image document

Computability of admissibility in the product of two Alt logics

Philippe Balbiani , Çiğdem Gencer
Logic Journal of the IGPL, In press
Journal articles hal-04198600v1

Voting behavior in one-shot and iterative multiple referenda

Umberto Grandi , Jérôme Lang , Ali Ozkes , Stéphane Airiau
Social Choice and Welfare, 2022, ⟨10.1007/s00355-022-01436-0⟩
Journal articles halshs-03896342v1

The Spread of Opinions via Boolean Networks

Rachael Colley , Umberto Grandi
19th European Conference on Multi-Agent Systems (EUMAS 2022), Nov 2022, Dusseldorf, Germany. pp.96-115, ⟨10.1007/978-3-031-20614-6_6⟩
Conference papers hal-03947018v1

Towards Algorithms for Argumentation Frameworks with Higher-order Attacks

Sylvie Doutre , Mickaël Lafages , Marie-Christine Lagasquie-Schiex
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⟩
Journal articles hal-03867071v1
Image document

Explaining Semantics and Extension Membership in Abstract Argumentation

Philippe Besnard , Sylvie Doutre , Théo Duchatelle , Marie-Christine Lagasquie-Schiex
Intelligent Systems with Applications, 2022, 16, pp.200118. ⟨10.1016/j.iswa.2022.200118⟩
Journal articles hal-03771080v1
Image document

Theory Synthesis based on Experience

Yannick Chevalier
[Research Report] IRIT/RR–2022–08–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2022
Reports hal-03829757v2
Image document

Classes of Explanations for the Verification Problem in Abstract Argumentation

Sylvie Doutre , Théo Duchatelle , Marie-Christine Lagasquie-Schiex
IRIT/RR--2022--09--FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2022
Reports hal-04016550v1
Image document

Logic-based Cognitive Planning : from theory to implementation

Jorge Luis Fernandez Davila
Artificial Intelligence [cs.AI]. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30193⟩
Theses tel-04136582v1
Image document

A Logic of "Black Box" Classifier Systems

Xinghan Liu , Emiliano Lorini
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⟩
Conference papers hal-03873355v1
Image document

Computing the Labellings of Higher-Order Abstract Argumentation Frameworks

Sylvie Doutre , Marie-Christine Lagasquie-Schiex
4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), Sep 2022, Cardiff, United Kingdom. pp.45-58
Conference papers hal-03812167v1
Image document

Synthesis of Mechanisms with Strategy Logic (Short Paper)

Munyque Mittelmann , Bastien Maubert , Aniello Murano , Laurent Perrussel
23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6
Conference papers hal-03879258v1
Image document

Admissibility in Alt × Alt is undecidable

Philippe Balbiani
2022
Preprints, Working Papers, ... hal-03766388v1
Image document

Logics for Representation and Design of Auctions

Munyque Mittelmann
Multiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩
Theses tel-04086849v1
Image document

Projective unification through duality

Philippe Balbiani , Quentin Gougeon
Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France
Conference papers hal-03762785v1
Image document

Advanced languages of terms for ontologies

Philippe Balbiani , Martín Diéguez , Çiğdem Gencer
35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel
Conference papers hal-03762589v1
Image document

Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

Emiliano Lorini
19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩
Conference papers hal-03873252v1

Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

Emiliano Lorini , Elise Perrotin-Boithias , François Schwarzentruber
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⟩
Conference papers hal-04047571v1
Image document

Interaction and Expressivity in Collective Decision-Making

Umberto Grandi
31st International Joint Conference on Artificial Intelligence (IJCAI 2022), International Joint Conferences on Artifical Intelligence (IJCAI), Jul 2022, Vienna, Austria. pp.5813-5815, ⟨10.24963/ijcai.2022/816⟩
Conference papers hal-03858780v1
Image document

Theoretical study and empirical investigation of sentence analogies

Stergos Afantenos , Suryani Lim , Henri Prade , Gilles Richard
IJCAI-ECAI Workshop: Workshop on the Interactions between Analogical Reasoning and Machine Learning (IAMRL 2022) @ IJCAI-ECAI 2022, Jul 2022, Vienna, Austria. pp.15-28
Conference papers hal-03859119v1