Principales
publications (depuis 1998)
Des
versions
préliminaires des articles ci-après peuvent être
téléchargées en cliquant ici.
2011
P. Marquis
Existential Closures for Knowledge
Compilation
Proceedings of
the 22nd
International
Joint
Conference on Artificial Intelligence (IJCAI'11), Barcelona, 2011 (996-1001).
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).
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).
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.
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).
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).
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).
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).
J. Lang and P. Marquis
Reasoning
under Inconsistency: A Forgetting-Based Approach
Artificial
Intelligence 174(12-13):799-823, 2010.
P.
Everaere, S.
Konieczny
and P. Marquis
Disjunctive
Merging: Quota and Gmin Merging Operators
Artificial
Intelligence 174(12-13):824-849, 2010.
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).
2009
S.
Coste-Marquis, C.
Devred and P. Marquis
Handling Controversial Arguments
Journal
of Applied Non-Classical Logics 19(3):311-369, 2009.
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).
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).
H. van
Ditmarsch, A. Herzig, J. Lang and P. Marquis
Introspective
Forgetting
Synthese
169:405–423, 2009 (special section on Knowledge, Rationality
& Action).
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).
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.
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).
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).
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).
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).
P.
Marquis
Knowledge
Compilation: A Sightseeing
Tour
Invited
Tutorial at the 18th European
Conference on Artificial Intelligence (ECAI'08), Patras, 2008.
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).
J.
Lang and
P. Marquis
On
Propositional Definability
Artificial
Intelligence 172(8-9):991-1017, 2008.
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).
O.
Gauwin, S. Konieczny and P. Marquis
Conciliation through
Iterated Belief Merging
Journal of
Logic and Computation 17(5):909-937,
2007.
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.
H.
Fargier
and P. Marquis
On Valued Negation
Normal Form
Formulas
Proceedings
of the 20th
International
Joint
Conference on Artificial Intelligence (IJCAI'07) (poster presentation), Hyderabad,
2007 (360-365).
P.
Everaere, S.
Konieczny
and P. Marquis
The
Strategy-Proofness Landscape of
Merging
Journal
of Artificial Intelligence Research 28:49-105,
2007.
2006
O.
Bailleux and P. Marquis
Some
Computational Aspects of
DISTANCE-SAT
Journal of
Automated Reasoning 37(4): 231-260, 2006.
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).
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).
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).
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.
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).
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).
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).
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).
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).
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).
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).
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).
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).
S.
Coste-Marquis and P.
Marquis
On Stratified Belief
Base Compilation
Annals
of Mathematics and
Artificial
Intelligence 42(4):399-442,
2004.
A.
Darwiche and P.
Marquis
Compiling
Propositional Weighted Bases
Artificial
Intelligence 157(1-2):81-113, 2004.
S.
Konieczny, J. Lang and P. Marquis
DA2
Merging Operators
Artificial
Intelligence
157(1-2):49-79, 2004.
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).
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).
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) .
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.
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) .
P. Marquis
and N. Porquet
Resource-Bounded
Paraconsistent Inference
Annals
of Mathematics and Artificial Intelligence
39(4):349-384,
2003.
J. Lang, P. Liberatore and P. Marquis
Propositional
Independence - Formula-Variable
Independence and Forgetting
Journal
of Artificial Intelligence Research 18:391-443,
2003.
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).
J. Lang, P. Liberatore and P. Marquis
Conditional
Independence in Propositional Logic
Artificial
Intelligence 141(1-2):79-121, 2002.
A. Darwiche and P. Marquis
A
Knowledge Compilation Map
Journal
of Artificial Intelligence Research 17:229-264,
2002.
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).
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).
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).
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).
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.
2001
P. Marquis and N. Porquet
Computational
Aspects of Quasi-Classical Entailment
Journal
of Applied Non-Classical Logics
11(3-4):295-312, 2001.
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).
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. 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. 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).
S. Coste-Marquis and P. Marquis
Knowledge
Compilation for Circumscription and
Closed-World Reasoning
Journal
of Logic and Computation 11(4):579-607, 2001.
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).
J. Lang and P. Marquis
Removing
Inconsistencies in Assumption-based
Theories through Knowledge-Gathering Actions
Studia
Logica 67(2):179-214, 2001.
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).