Search - Archive ouverte HAL Access content directly

Filter your results

235 Results

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

Quota and Gmin Merging Operators

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

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
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

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
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

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

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

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

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

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

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

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

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

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

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

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

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages

Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe , Pierre Marquis
Journal on Satisfiability, Boolean Modeling and Computation, 2006, 1, pp.61-88
Journal articles hal-00109570v1

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae

Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe , Pierre Marquis
The 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ées

Sylvie Coste-Marquis , Daniel Le Berre , Florian Letombe , Pierre Marquis
15è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 Approach

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

Sylvie Coste-Marquis , Caroline Devred , Sébastien Konieczny , M.C. Lagasquie-Schiex , Pierre Marquis
Artificial Intelligence Journal(AIJ), 2007, 171, pp.730-753
Journal articles hal-00191104v1
Image document

On Egalitarian Belief Merging

Patricia Everaere , Sébastien Konieczny , Pierre Marquis
Principles 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
Image document

Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations

Hélène Fargier , Pierre Marquis , Nicolas Schmidt
Revue 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 Change

Florence Dupin de Saint-Cyr , Andreas Herzig , Jérôme Lang , Pierre Marquis
Marquis, 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éveloppements

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

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

Olivier Gauwin , Sébastien Konieczny , Pierre Marquis
7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05), 2005, Corfou, Greece
Conference papers hal-00456087v1