Filtrer vos résultats
- 189
- 67
- 174
- 37
- 18
- 15
- 5
- 3
- 2
- 1
- 1
- 2
- 1
- 253
- 7
- 3
- 1
- 1
- 1
- 11
- 10
- 11
- 13
- 6
- 7
- 5
- 9
- 9
- 22
- 12
- 11
- 5
- 10
- 13
- 16
- 7
- 10
- 13
- 8
- 6
- 9
- 9
- 7
- 2
- 4
- 3
- 1
- 1
- 2
- 1
- 3
- 197
- 56
- 3
- 248
- 63
- 17
- 15
- 12
- 9
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 256
- 65
- 39
- 38
- 27
- 23
- 22
- 20
- 19
- 17
- 15
- 13
- 13
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
256 résultats
Revue d'Intelligence Artificielle (RIA). Numéro spécial, en hommage à Pascal Nicolas, sur le raisonnement non monotone, les formules booléennes quantifiées (QBF) et la programmation par ensembles réponses (ASP).Hermès (Lavoisier), pp.196, 2012
Ouvrages
hal-00871914v1
|
|||
Compile!29th AAAI Conference on Artificial Intelligence (AAAI'15), 2015, Austin, Texas, United States. pp.4112-4118
Communication dans un congrès
hal-03300964v1
|
|||
Propositional Fragments for Knowledge Compilation and Quantified Boolean FormulaeThe Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conferencep, 2005, Pittsburg, United States. pp.288
Communication dans un congrès
hal-00014629v1
|
|||
Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle(RFIA'06), Jan 2006, Tours, France. pp.Actes électroniques
Communication dans un congrès
hal-00192926v1
|
|||
Preferring Diagnoses by AbductionIEEE transactions on systems, man, and cybernetics, 1993, 23 (3), pp.729-808
Article dans une revue
hal-03300959v1
|
|||
Complexity results for paraconsistent inference relationsProc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-02), 2002, Toulouse, France. pp.61-72
Communication dans un congrès
hal-03300366v1
|
|||
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional LanguagesJournal on Satisfiability, Boolean Modeling and Computation, 2006, 1, pp.61-88
Article dans une revue
hal-00109570v1
|
|||
Skeptical AbductionInternational Journal on Artificial Intelligence Tools (IJAIT), 1993, 2 (4), pp.511-540
Article dans une revue
hal-03300960v1
|
|||
An Improved Decision-DNNF Compiler26th International Joint Conference on Artificial Intelligence (IJCAI'17), 2017, Melbourne, Australia. pp.667-673
Communication dans un congrès
hal-03300779v1
|
|||
Compiling Propositional Weighted BasesArtificial Intelligence, 2004, 157 (1-2), pp.81-113
Article dans une revue
hal-03300951v1
|
|||
|
PyXAI : calculer en Python des explications pour des modèles d'apprentissage superviséExtraction et Gestion des Connaissances, EGC, Jan 2023, Lyon, France
Communication dans un congrès
hal-04148656v1
|
||
Fusion de réseaux de contraintes qualitatives définis sur différents formalismes qualitatifsJournées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), 2009, Marseille, France
Communication dans un congrès
hal-00873289v1
|
|||
|
Representing Policies for Quantified Boolean FormulaeTenth International Conference on Principles of Knowledge Representation and Reasoning, Jun 2006, Lake District, United Kingdom. pp.286-296
Communication dans un congrès
hal-00121155v1
|
||
Planning as abductionWorkshop on Planning under Uncertainty @ IJCAI 2001, Aug 2001, Seattle, United States
Communication dans un congrès
hal-03523406v1
|
|||
|
Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentationsRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2014, 28 (5), pp.571-592. ⟨10.3166/ria.28.571-592⟩
Article dans une revue
hal-01303828v1
|
||
Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développementsPierre Marquis; Odile Papini; Henri Prade. Editions Cépaduès, Toulouse, 1, 2, 3, 1340 pp., 2014
Ouvrages
hal-01488677v1
|
|||
Reasoning About Action and ChangeMarquis, 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⟩
Chapitre d'ouvrage
hal-03015828v1
|
|||
Consistency restoration and explanations in dynamic CSP- application to configuration (In Notes of the ECAI-2000 Workshop on modelling and solving problems with constraints)Workshop on modelling and solving problems with constraints @ ECAI 2000: 14th European Conference on Artificial Intelligence, Aug 2000, Berlin, Germany
Communication dans un congrès
hal-04269879v1
|
|||
On the Merging of Dung's Argumentation SystemsJournal of Artificial Intelligence (AIJ) , 2007, 171, pp.730-753
Article dans une revue
hal-00191104v1
|
|||
|
On a Notion of Monotonic Support for Bipolar Argumentation Frameworks20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), May 2021, Virtual Event, United Kingdom
Communication dans un congrès
hal-03225627v1
|
||
Iterated Belief Merging as Conciliation Operators7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05), 2005, Corfou, Greece
Communication dans un congrès
hal-00456087v1
|
|||
Propositional merging operators based on set-theoretic closenessProceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), 2008, undef, France. pp.737--738
Communication dans un congrès
hal-00731988v1
|
|||
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach9th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty(ECSQARU'07), Jan 2007, Hammamet, Tunisia. pp.731-742
Communication dans un congrès
hal-00261288v1
|
|||
Disjunctive Merging: Quota and Gmin Merging OperatorsArtificial Intelligence, 2010
Article dans une revue
hal-00731928v1
|
|||
|
On Belief PromotionSixteenth International Conference on Principles Of Knowledge Representation And Reasoning (KR'18), Oct 2018, Tempe AZ USA, United States
Communication dans un congrès
hal-04267907v1
|
||
|
On Egalitarian Belief MergingPrinciples of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR'14), Jul 2014, Vienna, Austria. pp.121-130, ⟨10.13140/2.1.3326.9761⟩
Communication dans un congrès
hal-01113341v1
|
||
|
Knowledge Compilation Properties of Trees-of-BDDs, Revisited21st International Joint Conference on Artificial Intelligence (IJCAI 2009), The International Joint Conferences on Artificial Intelligence (IJCAI); The Association for the Advancement of Artificial Intelligence (AAAI), 2009, Pasadena, United States. pp.772-777
Communication dans un congrès
hal-00866834v1
|
||
Improving Model Counting by Leveraging Definability25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757
Communication dans un congrès
hal-02380766v1
|
|||
Computational Aspects of Quasi-Classical EntailmentJournal of Applied Non-Classical Logics, 2001, 11 (3-4), pp.295-312
Article dans une revue
hal-03300958v1
|
|||
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.332-338
Communication dans un congrès
hal-03300749v1
|