Filter your results
- 42
- 35
- 42
- 20
- 7
- 4
- 2
- 1
- 1
- 2
- 77
- 5
- 1
- 3
- 2
- 1
- 7
- 5
- 3
- 5
- 2
- 4
- 7
- 10
- 7
- 3
- 1
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 60
- 17
- 77
- 25
- 17
- 14
- 9
- 8
- 8
- 7
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 27
- 27
- 21
- 11
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Declarative mining of negative sequential patterns1st Declarative Problem Solving Workshop (DPSW 2020) @ ECAI 2020, Pedro Cabalar (CITIC-Univ. A Coruña, Spain); Andreas Herzig (Tolouse Univ, France); David Pearce (Univ. Politécnica Madrid, Spain); Torsten Schaub (Univ. Potsdam, Germany); Stefan Woltran (Vienna Univ. Tech. Austria), Aug 2020, Santiago de Compostela, Spain. pp.1-8
Conference papers
hal-03025560v1
|
||
Argumentation and Inconsistency-Tolerant ReasoningPierre 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⟩
Book sections
hal-02651115v1
|
|||
Inconsistency measuring over multisets of formulasGrant, John; Martinez, Maria Vanina. Measuring Inconsistency in Information, College Publications, pp.195--218, 2018, 978-1-84890-244-2
Book sections
hal-03044241v1
|
|||
Generic logical encoding for argumentationJournal of Logic and Computation, 2023, 33 (3), pp.623-704. ⟨10.1093/logcom/exac039⟩
Journal articles
hal-03746630v1
|
|||
|
Assessing Arguments with Schemes and FallaciesLPNMR 2019 - 15th International Conference on Logic Programming and Non-monotonic Reasoning, Jun 2019, Philadelphia, United States. pp.61-74, ⟨10.1007/978-3-030-20528-7_6⟩
Conference papers
hal-02180493v2
|
||
About agents that reason by case (preliminary report)10th International IEEE Conference on Information Reuse and Integration (IEEE IRI'09), 2009, Las Vegas, United States. pp.405-410
Conference papers
hal-00871096v1
|
|||
|
Prédominance de Connaissances Subsumées en Logique Classique6ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'12), May 2012, Toulouse, France. pp.21-29
Conference papers
hal-00870650v1
|
||
A Glance at Preemption OperatorsFermé Eduardo L.; Gabbay Dov M.; Simari Guillermo R. Frontiers in Belief Revision, 40, College Publications, pp.183-194, 2013, Studies in Logic
Book sections
hal-03300616v1
|
|||
|
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts29th AAAI Conference on Artificial Intelligence (AAAI'15), 2015, Austin, Texas, United States. pp.3710-3716, ⟨10.1609/aaai.v29i1.9751⟩
Conference papers
hal-03300455v1
|
||
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic ReasoningMarquis, 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⟩
Book sections
hal-03015825v1
|
|||
Représentation des connaissances : modalités, conditionnels et raisonnement non monotonePierre Marquis; Odile Papini; Henri Prade. Panorama de l'intelligence artificielle : Ses bases méthodologiques, ses développements, 2 : Algorithmes pour l'intelligence artificielle, Cépaduès, Toulouse, 2013, 978-2364930421
Book sections
hal-00770563v1
|
|||
Inférences non-classiques en intelligence articielle. Ebauche de comparaisons sur un exemple3ème Colloque International de l'ARC sur la Cognition et la Connaissance (1988), Association pour la recherche cognitive (Arc), Mar 1988, Toulouse, France. pp.137--230
Conference papers
hal-04200918v1
|
|||
|
Inducing Inference Relations from Inconsistency Measures16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Sep 2021, Prague, Czech Republic. pp.486-498, ⟨10.1007/978-3-030-86772-0_35⟩
Conference papers
hal-03541660v1
|
||
|
A formal characterization of the outcomes of rule-based argumentation systems (SUM 2013)7th International Conference on Scalable Uncertainty Management (SUM 2013), Sep 2013, Washington, United States. pp. 78-91, ⟨10.1007/978-3-642-40381-1_7⟩
Conference papers
hal-01239724v1
|
||
|
Arguments using ontological and causal knowledge (JIAF 2013)7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France. pp.41-48
Conference papers
hal-00932294v1
|
||
|
Revisiting Postulates for Inconsistency Measures14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Sep 2014, Funchal, Madeira, Portugal. pp.383-396, ⟨10.1007/978-3-319-11558-0_27⟩
Conference papers
hal-03663980v1
|
||
Lois, structures et dépendances (groupe LSD)6èmes journées nationales du PRC-GDR Intelligence Artificielle (PRC-GDR IA 1997), Mar 1997, Grenoble, France. pp.145-160
Conference papers
hal-03300192v1
|
|||
Variable Forgetting in Preference Relations over Propositional DomainsGerhard Brewka; Silvia Coradeschi; Anna Perini; Paolo Traverso. 17th European Conference on Artificial Intelligence (ECAI 2006), 2006, Riva del Garda, Italy. IOS Press, Proceedings ECAI 2006 ; ISBN: 978-1-58603-642-3, 141, pp.763-764, 2006, Frontiers in Artificial Intelligence and Applications
Conference poster
hal-03300968v1
|
|||
A Review of Argumentation Based on Deductive ArgumentsBaroni, Pietro; Gabbay, Dov; Giacomin, Massimiliano; van der Torre, Leendert. Handbook of Formal Argumentation, College Publications, pp.437--484, 2018, 978-1848902756
Book sections
hal-03044245v1
|
|||
Raisonnement sur des informations incomplètes en Intelligence Artificielle - Comparaison de formalismes sur un exempleTeknea, 1989
Books
hal-04200277v1
|
|||
|
Preemption Operators (NMR 2012)14th International Workshop on Non-Monotonic Reasoning (NMR 2012), 2012, Rome, Italy. pp.893-894
Conference papers
hal-00870796v1
|
||
Un système argumentatif pour le raisonnement sur des ressources limitéesRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, 29
Journal articles
hal-03206580v1
|
|||
Système d’argumentation basé sur les logiques conditionnellesJournées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France
Conference papers
hal-04192580v1
|
|||
|
Basic Postulates for Inconsistency MeasuresTransactions on Large-Scale Data- and Knowledge-Centered Systems, 2017, 34, pp.1-12. ⟨10.1007/978-3-662-55947-5_1⟩
Journal articles
hal-02365646v1
|
||
|
Admissible generalizations of examples as rules (2019)31st International Conference on Tools with Artificial Intelligence (ICTAI 2019), IEEE, Nov 2019, Portland, OR, United States. ⟨10.1109/ICTAI.2019.00211⟩
Conference papers
hal-02267166v1
|
||
|
Ontology-based inference for causal explanationIntegrated Computer-Aided Engineering, 2008, 15 (4), pp.351-367
Journal articles
inria-00476906v1
|
||
|
SESAME - A System for Specifying Semantics in Abstract Argumentation1st International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016) co-located with the 6th International Conference on Computational Models of Argument : COMMA 2016, Sep 2016, Potsdam, Germany. pp.40-51
Conference papers
hal-01475020v1
|
||
|
Representing and reasoning about arguments mined from texts and dialogues13th European Conference on Symbolic and Quantitative Approaches with Uncertainty (ECSQARU 2015), Jul 2015, Compiègne, France. pp.60-71, ⟨10.1007/978-3-319-20807-7_6⟩
Conference papers
hal-01276557v1
|
||
|
Le système Sesame : Spécifier des sémantiques argumentativesConférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2017), Jul 2017, Caen, France. pp.1-4
Conference papers
hal-01561521v1
|
||
|
Foundations for a Logic of ArgumentsJournal of Applied Non-Classical Logics, 2017
Journal articles
hal-02325968v1
|