Filtrer vos résultats
- 92
- 54
- 1
- 58
- 52
- 23
- 10
- 2
- 1
- 1
- 45
- 1
- 147
- 7
- 8
- 7
- 9
- 5
- 9
- 3
- 5
- 5
- 5
- 10
- 5
- 8
- 7
- 8
- 4
- 8
- 5
- 6
- 2
- 4
- 4
- 1
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 121
- 26
- 147
- 10
- 9
- 9
- 7
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 147
- 89
- 24
- 23
- 16
- 16
- 14
- 13
- 12
- 9
- 9
- 9
- 7
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
147 résultats
|
Bipolarité en argumentation : acceptabilité et algorithmes[Rapport de recherche] IRIT-2005-20, IRIT - Institut de recherche en informatique de Toulouse. 2005
Rapport
hal-02881313v1
|
||
Revision of an Argumentation System11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), Sep 2008, Sydney, Australia. pp.124-134
Communication dans un congrès
hal-02875429v1
|
|||
|
Classes of Explanations for the Verification Problem in Abstract ArgumentationIRIT/RR--2022--09--FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2022
Rapport
hal-04016550v1
|
||
|
Bipolarity in Argumentation Graphs: Towards a Better Understanding (SUM 2011)5th International conference on scalable uncertainty management (SUM 2011), Oct 2011, Dayton, United States. pp.137-148, ⟨10.1007/978-3-642-23963-2_12⟩
Communication dans un congrès
hal-02875402v1
|
||
|
RAFDivider[Research Report] IRIT/RR--2022--07--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-48
Rapport
hal-03719439v1
|
||
|
Dialectical proofs accounting for strength of attacks[Research Report] IRIT-2010-07, IRIT - Institut de recherche en informatique de Toulouse. 2010
Rapport
hal-02883999v1
|
||
Handling controversial arguments in bipolar argumentation systems1st International Conference on Computational Models of Argument (COMMA 2006), Sep 2006, Liverpool, United Kingdom. pp.261-272
Communication dans un congrès
hal-00143828v1
|
|||
|
Coalitions efficaces dans les jeux booléens (RFIA 2008)16ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), AFIA : Association française pour l'intelligence artificielle; AFRIF : Association française pour la reconnaissance et l'interprêtation des formes; Université de Picardie Jules Verne, Jan 2008, Amiens, France
Communication dans un congrès
hal-03198316v1
|
||
|
Using a SMT solver for risk analysis: detecting logical mistakes in procedural texts[Research Report] IRIT--2014--05, IRIT - Institut de recherche en informatique de Toulouse. 2014
Rapport
hal-02884068v1
|
||
|
Adaptive Human Machine Interfaces in an Autonomous VehicleWorkshop on Explainable AI in Automated Driving: a User-Centered Interaction Approach in 11th International ACM Conference on Automotive User Interfaces and Interactive Vehicular Applications (Automotive UI 2019), Sep 2019, Utrecht, Netherlands. pp.1-9
Communication dans un congrès
hal-03621807v1
|
||
|
Axiomatic Approach of Enforcement in Argumentation: Enforcement in Argumentation is a kind of Update[Research Report] IRIT-2013-24, IRIT - Institut de recherche en informatique de Toulouse. 2013
Rapport
hal-02884060v1
|
||
|
Le changement en argumentation : Typologie et dualités[Rapport de recherche] IRIT-2012-02, IRIT - Institut de recherche en informatique de Toulouse. 2012
Rapport
hal-02884045v1
|
||
|
Compact preference representation and Boolean gamesAutomous Agents and Multi-Agents Systems, 2009, 18, pp.1--35
Article dans une revue
hal-00947826v1
|
||
|
Minimal defence": a refinement of the preferred semantics for argumentation frameworks9th International Workshop on Non-Monotonic Reasoning (NMR 2002), Apr 2002, Toulouse, France. pp.408-415
Communication dans un congrès
hal-00133893v1
|
||
Improving risk analysis in procedures via text analysis and reasoning: a road-map3rd International Forum on Industrial Safety (IFIS 2010), Institut pour une Culture de Sécurité Industrielle (ICSI); Fondation pour une Culture de Sécurité Industrielle (FonCSI); Fondazione Politecnico di Milano, Jul 2010, Toulouse, France
Communication dans un congrès
hal-03198308v1
|
|||
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworksJournal 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⟩
Article dans une revue
hal-04184838v1
|
|||
|
Classes of Explanations for the Verification Problem in Abstract ArgumentationJournées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l'intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10
Communication dans un congrès
hal-04192609v1
|
||
Une classification des relations d'inférence non-monotone dans les approches syntaxiques5èmes journées nationales du PRC-GDR Intelligence Artificielle (1995), Groupe de recherche CNRS, 1995, Nancy, France
Communication dans un congrès
hal-03198392v1
|
|||
|
Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Necessary Supports[Research Report] IRIT/RR- -2021- -08- -FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2021
Rapport
hal-03544188v2
|
||
|
An axiomatic approach to support in argumentation3rd International Workshop on Theory and Applications of Formal Argument (TAFA 2015), Jul 2015, Buenos Aires, Argentina. pp.74-91, ⟨10.1007/978-3-319-28460-6_5⟩
Communication dans un congrès
hal-03198233v1
|
||
|
Bipolarité en argumentation[Rapport de recherche] IRIT-2004-07, IRIT - Institut de recherche en informatique de Toulouse. 2004
Rapport
hal-02881306v1
|
||
Weighted Argumentation Systems: A Tool for Merging Argumentation Systems2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2011, Boca Raton, United States. pp.629-632, ⟨10.1109/ICTAI.2011.99⟩
Communication dans un congrès
hal-02875397v1
|
|||
|
How to Manage Supports in Incomplete ArgumentationIRIT/RR--2023--04--FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023
Rapport
hal-04443886v1
|
||
|
Using a SMT solver for risk analysis: detecting logical mistakes in textsInternational Conference on Tools with Artificial Intelligence - ICTAI 2014, Nov 2014, Limassol, Cyprus. pp. 867-874, ⟨10.1109/ICTAI.2014.133⟩
Communication dans un congrès
hal-01147277v1
|
||
|
Valid attacks in Argumentation Frameworks with Recursive Attacks (IRIT/RR--2019--02--FR)[Research Report] IRIT/RR--2019--02--FR, IRIT - Institut de recherche en informatique de Toulouse. 2019
Rapport
hal-02875610v1
|
||
Duality between Addition and Removal: a tool for studying change in argumentationInternational Conference on information processing and management of uncertainty (IPMU), Jul 2012, Catania, Italy. pp.219-229, ⟨10.1007/978-3-642-31709-5_23⟩
Communication dans un congrès
hal-02875392v1
|
|||
|
Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and SupportsInternational Conference on Computational Models of Argument (COMMA 2018), Sep 2018, Varsovie, Poland. pp.29-36, ⟨10.3233/978-1-61499-906-5-29⟩
Communication dans un congrès
hal-02181911v1
|
||
|
Vers une acceptabilité graduelle des arguments dans les systèmes d'argumentation[Rapport de recherche] IRIT-2002-42, IRIT - Institut de recherche en informatique de Toulouse. 2002
Rapport
hal-02881285v1
|
||
|
Bipolarity in argumentation graphs: Towards a better understandingInternational Journal of Approximate Reasoning, 2013, Special issue: Uncertainty in Artificial Intelligence and Databases, 54 (7), pp.876-899. ⟨10.1016/j.ijar.2013.03.001⟩
Article dans une revue
hal-01123535v1
|
||
|
Towards a new framework for recursive interactions in abstract bipolar argumentation[Research Report] IRIT--RR--2016--03, IRIT : Institut de recherche en informatique de Toulouse. 2016, pp.1-28
Rapport
hal-02884113v1
|