Search - Archive ouverte HAL Access content directly

Filter your results

233 Results
authIdHal_s : pierre-marquis

Pseudo-Boolean Constraints from a Knowledge Representation Perspective

Daniel Le Berre , Pierre Marquis , Stefan Mengel , Romain Wallon
27th International Joint Conference on Artificial Intelligence (IJCAI'18), Jul 2018, Stockholm, Sweden. pp.1891-1897, ⟨10.24963/ijcai.2018/261⟩
Conference papers hal-02310063v1
Image document

Rational Inference Relations from Maximal Consistent Subsets Selection

Sébastien Konieczny , Pierre Marquis , Srdjan Vesic
Twenty-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 applications

Pierre Marquis , Odile Papini , Henri Prade
Marquis, 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 égalitaire

Patricia Everaere , Sébastien Konieczny , Pierre Marquis
7è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 Inference

Pierre Marquis , Nadège Porquet
Annals of Mathematics and Artificial Intelligence, 2003, 39 (4), pp.349-384
Journal articles hal-03300953v1

Computational Aspects of Quasi-Classical Entailment

Pierre Marquis , Nadège Porquet
Journal 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 Formulae

Hélène Fargier , Pierre Marquis
21th 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 Graphs

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2015, Buenos Aires, Argentina. pp.332-338
Conference papers hal-03300749v1

Three-valued logics for inconsistency handling

Sébastien Konieczny , Pierre Marquis
Proceedings 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éponses

Pierre Marquis , Jérôme Lang
Hermès - Lavoisier, pp.196, 2012
Books hal-01509970v1

Boosting Distance-Based Revision Using SAT Encodings

Sébastien Konieczny , Jean-Marie Lagniez , Pierre Marquis
Logic, 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
Image document

Revision and update in multiagent belief structures

Andreas Herzig , Jérôme Lang , Pierre Marquis
6th 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 Frameworks

Sylvie Coste-Marquis , Sébastien Konieczny , Pierre Marquis , Mohand~akli Ouali
4th International Conference on Computational Models of Argument (COMMA'12), 2012, Vienne, Austria. pp.342-349
Conference papers hal-00867057v1

Improving Model Counting by Leveraging Definability

Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis
25th International Joint Conference on Artificial Intelligence (IJCAI'16), 2016, New York, United States. pp.751-757
Conference papers hal-02380766v1
Image document

Propositional update operators based on formula/literal dependence

Andreas Herzig , Jérôme Lang , Pierre Marquis
ACM Transactions on Computational Logic, 2013, 14 (3), pp.1-31. ⟨10.1145/2499937.2499945⟩
Journal articles hal-01128955v1

Weighted attacks in argumentation frameworks

Sylvie Coste-Marquis , Sébastien Konieczny , Pierre Marquis , Mohand~akli Ouali
13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 2012, Rome, Italy. pp.593-597
Conference papers hal-00866890v1

Conflict-Based Merging Operators

Patricia Everaere , Sébastien Konieczny , Pierre Marquis
Proceedings 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 Ignorance

Ramzi Ben Larbi , Sébastien Konieczny , Pierre Marquis
12th 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 Operators

Patricia Everaere , Sébastien Konieczny , Pierre Marquis
2005, pp.424
Conference papers hal-00014626v1
Image document

Consolidating Modal Knowledge Bases

Zied Bouraoui , Jean-Marie Lagniez , Pierre Marquis , Valentin Montmirail
24th European Conference on Artificial Intelligence (ECAI'20), 2020, Santiago de Compostela, Spain
Conference papers hal-03300236v1
Image document

On Tractable XAI Queries based on Compiled Representations

Gilles Audemard , Frédéric Koriche , Pierre Marquis
17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20), 2020, Rhodes, Greece
Conference papers hal-03299475v1
Image document

Action progression and revision in multiagent belief structures

Andreas Herzig , Jérôme Lang , Pierre Marquis
6th 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 compilation

Adnan Darwiche , Pierre Marquis
Proc. 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 bases

Pierre Marquis , Nadège Porquet
Proc. 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èles

Frédéric Koriche , Jean-Marie Lagniez , Pierre Marquis , Samuel Thomas
7è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 Counting

Jean-Marie Lagniez , Pierre Marquis
28th 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 approach

Brigitte Bessant , Éric Grégoire , Pierre Marquis , Lakhdar Saïs
Proc. 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)

Pierre Marquis , Nadège Porquet
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éveloppements

Pierre Marquis , Odile Papini , Henri Prade
Books hal-03300985v1

Quantifying information and contradiction in propositional logic through test actions

Sébastien Konieczny , J. Lang , Pierre Marquis
Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), 2003, Acapulco, Mexico. pp.106 - 111
Conference papers hal-03300686v1