-
Logic Based Merging.
Sébastien Konieczny, Ramón Pino Pérez.
Journal of Philosophical Logic. 40(2). pages 239-270. 2011.
[file][bibtex]
-
Disjunctive merging: Quota and Gmin merging operators.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Artificial Intelligence. 174(12-13). pages 824-849. 2010.
[file][bibtex]
-
On the measure of conflicts: Shapley Inconsistency Values.
Anthony Hunter, Sébastien Konieczny.
Artificial Intelligence. 174(14). pages 1007-1026. 2010.
[file][bibtex]
-
Bipolarity in bilattice logics.
Philippe Besnard, Sébastien Konieczny, Pierre Marquis.
International Journal of Intelligent Systems. 23(9). pages 1046-1061. 2008.
[bibtex]
-
On the merging of Dung's argumentation systems.
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis.
-
The strategy-proofness landscape of merging.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Journal of Artificial Intelligence Research. 28pages 49-105. 2007.
[file][bibtex]
-
Conciliation through iterated belief merging.
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis.
Journal of Logic and Computation. 17(5). pages 909-937. 2007.
[file][bibtex]
-
Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory.
Sébastien Konieczny, Ramón Pino Pérez.
European Journal of Operational Research. 160(3). pages 785-802. 2005.
[file][bibtex]
-
DA˛ merging operators.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis.
-
Belief base merging as a game.
Sébastien Konieczny.
Journal of Applied Non-Classical Logics. 14(3). pages 275-294. 2004.
[file][bibtex]
-
Quasi-possibilistic logic and its measures of information and conflict.
Didier Dubois, Sébastien Konieczny, Henri Prade.
-
Merging information under constraints: a logical framework.
Sébastien Konieczny, Ramón Pino Pérez.
-
A framework for iterated revision.
Sébastien Konieczny, Ramón Pino Pérez.
Journal of Applied Non-Classical Logics. 10(3-4). pages 339-367. 2000.
[file][bibtex]
-
Weighted attacks in argumentation frameworks.
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali.
Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12). 2012.
[file][bibtex]
-
Credibility limited revision operators in propositional logic.
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez.
Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12). 2012.
[file][bibtex]
-
Compositional belief merging.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12). 2012.
[file][bibtex]
-
Selecting extensions in weighted argumentation frameworks.
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali.
Fourth International Conference on Computational Models of Argument (COMMA'12). pages 342-349. 2012.
[file][bibtex]
-
Dynamics of Beliefs.
Sébastien Konieczny.
Fifth International Conference on Scalable Uncertainty Management (SUM'11). pages 61-74. 2011.
[file][bibtex]
-
Belief base rationalization for propositional merging.
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind.
Twenty Second International Joint Conference on Artificial Intelligence (IJCAI'11). pages 951-956. 2011.
[file][bibtex]
-
A characterization of optimality criteria for decision making under complete ignorance.
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis.
Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10). 2010.
[file][bibtex]
-
Taxonomy of improvement operators and the problem of minimal change.
Sébastien Konieczny, Mattia Medina Grespan, Ramón Pino Pérez.
Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10). 2010.
[file][bibtex]
-
The epistemic view of belief merging: can we track the truth?.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Nineteenth European Conference on Artificial Intelligence (ECAI'10). pages 621-626. 2010.
[file][bibtex]
-
Using transfinite ordinal conditional functions.
Sébastien Konieczny.
Tenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09). pages 396-407. 2009.
[file][bibtex]
-
Conflict-based merging operators.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Eleventh International Conference
on Principles of Knowledge Representation and Reasoning (KR'08). pages 348-357. 2008.
[file][bibtex]
-
Confluence operators.
Sébastien Konieczny, Ramón Pino Pérez.
Eleventh European Conference on Logics in Artificial Intelligence (JELIA'08). pages 272-284. 2008.
[file][bibtex]
-
A model for multiple outcomes games.
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis.
Twentieth IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08). pages 27-34. 2008.
[file][bibtex]
-
Propositional merging operators based on set-theoretic closeness (short paper).
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Eighteenth European Conference on Artificial Intelligence (ECAI'08). pages 737-738. 2008.
[file][bibtex]
-
Measuring inconsistency through minimal inconsistent sets.
Anthony Hunter, Sébastien Konieczny.
Eleventh International Conference
on Principles of Knowledge Representation and Reasoning (KR'08). pages 358-366. 2008.
[file][bibtex]
-
Improvement operators.
Sébastien Konieczny, Ramón Pino Pérez.
Eleventh International Conference
on Principles of Knowledge Representation and Reasoning (KR'08). pages 177-186. 2008.
[file][bibtex]
-
Extending classical planning to the multi-agent case: a game-theoretic approach.
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis.
Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'07). pages 731-742. 2007.
[file][bibtex]
-
Shapley Inconsistency Values.
Anthony Hunter, Sébastien Konieczny.
Tenth International Conference
on Principles of Knowledge Representation and Reasoning (KR'06). pages 249-259. 2006.
[file][bibtex]
-
Conciliation and consensus in iterated belief merging.
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis.
Eigth European Conference on Symbolic and Quantitative Approaches
to Reasoning with Uncertainty (ECSQARU'05). pages 514-526. 2005.
[file][bibtex]
-
Quota and Gmin merging operators.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05). pages 424-429. 2005.
[file][bibtex]
-
Merging Argumentation Systems.
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis.
Twentieth
American National Conference on Artificial Intelligence
(AAAI'05). pages 614-619. 2005.
[file][bibtex]
-
Reasoning under inconsistency: the forgotten connective.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis.
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05). pages 484-489. 2005.
[file][bibtex]
-
On merging strategy-proofness.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Ninth International Conference
on Principles of Knowledge Representation and Reasoning (KR'04). pages 357-368. 2004.
[file][bibtex]
-
On iterated revision in the AGM
framework.
Andreas Herzig, Sébastien Konieczny, Laurent Perussel.
Seventh European Conference on Symbolic and Quantitative Approaches
to Reasoning with Uncertainty (ECSQARU'03). pages 477-488. 2003.
[file][bibtex]
-
Quantifying information and contradiction in propositional logic through test actions.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis.
Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03). pages 106-111. 2003.
[file][bibtex]
-
On the frontier between arbitration and majority.
Sébastien Konieczny, Ramón Pino Pérez.
Eighth International Conference
on Principles of Knowledge Representation and Reasoning (KR'02). pages 109-118. 2002.
[file][bibtex]
-
Three-valued logics for inconsistency handling.
Sébastien Konieczny, Pierre Marquis.
Eighth European Conference on Logic in Artifical Intelligence (JELIA'02). pages 332-344. 2002.
[file][bibtex]
-
Distance-based merging: a general framework and some complexity results.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis.
Eighth International Conference
on Principles of Knowledge Representation and Reasoning (KR'02). pages 97-108. 2002.
[file][bibtex]
-
Some operators for iterated revision.
Sébastien Konieczny, Ramón Pino Pérez.
Sixth European Conference on Symbolic and Quantitative
Approaches to Reasoning with Uncertainty (ECSQARU'01). pages 498-509. 2001.
[file] [slides][bibtex]
-
On the difference between merging knowledge bases and combining them.
Sébastien Konieczny.
Seventh International Conference
on Principles of Knowledge Representation and Reasoning (KR'00). pages 135-144. 2000.
[file][bibtex]
-
Iterated revision by epistemic states: axioms, semantics and syntax.
Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez.
Fourteenth European Conference on Artificial Intelligence (ECAI'00). pages 13-17. 2000.
[file][bibtex]
-
Merging with integrity constraints.
Sébastien Konieczny, Ramón Pino Pérez.
Fifth European Conference on Symbolic and Quantitative
Approaches to Reasoning with Uncertainty (ECSQARU'99). pages 233-244. 1999.
[file][bibtex]
-
On the logic of merging.
Sébastien Konieczny, Ramón Pino Pérez.
Sixth International Conference on Principles of Knowledge
Representation and Reasoning (KR'98). pages 488-498. 1998.
[file][bibtex]
-
A Characterization of an optimality criterion for decision making under complete ignorance.
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis.
Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). 2008.
[bibtex]
-
Propositional merging operators based on set-theoretic closeness.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). 2008.
[bibtex]
-
Confluence operators.
Sébastien Konieczny, Ramón Pino Pérez.
Second International Workshop on Computational Social Choice (COMSOC'08). 2008.
[bibtex]
-
More games in belief game model: a preliminary report.
Sébastien Konieczny.
Formal Approaches to Multi-Agent Systems (FAMAS'06) - Affiliated workshop to ECAI'06. 2006.
[bibtex]
-
On the logic of merging: Quota and Gmin merging operators.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis.
Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05). 2005.
[bibtex]
-
Iterated belief merging as conciliation operators.
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis.
Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05). 2005.
[bibtex]
-
Propositional belief merging and belief negotiation model.
Sébastien Konieczny.
Tenth International Workshop on Non-Monotonic Reasoning (NMR'04). pages 249-257. 2004.
[file][bibtex]
-
Measures of contradiction and information in propositional bases.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis.
Third World Congress on Paraconsistency (WCP'03). 2003.
[bibtex]
-
Belief as a game on beliefs.
Sébastien Konieczny.
Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources (Affiliated workshop to ECSQARU'03). 2003.
[bibtex]
-
Quasi-possibilistic logic and measures of information and conflict.
Didier Dubois, Sébastien Konieczny, Henri Prade.
First International Workshop on Knowkedge Representation and Approximate reasoning (KR&AR'03). 2003.
[bibtex]
-
Dynamical revision operators with memory.
Sébastien Konieczny, Ramón Pino Pérez.
Ninth International Workshop on Non-Monotonic Reasoning (NMR'02). pages 171-179. 2002.
[file][bibtex]
-
An analysis of merging from a logical point of view.
Sébastien Konieczny, Ramón Pino Pérez.
Eleventh Latin American Symposium on Mathematical Logic (SLALM'98). 1998.
[bibtex]
-
On the difference between arbitration and majority merging.
Sébastien Konieczny, Ramón Pino Pérez.
Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). 1997.
[bibtex]
-
Forward chaining and change operators.
Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez.
Workshop on (Trans)Actions and Change in Logic Programming
and Deductive Databases (DYNAMICS'97), in conjunction with International Logic Programming Symposium (ILPS'97). pages 135-146. 1997.
[file][bibtex]