Main
Publications (since 1998)
2011
P. Marquis
Existential Closures for Knowledge
Compilation
Proceedings of
the 22nd
International
Joint
Conference on Artificial Intelligence (IJCAI'11), Barcelona, 2011 (996-1001).
A
preliminary
version of this paper can be
downloaded here.
P. Marquis and N. Schwind
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
Proceedings of
the 22nd
International
Joint
Conference on Artificial Intelligence (IJCAI'11), Barcelona, 2011 (1002-1007).
A
preliminary
version of this paper can be
downloaded here.
S. Konieczny, P. Marquis and N. Schwind
Belief Base Rationalization for Propositional Merging
Proceedings of
the 22nd
International
Joint
Conference on Artificial Intelligence (IJCAI'11), Barcelona, 2011 (951-956).
(accepted and presented as a poster paper).
A
preliminary
version of this paper can be
downloaded here.
P. Marquis
Reasoning under Inconsistency: Ex Falso Nihil non Sequendum Est
Invited
Tutorial at the 8th Colloque sur l'Optimisation et les Systèmes d'Information (COSI'11), Guelma, 2011.
The slides of the 2-hour tutorial can be downloaded here.
2010
J.-F. Condotta,
S. Kaci, P. Marquis and N. Schwind
A Syntactical Approach to Qualitative Constraint Networks Merging
Proceedings of
the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), Yogyakarta, 2010
(233-247).
A
preliminary
version of this paper can be
downloaded here.
P.
Everaere, S.
Konieczny
and P. Marquis
The Epistemic View of Belief Merging:
Can We Track the Truth?
Proceedings of
the 19th European
Conference on Artificial Intelligence (ECAI'10), Lisbon, 2010
(621-626).
A
preliminary
version of this paper can be
downloaded here.
J.-F. Condotta,
S. Kaci, P. Marquis and N. Schwind
Majority Merging: From Boolean Spaces
to Affine Spaces
Proceedings of
the 19th European
Conference on Artificial Intelligence (ECAI'10), Lisbon, 2010
(627-632).
A
preliminary
version of this paper can be
downloaded here.
M. Bienvenu, H.
Fargier and P. Marquis
Knowledge
Compilation in the Modal Logic S5
Proceedings of
the 24th AAAI
Conference on Artificial Intelligence (AAAI'10), Atlanta, 2010
(261-266).
A
preliminary
version of this paper can be
downloaded here.
J. Lang and P. Marquis
Reasoning
under Inconsistency: A Forgetting-Based Approach
Artificial
Intelligence 174(12-13):799-823, 2010.
A
preliminary
version of this paper can be
downloaded here.
P.
Everaere, S.
Konieczny
and P. Marquis
Disjunctive
Merging: Quota and Gmin Merging Operators
Artificial
Intelligence 174(12-13):824-849, 2010.
A
preliminary
version of this paper can be
downloaded here.
R.
Ben Larbi, S. Konieczny and P. Marquis
A
Characterization of Optimality Criteria for Decision Making under
Complete Ignorance
Proceedings of the 12th International Conference on
Principles of Knowledge Representation and Reasoning (KR'10), Toronto,
2010 (172-181).
A
preliminary
version of this paper can be
downloaded here.
2009
S.
Coste-Marquis, C. Devred and P. Marquis
Handling Controversial Arguments
Journal of Applied Non-Classical Logics 19(3):311-369, 2009.
A
preliminary
version of this paper can be
downloaded here.
D. Le
Berre, P.
Marquis and M. Öztürk
Aggregating Interval Orders by
Propositional Optimization
Proceedings of the 1st International Conference on Algorithmic Decision
Theory (ADT'09), Venice, Lecture Notes in Artificial Intelligence 5783,
Springer-Verlag, 2009 (249-260).
A
preliminary
version of this paper can be
downloaded here.
H.
Fargier and P. Marquis
Knowledge
Compilation Properties of
Trees-of-BDDs, Revisited
Proceedings of
the 21st
International
Joint
Conference on Artificial Intelligence (IJCAI'09), Pasadena, 2009
(772-777).
A
preliminary
version of this paper can be
downloaded here.
H. van
Ditmarsch, A. Herzig, J. Lang and P. Marquis
Introspective
Forgetting
Synthese
169:405–423, 2009 (special section on Knowledge, Rationality
& Action).
A preliminary
version of this paper can be
downloaded here.
J.-F. Condotta,
S. Kaci, P. Marquis and N. Schwind
Merging Qualitative Constraints
Networks Using Propositional Logic
Proceedings of the 10th European Conference on Symbolic and
Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09),
Verona, Lecture Notes in Artificial Intelligence 5590, Springer-Verlag,
2009 (347-358).
A preliminary
version of this paper can be downloaded here.
P.
Marquis and M. Öztürk
Representing
Interval Orders by
Weighted Bases: some Complexity Results
Mathematical
Social Sciences 57:367-388 (Special Issue
on Voting
Theory and Preference Modelling), 2009.
A
preliminary version of this paper can be
downloaded here.
2008
S.
Coste-Marquis
and P. Marquis
Recovering
Consistency by Forgetting
Inconsistency
Proceedings of the 11th European Conference on
Principles on Logics in Artificial Intelligence (JELIA'08), Dresden,
Lecture
Notes in Artificial Intelligence 5293, Springer-Verlag,
2008 (113-125).
A preliminary
version of this paper can be downloaded here.
P. Everaere, S.
Konieczny
and P. Marquis
A
Diff-Based Merging Operator
Proceedings of the 12th
International
Workshop on Non-Monotonic Reasoning (NMR'08),
Sydney,
2008 (19-25).
A preliminary
version of this paper can be downloaded here.
P. Everaere, S.
Konieczny
and P. Marquis
Conflict-Based
Merging Operators
Proceedings of the 11th International Conference on
Principles of Knowledge Representation and Reasoning (KR'08), Sydney,
2008 (348-357).
A preliminary
version of this paper can be downloaded here.
H.
Fargier and P. Marquis
Extending
the Knowledge Compilation
Map: Krom, Horn, Affine and Beyond
Proceedings of
the 23rd AAAI
Conference on Artificial Intelligence (AAAI'08), Chicago, 2008
(442-447).
A preliminary
version of this paper can be downloaded here.
P. Marquis
Knowledge
Compilation: A Sightseeing
Tour
Invited
Tutorial at the 18th European
Conference on Artificial Intelligence (ECAI'08), Patras, 2008.
Some tutorial
notes can be downloaded here.
The slides of the
3-hour tutorial here.
H.
Fargier and P. Marquis
Extending
the Knowledge Compilation
Map: Closure Principles
Proceedings of
the 18th European
Conference on Artificial Intelligence (ECAI'08), Patras, 2008
(50-54).
A preliminary
version of this paper can be downloaded here.
J. Lang and P. Marquis
On
Propositional Definability
Artificial
Intelligence 172(8-9):991-1017, 2008.
A preliminary
version of this paper can be downloaded here.
2007
R.
Ben Larbi,
S. Konieczny
and P. Marquis
Extending
Classical Planning to the
Multi-Agent Case: A Game-Theoretic Approach
Proceedings of 9th
European
Conference on Symbolic and Quantitative Approaches to Reasoning
with
Uncertainty (ECSQARU'07), Hammamet,
Lecture Notes
in Artificial Intelligence 4724,
Springer-Verlag,
2007
(731-742).
A preliminary
version of this paper can be downloaded here.
O.
Gauwin, S. Konieczny and P. Marquis
Conciliation through
Iterated Belief Merging
Journal of
Logic and Computation 17(5):909-937,
2007.
A preliminary
version of this paper can be downloaded
here.
S.
Coste-Marquis, C.
Devred, S. Konieczny, M.-C. Lagasquie-Schiex and P. Marquis
On the Merging of
Dung's
Argumentation Systems
Artificial
Intelligence
171(10-15):730-753, 2007.
A preliminary
version of this
paper can be
downloaded here.
H. Fargier
and P. Marquis
On Valued Negation
Normal Form
Formulas
Proceedings of
the 20th
International
Joint
Conference on Artificial Intelligence (IJCAI'07), Hyderabad,
2007 (360-365) (accepted and presented as a poster paper).
A preliminary
version of this
paper can be
downloaded here.
P. Everaere, S.
Konieczny
and P. Marquis
The
Strategy-Proofness Landscape of
Merging
Journal of
Artificial Intelligence Research 28:49-105,
2007.
A preliminary
version of this
paper can be
downloaded here.
2006
O.
Bailleux and P. Marquis
Some
Computational Aspects of
DISTANCE-SAT
Journal of
Automated Reasoning 37(4): 231-260, 2006.
A preliminary
version of this paper can be downloaded
here.
H.
Fargier and P.
Marquis
On
the Use of Partially Ordered
Decision Graphs for Knowledge Compilation and Quantified Boolean
Formulae
Proceedings of
the 21st National
Conference on Artificial Intelligence (AAAI'06), Boston, 2006
(42-47).
A preliminary
version of this paper can be downloaded
here.
S.
Coste-Marquis, H. Fargier, J. Lang, D. Le
Berre and P. Marquis
Representing
Policies for
Quantified Boolean Formulae
Proceedings of
the 10th International Conference on
Principles of Knowledge Representation and Reasoning (KR'06), Lake
District, 2006 (286-296).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis, C. Devred and P. Marquis
Constrained
Argumentation Frameworks
Proceedings of the 10th International Conference on
Principles of Knowledge Representation and Reasoning (KR'06), Lake
District, 2006 (112-122).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis, D. Le
Berre, F. Letombe and P. Marquis
Complexity
Results for Quantified
Boolean Formulae based on Complete Propositional Languages
Journal on
Satisfiability, Boolean Modeling and Computation 1:61-88,
2006.
A preliminary
version of this paper can be downloaded
here.
2005
S.
Coste-Marquis, C. Devred and P. Marquis
Inference from
Controversial Arguments
Proceedings of
the 12th
International
Conference on Logic for Programming, Artificial Intelligence and
Reasoning (LPAR'05), Montego Bay, Lecture Notes
in Artificial Intelligence 3835, Springer-Verlag, 2005 (606-620).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis, C.
Devred, S. Konieczny, M.-C. Lagasquie-Schiex and P. Marquis
Merging Argumentation
Systems
Proceedings of
the 20th
National
Conference on Artificial Intelligence (AAAI'05), Pittsburgh, 2005
(614-619).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis, D. Le
Berre, F. Letombe and P. Marquis
Propositional
Fragments for Knowledge
Compilation and Quantified Boolean Formulae
Proceedings of
the 20th
National
Conference on Artificial Intelligence (AAAI'05), Pittsburgh, 2005
(288-293).
A preliminary
version of this
paper can be
downloaded here.
P. Everaere, S.
Konieczny
and P. Marquis
Quota and Gmin
Merging Operators
Proceedings of
the 19th
International
Joint
Conference on Artificial Intelligence (IJCAI'05), Edimburgh, 2005
(424-429).
A preliminary
version of this
paper can be
downloaded here.
S.
Konieczny, J. Lang and P. Marquis
Reasoning under
Inconsistency: The
Forgotten Connective
Proceedings of
19th
International
Joint
Conference on Artificial Intelligence (IJCAI'05), Edimburgh, 2005
(484-489).
A preliminary
version of this
paper can be
downloaded here.
O.
Gauwin, S. Konieczny and P. Marquis
Conciliation and
Consensus in
Iterated Belief Merging
Proceedings of 8th
European
Conference on Symbolic and Quantitative Approaches to Reasoning
with
Uncertainty (ECSQARU'05), Barcelona, Lecture
Notes in Artificial Intelligence 3571, Springer-Verlag,
2005
(514-526).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis, C. Devred and P. Marquis
Symmetric
Argumentation Frameworks
Proceedings of
the 8th
European
Conference on Symbolic and Quantitative Approaches to Reasoning
with
Uncertainty (ECSQARU'05), Barcelona, Lecture
Notes in Artificial Intelligence 3571, Springer-Verlag,
2005
(317-328).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis and P.
Marquis
On the Complexity of
Paraconsistent
Inference Relations
"Inconsistency
Tolerance", LNCS
"State-of-the-Art Surveys" Subseries,
vol. 3300, Springer-Verlag, 2005 (149-188).
A preliminary
version of this
paper can be
downloaded here.
2004
S.
Coste-Marquis
and P.
Marquis
A Unit
Resolution-Based Approach to
Tractable and Paraconsistent Reasoning
Proceedings of the 16th
European Conference
on Artificial Intelligence (ECAI'04), Valencia, 2004 (803-807).
A preliminary
version of this
paper can be
downloaded here.
S.
Coste-Marquis and P.
Marquis
On Stratified Belief
Base Compilation
Annals of
Mathematics and
Artificial
Intelligence 42(4):399-442,
2004.
A preliminary
version of this
paper can be
downloaded here.
A. Darwiche and
P.
Marquis
Compiling
Propositional Weighted Bases
Artificial
Intelligence 157(1-2):81-113, 2004.
A preliminary
version of this paper can be downloaded
here.
S.
Konieczny,
J. Lang and P. Marquis
DA2
Merging Operators
Artificial
Intelligence
157(1-2):49-79, 2004.
A preliminary
version of this
paper can be
downloaded here.
P. Everaere, S.
Konieczny and P. Marquis
On Merging
Strategy-Proofness
Proceedings of
the 9th International
Conference on
Principles of Knowledge Representation and Reasoning (KR'04), Whistler,
2004 (357-367).
A preliminary
version of this paper can be downloaded
here.
S.
Coste-Marquis, J.
Lang, P. Liberatore and P. Marquis
Expressive Power
and Succinctness of Propositional
Languages for
Preference Representation
Proceedings of
the 9th International
Conference on
Principles of Knowledge Representation and Reasoning (KR'04), Whistler,
2004 (203-212).
A preliminary
version of this paper can be downloaded
here.
2003
S.
Konieczny,
J. Lang and P. Marquis
Quantifying
Information and Contradiction in
Propositional Logic through Test Actions
Proceedings of
18th International Joint
Conference on Artificial Intelligence (IJCAI'03), Acapulco, 2003
(106-111)
.
A
preliminary version of this paper can be
downloaded here.
J. Lang, F. Lin
and P. Marquis
Causal Theories of
Action: A Computational Core
Proceedings of
18th International Joint
Conference on Artificial Intelligence (IJCAI'03), Acapulco, 2003
(1073-1078) .
A preliminary
version of this
paper can be
downloaded here.
A. Herzig, J.
Lang and P. Marquis
Action
Representation and Partially Observable
Planning using Epistemic Logic
Proceedings of
18th International Joint
Conference on Artificial Intelligence (IJCAI'03), Acapulco, 2003
(1067-1072) .
A preliminary
version of this
paper can be
downloaded here.
P. Marquis and N. Porquet
Resource-Bounded
Paraconsistent Inference
Annals of
Mathematics and Artificial Intelligence
39(4):349-384,
2003.
A
preliminary version of this paper can be
downloaded here.
J. Lang, P. Liberatore and P. Marquis
Propositional
Independence - Formula-Variable
Independence and Forgetting
Journal of
Artificial Intelligence Research 18:391-443,
2003.
A
preliminary version of this paper can be
downloaded here.
2002
S.
Konieczny and P. Marquis
Three-Valued
Logics for Inconsistency Handling
Proceedings of
the 8th
European Conference on Logics in Artificial Intelligence (JELIA'02),
Cosenza, Lecture
Notes in Artificial Intelligence
2424, Springer-Verlag, 2002 (332-344).
A preliminary
version of this paper can be downloaded
here.
J. Lang, P. Liberatore and P. Marquis
Conditional
Independence in Propositional Logic
Artificial
Intelligence 141(1-2):79-121, 2002.
A
preliminary version of this paper can be
downloaded here.
A. Darwiche and P. Marquis
A Knowledge
Compilation Map
Journal of
Artificial Intelligence Research 17:229-264,
2002.
A preliminary
version of this paper can be downloaded
here.
A. Darwiche and P. Marquis
Compilation of
Propositional Weighted Bases
Proceedings of
the 9th International
Workshop on Non-Monotonic Reasoning (NMR'02), Toulouse, 2002 (6-14).
A preliminary
version of this paper can be downloaded
here.
J. Lang and P. Marquis
Resolving
Inconsistencies by Variable Forgetting
Proceedings of
the 8th International
Conference on Principles of Knowledge Representation and Reasoning
(KR'02), Toulouse, 2002 (239-250).
A preliminary
version of this paper can be downloaded
here.
S. Konieczny, J. Lang and P. Marquis
Distance-Based
Merging: A General Framework and some
Complexity Results
Proceedings of
the 8th International
Conference on Principles of Knowledge Representation and Reasoning
(KR'02), Toulouse, 2002 (97-108).
A preliminary
version of this paper can be downloaded
here.
S. Coste-Marquis and P. Marquis
Complexity Results
for Paraconsistent Inference
Relations
Proceedings of
the 8th International
Conference on Principles of Knowledge Representation and Reasoning
(KR'02), Toulouse, 2002 (61-72).
A preliminary
version of this paper can be downloaded
here.
J. Amilhastre, H. Fargier and P. Marquis
Consistency
Restoration and Explanations in Dynamic
CSPs - Application to Configuration
Artificial
Intelligence 135(1-2):199-234, 2002.
A preliminary
version of this paper can be downloaded
here.
2001
P.
Marquis and N. Porquet
Computational
Aspects of Quasi-Classical Entailment
Journal of
Applied Non-Classical Logics
11(3-4):295-312, 2001.
A preliminary
version of this paper can be downloaded
here.
J. Lang, P. Marquis and M.-A. Williams
Updating Epistemic
States
Proceedings of
14th Australian Joint
Conference on Artificial Intelligence (AI'01), Lecture
Notes in Artificial Intelligence 2256, Springer-Verlag, Adelaide, 2001
(297-308).
A preliminary
version of this paper can be downloaded
here.
P. Marquis and N. Porquet
Resource-Bounded
Inference from Inconsistent Belief
Bases
Proceedings of
17th International Joint
Conference on Artificial Intelligence (IJCAI'01), Seattle (WA), 2001
(103-108).
A preliminary
version of this paper can be downloaded
here.
A. Herzig, J. Lang, P. Marquis and Th. Polacsek
Updates, Actions
and Planning
Proceedings of
17th International Joint
Conference on Artificial Intelligence (IJCAI'01), Seattle (WA), 2001
(119-124).
A preliminary
version of this paper can be downloaded
here.
A. Darwiche and P. Marquis
A Perspective on
Knowledge Compilation
Proceedings of
17th International Joint
Conference on Artificial Intelligence (IJCAI'01), Seattle (WA), 2001
(175-182).
A preliminary
version of this paper can be downloaded
here.
S. Coste-Marquis and P. Marquis
Knowledge
Compilation for Circumscription and
Closed-World Reasoning
Journal of
Logic and Computation 11(4):579-607, 2001.
A preliminary
version of this paper can be downloaded
here.
B. Bessant, E. Grégoire, P. Marquis and L.
Saïs
Iterated
Syntax-Based Revision in a Nonmonotonic
Setting
in Frontiers
of Belief Revision, M.-A. Williams
and H. Rott (eds.), Applied Logic Series, vol. 22,
Kluwer Academic
Publisher, 2001 (369-391).
A preliminary
version of this paper can be downloaded
here.
J. Lang and P. Marquis
Removing
Inconsistencies in Assumption-based
Theories through Knowledge-Gathering Actions
Studia Logica
67(2):179-214, 2001.
A preliminary
version of this paper can be downloaded
here.
2000
S.
Coste-Marquis and P. Marquis
Compiling
Stratified Belief Bases
Proceedings of
the 14th European Conference
on Artificial Intelligence (ECAI'00), Berlin, 2000 (23-27).
A preliminary
version of this paper can be downloaded
here.
P.
Marquis
Consequence
Finding Algorithms
in Handbook
on Defeasible Reasoning and Uncertainty
Management Systems, D. Gabbay and Ph. Smets (eds.), Vol. 5 :
Algorithms for Defeasible and Uncertain Reasoning, S. Moral and J.
Kohlas (eds.), chapter 2, Kluwer Academic Publisher, 2000 (41-145).
A preliminary
version of this paper can be downloaded here.
H. Fargier, J. Lang and P. Marquis
Propositional
Logic and One-stage Decision Making
Proceedings of
the 7th International
Conference on Principles of Knowledge Representation and Reasoning
(KR'00), Breckenridge (CO), 2000 (445-456).
A preliminary
version of this paper can be downloaded
here.
J. Lang and P. Marquis
In Search of the
Right Extension
Proceedings of
the 7th International
Conference on Principles of Knowledge Representation and Reasoning
(KR'00), Breckenridge (CO), 2000 (625-636).
A preliminary
version of this paper can be downloaded
here.
1999
O.
Bailleux and P. Marquis
DISTANCE-SAT :
Complexity and Algorithms
Proceedings of
the 16th National Conference
on Artificial Intelligence (AAAI'99), Orlando (FL), 1999 (642-647).
A preliminary
version of this paper can be downloaded
here.
S. Coste-Marquis and P. Marquis
Complexity Results
for Propositional Closed World
Reasoning and Circumscription
from Tractable
Knowledge Bases
Proceedings of
16th International Joint
Conference on Artificial Intelligence (IJCAI'99), Stockholm, 1999
(24-29).
A preliminary
version of this paper can be downloaded
here.
1998
S.
Coste-Marquis and P. Marquis
Characterizing
Consistency-Based Diagnoses
Proceedings of
the 5th International
Symposium on Artificial Intelligence and Mathematics (AI&Math'98),
Fort Lauderdale (FL), 1998 (electronic proceedings:
http://www.rutcor.rutgers.edu/~amai).
A preliminary
version of this paper can be downloaded
here.
N. Lachiche and P. Marquis
Scope
Classification: An Instance-Based Learning
Algorithm with a Rule-Based Characterization
Proceedings of
the 10th European Conference
on Machine Learning (ECML'98), Chemnitz, Lecture Notes in
Artificial Intelligence 1398, Springer-Verlag, 1998 (268-279).
A preliminary
version of this paper can be downloaded
here.
J. Lang and P. Marquis
Complexity Results
for Independence and Definability
in Propositional Logic
Proceedings of
the 6th International
Conference on Principles of Knowledge Representation and Reasoning
(KR'98), Trento, 1998 (356-367).
A preliminary
version of this paper can be downloaded
here.
J. Lang and P.
Marquis
Two forms of
Dependence in Propositional Logic :
Controllability and Definability
Proceedings of
the 15th National Conference
on Artificial Intelligence (AAAI'98), Providence (WI), 1998 (268-273).
A preliminary
version of this paper can be downloaded
here.