Pierre Marquis

Available identifiers

zbMath Open marquis.pierreMaRDI QIDQ201919

List of research outcomes

Publication	Date of Publication	Type
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI	2022-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4999265	2021-07-06	Paper
On weakening strategies for PB solvers	2021-04-07	Paper
Definability for model counting	2020-03-04	Paper
Belief base rationalization for propositional merging	2019-01-31	Paper
https://portal.mardi4nfdi.de/entity/Q4576236	2018-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4576242	2018-07-12	Paper
Boosting distance-based revision using SAT encodings	2017-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5282953	2017-07-18	Paper
On preprocessing techniques and their impact on propositional model counting	2017-07-06	Paper
Contraction in propositional logic	2016-12-15	Paper
On Supported Inference and Extension Selection in Abstract Argumentation Frameworks	2015-11-10	Paper
Private Expansion and Revision in Multi-agent Settings	2015-11-10	Paper
Contraction in Propositional Logic	2015-11-10	Paper
Propositional Update Operators Based on Formula/Literal Dependence	2015-09-17	Paper
Lost in translation: language independence in propositional logic -- application to belief change	2015-08-27	Paper
A Translation-Based Approach for Revision of Argumentation Frameworks	2015-01-14	Paper
Disjunctive closures for knowledge compilation	2014-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q2999197	2011-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2999198	2011-05-11	Paper
A Syntactical Approach to Qualitative Constraint Networks Merging	2010-10-12	Paper
Reasoning under inconsistency: a forgetting-based approach	2010-09-02	Paper
Disjunctive merging: quota and Gmin merging operators	2010-09-02	Paper
Handling controversial arguments	2010-02-05	Paper
Representing interval orders by weighted bases: some complexity results	2009-12-07	Paper
Aggregating Interval Orders by Propositional Optimization	2009-11-17	Paper
Introspective forgetting	2009-11-04	Paper
On propositional definability	2009-07-17	Paper
On the merging of Dung's argumentation systems	2009-07-09	Paper
Merging Qualitative Constraints Networks Using Propositional Logic	2009-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q3624046	2009-04-28	Paper
Bipolarity in bilattice logics	2008-11-07	Paper
Recovering Consistency by Forgetting Inconsistency	2008-10-27	Paper
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach	2008-09-16	Paper
Inference from Controversial Arguments	2008-05-27	Paper
Conciliation through Iterated Belief Merging	2007-12-10	Paper
Some computational aspects of DISTANCE SAT	2007-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3429018	2007-03-30	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty	2006-06-23	Paper
\(\text{DA}^2\) merging operators	2006-02-07	Paper
Compiling propositional weighted bases	2006-02-07	Paper
Inconsistency Tolerance	2005-08-17	Paper
On stratified belief base compilation	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4475158	2004-08-09	Paper
Resource-bounded paraconsistent inference	2004-01-14	Paper
Computational Aspects of Quasi-Classical Entailment	2004-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q2752124	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4546713	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4411139	2003-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4411161	2003-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4708929	2003-06-20	Paper
Knowledge Compilation for Closed World Reasoning and Circumscription	2003-05-14	Paper
Conditional independence in propositional logic.	2003-01-21	Paper
Consistency restoration and explanations in dynamic CSPs---Application to configuration	2002-03-03	Paper
Removing inconsistencies in assumption-based theories through knowledge-gathering actions	2002-01-02	Paper
Novelty in deductive databases	1996-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q4279083	1994-03-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre Marquis