Filter your results
- 186
- 49
- 160
- 34
- 17
- 14
- 5
- 2
- 2
- 1
- 1
- 1
- 233
- 7
- 3
- 1
- 1
- 4
- 9
- 8
- 12
- 6
- 6
- 5
- 8
- 8
- 22
- 11
- 11
- 5
- 10
- 12
- 16
- 7
- 9
- 13
- 8
- 6
- 8
- 9
- 5
- 2
- 4
- 3
- 1
- 1
- 2
- 1
- 3
- 179
- 53
- 3
- 228
- 52
- 17
- 13
- 9
- 8
- 6
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 235
- 61
- 38
- 33
- 21
- 20
- 17
- 16
- 15
- 15
- 13
- 12
- 11
- 10
- 10
- 10
- 9
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 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
- 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
- 1
235 Results
Raisonnement non monotone, QBF et programmation par ensembles réponsesHermès - Lavoisier, pp.196, 2012
Books
hal-01509970v1
|
|||
Quota and Gmin Merging Operators2005, pp.424
Conference papers
hal-00014626v1
|
|||
Conflict-Based Merging OperatorsProceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357
Conference papers
hal-00732027v1
|
|||
|
Propositional update operators based on formula/literal dependenceACM Transactions on Computational Logic, 2013, 14 (3), pp.1-31. ⟨10.1145/2499937.2499945⟩
Journal articles
hal-01128955v1
|
||
L'Intelligence Artificielle : frontières et applicationsMarquis, Pierre; Papini, Odile; Prade, Henri. Cépaduès, Toulouse, 3, 374 pp., 2014, Panorama de l'Intelligence Artificielle, 978-2364930438
Books
hal-03230723v1
|
|||
|
Rational Inference Relations from Maximal Consistent Subsets SelectionTwenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.1749-1755, ⟨10.24963/ijcai.2019/242⟩
Conference papers
hal-02340404v1
|
||
Improving Model Counting by Leveraging Definability25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757
Conference papers
hal-02380766v1
|
|||
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.332-338
Conference papers
hal-03300749v1
|
|||
Three-valued logics for inconsistency handlingProceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02), 2002, Cosenza, Italy. pp.332-344
Conference papers
hal-03300691v1
|
|||
|
Pseudo-Boolean Constraints from a Knowledge Representation Perspective27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩
Conference papers
hal-02310063v1
|
||
|
Revision and update in multiagent belief structures6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6 2004), Jul 2004, Leipzig, Germany. pp.1-10
Conference papers
hal-03519775v1
|
||
Resource-Bounded Paraconsistent InferenceAnnals of Mathematics and Artificial Intelligence, 2003, 39 (4), pp.349-384
Journal articles
hal-03300953v1
|
|||
Sur la fusion de croyances égalitaire7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, Région indéterminée
Conference papers
hal-03300706v1
|
|||
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10), 2010, Toronto, Canada. pp.172-181
Conference papers
hal-00866872v1
|
|||
Weighted attacks in argumentation frameworks13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 2012, Rome, Italy. pp.593-597
Conference papers
hal-00866890v1
|
|||
Selecting Extensions in Weighted Argumentation Frameworks4th International Conference on Computational Models of Argument (COMMA'12), 2012, Vienne, Austria. pp.342-349
Conference papers
hal-00867057v1
|
|||
Boosting Distance-Based Revision Using SAT EncodingsLogic, Rationality, and Interaction, 10455, Springer Berlin Heidelberg, pp.480-496, 2017, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-55665-8_33⟩
Book sections
hal-03704848v1
|
|||
Computational Aspects of Quasi-Classical EntailmentJournal of Applied Non-Classical Logics, 2001, 11 (3-4), pp.295-312
Journal articles
hal-03300958v1
|
|||
On the Use of Partially Ordered Decision Graphs for Knowledge Compilation and Quantified Boolean Formulae21th National Conference on Artificial Intelligence (AAAI 2006), AAAI: Association for the Advancement of Artificial Intelligence, Jul 2006, Boston, Massachusetts, United States. pp.42-47
Conference papers
hal-03300967v1
|
|||
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional LanguagesJournal on Satisfiability, Boolean Modeling and Computation, 2006, 1, pp.61-88
Journal articles
hal-00109570v1
|
|||
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
Conference papers
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
Conference papers
hal-00192926v1
|
|||
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
Conference papers
hal-00261288v1
|
|||
On the Merging of Dung's Argumentation SystemsArtificial Intelligence Journal(AIJ), 2007, 171, pp.730-753
Journal articles
hal-00191104v1
|
|||
|
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⟩
Conference papers
hal-01113341v1
|
||
|
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⟩
Journal articles
hal-01303828v1
|
||
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⟩
Book sections
hal-03015828v1
|
|||
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
Books
hal-01488677v1
|
|||
Propositional merging operators based on set-theoretic closenessProceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), 2008, undef, France. pp.737--738
Conference papers
hal-00731988v1
|
|||
Iterated Belief Merging as Conciliation Operators7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05), 2005, Corfou, Greece
Conference papers
hal-00456087v1
|