Filter your results
- 188
- 45
- 160
- 34
- 17
- 14
- 4
- 2
- 2
- 1
- 1
- 232
- 7
- 2
- 1
- 1
- 9
- 8
- 12
- 6
- 6
- 5
- 8
- 8
- 23
- 13
- 11
- 5
- 10
- 12
- 16
- 7
- 9
- 13
- 8
- 6
- 8
- 9
- 5
- 2
- 4
- 3
- 1
- 1
- 2
- 1
- 2
- 180
- 50
- 3
- 227
- 55
- 17
- 13
- 9
- 8
- 6
- 5
- 3
- 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
- 233
- 61
- 38
- 29
- 21
- 20
- 18
- 17
- 15
- 15
- 13
- 12
- 11
- 10
- 10
- 9
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
|
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
|
||
|
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
|
||
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
|
|||
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
|
|||
Resource-Bounded Paraconsistent InferenceAnnals of Mathematics and Artificial Intelligence, 2003, 39 (4), pp.349-384
Journal articles
hal-03300953v1
|
|||
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
|
|||
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
|
|||
Raisonnement non monotone, QBF et programmation par ensembles réponsesHermès - Lavoisier, pp.196, 2012
Books
hal-01509970v1
|
|||
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
|
|||
|
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
|
||
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
|
|||
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
|
|||
|
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
|
||
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
|
|||
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
|
|||
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
|
|||
Quota and Gmin Merging Operators2005, pp.424
Conference papers
hal-00014626v1
|
|||
|
Consolidating Modal Knowledge Bases24th European Conference on Artificial Intelligence (ECAI'20), 2020, Santiago de Compostela, Spain
Conference papers
hal-03300236v1
|
||
|
On Tractable XAI Queries based on Compiled Representations17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20), 2020, Rhodes, Greece
Conference papers
hal-03299475v1
|
||
|
Action progression and revision in multiagent belief structures6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005) @ IJCAI 2005, Aug 2005, Edinburgh, Scotland, Royaume-Uni
Conference papers
hal-03519760v1
|
||
A perspective on knowledge compilationProc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 2001, Seattle, Washington, USA, Unknown Region. pp.175-182
Conference papers
hal-03300974v1
|
|||
Resource-bounded inference from inconsistent belief basesProc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01), 2001, Seattle, Washington, USA, Unknown Region. pp.103-108
Conference papers
hal-03300975v1
|
|||
Arbres de décision affine pour le comptage de modèles7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13), 2013, Aix-en-Provence, Région indéterminée
Conference papers
hal-03300760v1
|
|||
Preprocessing for Propositional Model Counting28th AAAI Conference on Artificial Intelligence (AAAI'14), 2014, Québec, Canada. pp.2688-2694
Conference papers
hal-03300781v1
|
|||
Combining nonmonotonic reasoning and belief revision: a practical approachProc. 8th Intl. Conf. on Artificial Intelligence Methodology, Systems, Applications (AIMSA-98), 1998, Sozopol, Bulgaria. pp.115-128
Conference papers
hal-03300527v1
|
|||
Decomposing Propositional Knowledge Bases through Topics (extended abstract)Proc. of the Meeting on Partial Knowledge and Uncertainty : Independence, Conditioning, Inference, 2000, Rome, Italy
Conference papers
hal-03300979v1
|
|||
Panorama de l'intelligence artificielle − ses bases méthodologiques, ses développementsBooks hal-03300985v1 |
|||
Quantifying information and contradiction in propositional logic through test actionsProceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003, Acapulco, Mexico. pp.106 - 111
Conference papers
hal-03300686v1
|