Bibliographical DataBases:
Argumentation Ranking Semantics based on Propagation.
Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet
. Sixth International Conference on Computational Models of Argument (COMMA'16).
2016.
[pdf] [bibtex]
On Consensus Extraction.
Eric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez
. Twenty Fifth International Joint Conference on Artificial Intelligence (IJCAI'16).
pages 1095-1101.2016.
[pdf] [bibtex]
On Distances Between KD45n Kripke Models and Their Use for Belief Revision.
Thomas Caridroit, Tiago de Lima, Sébastien Konieczny, Pierre Marquis
. Twenty Second European Conference on Artifical Intelligence (ECAI'16).
pages 1053-1061.2016.
[pdf] [bibtex]
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?.
Nicolas Schwind, Kastumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
. Twenty Fifth International Joint Conference on Artificial Intelligence (IJCAI'16).
pages 1237-1243.2016.
[pdf] [bibtex]
Merging of Abstract Argumentation Frameworks.
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran
. Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'16).
pages 33-42.2016.
[pdf] [bibtex]
A Comparative Study of Ranking-Based Semantics for Abstract Argumentation.
Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet
. Thirtieth AAAI Conference on Artificial Intelligence (AAAI'16).
pages 914-920.2016.
[pdf] [bibtex]
Extension Enforcement in Abstract Argumentation as an Optimization Problem.
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
. Twenty Fourth International Joint Conference on Artificial Intelligence (IJCAI'15).
pages 2876-2882.2015.
[pdf] [bibtex]
On Supported Inference and Extension Selection in Abstract Argumentation Frameworks.
Sébastien Konieczny, Pierre Marquis, Srdjan Vesic
. Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15).
pages 49-59.2015.
[pdf] [bibtex]
Private Expansion and Revision in Multi-agent Settings.
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
. Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15).
pages 175-185.2015.
[pdf] [bibtex]
Belief Merging versus Judgment Aggregation.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Fourteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'15).
pages 999-1007.2015.
[pdf] [bibtex]
Belief Revision Games.
Nicolas Schwind, Kastumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
. Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI'15).
pages 1590-1596.2015.
[pdf] [bibtex]
Contraction in Propositional Logic.
Thomas Caridroit, Sébastien Konieczny, Pierre Marquis
. Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'15).
pages 186-196.2015.
[pdf] [bibtex]
Private Revision in a Multi-Agent Setting.
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
. Fourteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'15).
pages 1677-1678.2015.
[pdf] [bibtex]
On the Aggregation of Argumentation Frameworks.
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic
. Twenty Fourth International Joint Conference on Artificial Intelligence (IJCAI'15).
pages 2911-2917.2015.
[pdf] [bibtex]
Credibility-Limited Improvement Operators.
Sébastien Konieczny
. 2nd Madeira Workshop on Belief Revision and Argumentation.
2015.
[bibtex]
Agrégation de Systèmes d'Argumentation.
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic
. Journées d'Intelligence Artificielles Fondamentales (IAF'15).
2015.
[bibtex]
On the revision of argumentation systems: minimal change of arguments statuses.
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
. Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14).
2014.
[pdf] [bibtex]
Credibility-limited improvement operators.
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez
. Twenty First European Conference on Artifical Intelligence (ECAI'14).
pages 123-128.2014.
[pdf] [bibtex]
A Translation-Based Approach for Revision of Argumentation Frameworks.
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
. Fourteenth European Conference on Logics in Artificial Intelligence (JELIA'14).
pages 397-411.2014.
[pdf] [bibtex]
Propositional merging and judgment aggregation: Two compatible approaches? (short paper).
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Twenty First European Conference on Artifical Intelligence (ECAI'14).
2014.
[pdf] [bibtex]
On egalitarian belief merging.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14).
2014.
[pdf] [bibtex]
Counting votes for aggregating judgments.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Thirteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14).
pages 1177-1184.2014.
[pdf] [bibtex]
Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization.
Nicolas Schwind, Tenda Okimoto, Sébastien Konieczny, Maxime Wack, Kastumi Inoue
. IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14).
pages 170-177.2014.
[bibtex]
Discriminative MO-COP Operators.
Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sébastien Konieczny, Kastumi Inoue
. International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OPTMAS-DCR).
2014.
[bibtex]
Two theories of logical aggregation: On the links between belief merging and judgment aggregation.
Sébastien Konieczny
. Dagsthul Seminar #14202: Judgment Aggregation for Artificial Intelligence.
2014.
[bibtex]
Confluence operators and their relationships with revision, update and merging.
Sébastien Konieczny, Ramón Pino Pérez
. Annals of Mathematics and Artificial Intelligence.
69.pages 73-101.2013.
[pdf] [bibtex]
A reasoning platform based on the MI Shapley inconsistency value.
Sébastien Konieczny, Stéphanie Roussel
. Twelth European Conference on Symbolic and Quantitive Approaches to Reasoning with Uncertainty (ECSQARU'13).
pages 315-327.2013.
[pdf] [bibtex]
On the revision of argumentation systems: minimal change of arguments statuses.
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
. Second International Workshop on Theory and Applications of Formal Argumentation (TAFA'13).
2013.
[bibtex]
On the revision of argumentation frameworks: minimal change of arguments status.
Sébastien Konieczny
. Dagsthul Seminar #9351: Information processing, rational belief change and social interaction.
2013.
[bibtex]
Judgments aggregation based on the number of votes.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. COST Action IC1205 on Computational Social Choice - Meeting on Judgment Aggregation and Matching.
2013.
[bibtex]
Révision de systèmes d'argumentation : changement minimal du statut des arguments.
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
. Journées d'Intelligence Artificielles Fondamentales (IAF'13).
2013.
[pdf] [bibtex]
Contraction en logique propositionnelle finie.
Thomas Caridroit, Sébastien Konieczny, Pierre Marquis
. Journées d'Intelligence Artificielles Fondamentales (IAF'13).
2013.
[pdf] [bibtex]
Compositional belief merging.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12).
2012.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [bibtex]
Logic Based Merging.
Sébastien Konieczny, Ramón Pino Pérez
. Journal of Philosophical Logic.
40(2) .pages 239-270.2011.
[pdf] [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.
[pdf] [bibtex]
Dynamics of Beliefs.
Sébastien Konieczny
. Fifth International Conference on Scalable Uncertainty Management (SUM'11).
pages 61-74.2011.
[pdf] [bibtex]
Rationalisation de bases de croyances pour la fusion en logique propositionnelle.
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind
. Journées d'Intelligence Artificielles Fondamentales (IAF'11).
2011.
[pdf] [bibtex]
Disjunctive merging: Quota and Gmin merging operators.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Artificial Intelligence.
174(12-13) .pages 824-849.2010.
[pdf] [bibtex]
On the measure of conflicts: Shapley Inconsistency Values.
Anthony Hunter, Sébastien Konieczny
. Artificial Intelligence.
174(14) .pages 1007-1026.2010.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [bibtex]
Raisonnement & Incohérence.
Sébastien Konieczny
. Habilitation à diriger des recherches. Centre de Recherche en Informatique de Lens.
2010.
[pdf] [slides] [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.
[pdf] [bibtex]
Improvement operators.
Sébastien Konieczny
. Dagsthul Seminar #13231: Belief Change and Argumentation in Multi-Agent Scenarios.
2009.
[bibtex]
Iterated belief revision and improvement operators.
Sébastien Konieczny
. Preference Change Workshop, London School of Economics (LSE). Invited Talk. London, UK. 28-30 mai 2009.
[url] .
Bipolarity in bilattice logics.
Philippe Besnard, Sébastien Konieczny, Pierre Marquis
. International Journal of Intelligent Systems.
23(9) .pages 1046-1061.2008.
[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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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]
Confluence operators.
Sébastien Konieczny, Ramón Pino Pérez
. Second International Workshop on Computational Social Choice (COMSOC'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]
Qualitative multiple outcomes games with consensus.
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
. Third World Congress of the Game Theory Society (GAME'08).
2008.
[bibtex]
Jeux qualitatifs à résultats multiples.
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
. Journées Francophones des Systèmes Multi-Agents (JFSMA'08).
pages 65-74.2008.
[pdf] [bibtex]
On the merging of Dung's argumentation systems.
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
.
Conciliation through iterated belief merging.
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
. Journal of Logic and Computation.
17(5) .pages 909-937.2007.
[pdf] [bibtex]
The strategy-proofness landscape of merging.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
. Journal of Artificial Intelligence Research.
28.pages 49-105.2007.
[pdf] [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.
[pdf] [bibtex]
Inconsistency measures and their application to belief change.
Sébastien Konieczny
. Dagsthul Seminar #7351 : Formal Models of Belief Change in Rational Agents.
2007.
[bibtex]
Special issue on Logic-based approaches to information fusion.
Eric Grégoire, Sébastien Konieczny
ed.
Shapley Inconsistency Values.
Anthony Hunter, Sébastien Konieczny
. Tenth International Conference
on Principles of Knowledge Representation and Reasoning (KR'06).
pages 249-259.2006.
[pdf] [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]
Around propositional base merging.
Sébastien Konieczny
. 8th Augustus De Morgan Workshop: Belief revision,
belief merging and social choice (ADMW'06). Invited Talk. King's College, London, UK. 8-10 Novembre 2006.
[url] .
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.
[pdf] [bibtex]
Approaches to measuring inconsistent information.
Anthony Hunter, Sébastien Konieczny
. Inconsistency tolerance.
Springer LNCS 3300. pages 189-234.2005.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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]
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]
Conciliation, negotiation and merging.
Sébastien Konieczny
. Dagsthul Seminar #5321 : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics.
2005.
[bibtex]
DA² merging operators.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
. Artificial Intelligence.
157(1-2) .pages 49-79.2004.
[pdf] [bibtex]
Belief base merging as a game.
Sébastien Konieczny
. Journal of Applied Non-Classical Logics.
14(3) .pages 275-294.2004.
[pdf] [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.
[pdf] [bibtex]
Propositional belief merging and belief negotiation model.
Sébastien Konieczny
. Tenth International Workshop on Non-Monotonic Reasoning (NMR'04).
pages 249-257.2004.
[pdf] [bibtex]
Quasi-possibilistic logic and its measures of information and conflict.
Sébastien Konieczny, Didier Dubois, Henri Prade
. Fundamenta Informaticae.
57(2-4) .pages 101-125.2003.
[pdf] [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.
[pdf] [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.
[pdf] [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]
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]
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]
Merging information under constraints: a logical framework.
Sébastien Konieczny, Ramón Pino Pérez
. Journal of Logic and Computation.
12(5) .pages 773-808.2002.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [slides] [bibtex]
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.
[pdf] [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.
[pdf] [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.
[pdf] [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.
[pdf] [bibtex]
Sur la logique du changement : révision et fusion de bases de connaissance.
Sébastien Konieczny
. Thèse de doctorat. Laboratoire d'Informatique Fondamentale de Lille.
1999.
[pdf] [bibtex]
Analysing rational properties of change operators based on forward chaining.
Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez
. Transaction and Change in Logic Databases.
Springer LNCS 1472. pages 317-339.1998.
[pdf] [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.
[pdf] [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]
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.
[pdf] [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]