Bibliographical DataBases:
International Journals
- On the aggregation of argumentation frameworks: operators and postulates.
- Belief base rationalization for propositional merging.
- Contraction in propositional logic.
- Confluence operators and their relationships with revision, update and merging.
- Logic Based Merging.
- On the measure of conflicts: Shapley Inconsistency Values.
- Disjunctive merging: Quota and Gmin merging operators.
- Bipolarity in bilattice logics.International Journal of Intelligent Systems. 23(9). pages 1046-1061. 2008.[bibtex]
- On the merging of Dung's argumentation systems.
- The strategy-proofness landscape of merging.
- Conciliation through iterated belief merging.
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory.
- DA² merging operators.
- Belief base merging as a game.
- Quasi-possibilistic logic and its measures of information and conflict.
- Merging information under constraints: a logical framework.
- A framework for iterated revision.
Edited Volumes
- Special issue on Logic-based approaches to information fusion.Information Fusion. 7(1). 2006. [bibtex]
Book Chapters
- Approaches to measuring inconsistent information.
- Analysing rational properties of change operators based on forward chaining.
International Conferences (with selection committee and published proceedings)
- What has been said? Identifying the change formula in a belief revision scenario.
- Rational inference relations from maximal consistent subsets selection.
- Combining Extension-based semantics and Ranking-based semantics for Abstract Argumentation.
- On Belief Promotion.
- New inference relations from maximal consistent subsets (short paper).
- Artificial Intelligence Conferences Closeness.
- Gradual semantics accounting for similarity between arguments.
- Towards a Unified Framework for Syntactic Inconsistency Measures.
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity.
- Boosting Distance-Based Revision Using SAT Encodings.
- SAT Encodings for Distance-Based Belief Merging Operators.
- Putting More Dynamics in Revision with Memory.
- A Parametrized Ranking-Based Semantics for Persuasion.
- Merging of Abstract Argumentation Frameworks.
- On Distances Between KD45n Kripke Models and Their Use for Belief Revision.
- A Comparative Study of Ranking-Based Semantics for Abstract Argumentation.
- Argumentation Ranking Semantics based on Propagation.
- Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?.
- On Consensus Extraction.
- Belief Merging versus Judgment Aggregation.
- Private Expansion and Revision in Multi-agent Settings.
- Private Revision in a Multi-Agent Setting.
- On Supported Inference and Extension Selection in Abstract Argumentation Frameworks.
- Extension Enforcement in Abstract Argumentation as an Optimization Problem.
- Contraction in Propositional Logic.
- Belief Revision Games.
- On the Aggregation of Argumentation Frameworks.
- Counting votes for aggregating judgments.
- On egalitarian belief merging.
- Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization.IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14). pages 170-177. 2014.[bibtex]
- Credibility-limited improvement operators.
- A Translation-Based Approach for Revision of Argumentation Frameworks.
- Propositional merging and judgment aggregation: Two compatible approaches? (short paper).
- On the revision of argumentation systems: minimal change of arguments statuses.
- A reasoning platform based on the MI Shapley inconsistency value.
- Credibility limited revision operators in propositional logic.
- Selecting extensions in weighted argumentation frameworks.
- Weighted attacks in argumentation frameworks.
- Compositional belief merging.
- Belief base rationalization for propositional merging.
- Dynamics of Beliefs.
- A characterization of optimality criteria for decision making under complete ignorance.
- The epistemic view of belief merging: can we track the truth?.
- Taxonomy of improvement operators and the problem of minimal change.
- Using transfinite ordinal conditional functions.
- Measuring inconsistency through minimal inconsistent sets.
- A model for multiple outcomes games.
- Conflict-based merging operators.
- Improvement operators.
- Propositional merging operators based on set-theoretic closeness (short paper).
- Confluence operators.
- Extending classical planning to the multi-agent case: a game-theoretic approach.
- Shapley Inconsistency Values.
- Merging Argumentation Systems.
- Quota and Gmin merging operators.
- Reasoning under inconsistency: the forgotten connective.
- Conciliation and consensus in iterated belief merging.
- On merging strategy-proofness.
- Quantifying information and contradiction in propositional logic through test actions.
- On iterated revision in the AGM framework.
- On the frontier between arbitration and majority.
- Distance-based merging: a general framework and some complexity results.
- Three-valued logics for inconsistency handling.
- Some operators for iterated revision.
- On the difference between merging knowledge bases and combining them.
- Iterated revision by epistemic states: axioms, semantics and syntax.
- Merging with integrity constraints.
- On the logic of merging.
International Workshops (with selection committee, without published proceedings)
- Discriminative MO-COP Operators.International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OPTMAS-DCR). 2014.[bibtex]
- On the revision of argumentation systems: minimal change of arguments statuses.Second International Workshop on Theory and Applications of Formal Argumentation (TAFA'13). 2013.[bibtex]
- Confluence operators.Second International Workshop on Computational Social Choice (COMSOC'08). 2008.[bibtex]
- A Characterization of an optimality criterion for decision making under complete ignorance.Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). 2008.[bibtex]
- Propositional merging operators based on set-theoretic closeness.Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). 2008.[bibtex]
- More games in belief game model: a preliminary report.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.Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05). 2005.[bibtex]
- Iterated belief merging as conciliation operators.Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05). 2005.[bibtex]
- Propositional belief merging and belief negotiation model.
- Belief as a game on beliefs.Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources (Affiliated workshop to ECSQARU'03). 2003.[bibtex]
- Measures of contradiction and information in propositional bases.Third World Congress on Paraconsistency (WCP'03). 2003.[bibtex]
- Quasi-possibilistic logic and measures of information and conflict.First International Workshop on Knowkedge Representation and Approximate reasoning (KR&AR'03). 2003.[bibtex]
- Dynamical revision operators with memory.
- An analysis of merging from a logical point of view.Eleventh Latin American Symposium on Mathematical Logic (SLALM'98). 1998.[bibtex]
- On the difference between arbitration and majority merging.Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). 1997.[bibtex]
- Forward chaining and change operators.
Workshops and Seminars (without selection committee)
- Credibility-Limited Improvement Operators.2nd Madeira Workshop on Belief Revision and Argumentation. 2015.[bibtex]
- Two theories of logical aggregation: On the links between belief merging and judgment aggregation.Dagsthul Seminar #14202: Judgment Aggregation for Artificial Intelligence. 2014.[bibtex]
- Judgments aggregation based on the number of votes.COST Action IC1205 on Computational Social Choice - Meeting on Judgment Aggregation and Matching. 2013.[bibtex]
- On the revision of argumentation frameworks: minimal change of arguments status.Dagsthul Seminar #9351: Information processing, rational belief change and social interaction. 2013.[bibtex]
- Improvement operators.Dagsthul Seminar #13231: Belief Change and Argumentation in Multi-Agent Scenarios. 2009.[bibtex]
- Qualitative multiple outcomes games with consensus.Third World Congress of the Game Theory Society (GAME'08). 2008.[bibtex]
- Inconsistency measures and their application to belief change.Dagsthul Seminar #7351 : Formal Models of Belief Change in Rational Agents. 2007.[bibtex]
- Conciliation, negotiation and merging.Dagsthul Seminar #5321 : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. 2005.[bibtex]
Invited Talks
- Iterated belief revision and improvement operators.Preference Change Workshop, London School of Economics (LSE). London, UK. 28-30 mai 2009. [url]
- Around propositional base merging.8th Augustus De Morgan Workshop: Belief revision, belief merging and social choice (ADMW'06). King's College, London, UK. 8-10 Novembre 2006. [url]
PhD Thesis
- Raisonnement & Incohérence.
- Sur la logique du changement : révision et fusion de bases de connaissance.