Bibliographical DataBases:
Decision
- A characterization of optimality criteria for decision making under complete ignorance..
- A Characterization of an optimality criterion for decision making under complete ignorance..Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). 2008. [bibtex]
Argumentation
- On the aggregation of argumentation frameworks: operators and postulates..
- Gradual semantics accounting for similarity between arguments..
- Combining Extension-based semantics and Ranking-based semantics for Abstract Argumentation..
- A Comparative Study of Ranking-Based Semantics for Abstract Argumentation..
- Merging of Abstract Argumentation Frameworks..
- Argumentation Ranking Semantics based on Propagation..
- On the Aggregation of Argumentation Frameworks..
- Extension Enforcement in Abstract Argumentation as an Optimization Problem..
- On Supported Inference and Extension Selection in Abstract Argumentation Frameworks..
- A Translation-Based Approach for Revision of Argumentation Frameworks..
- On the revision of argumentation systems: minimal change of arguments statuses..
- Selecting extensions in weighted argumentation frameworks..
- Weighted attacks in argumentation frameworks..
- 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]
- On the revision of argumentation frameworks: minimal change of arguments status..Dagsthul Seminar #9351: Information processing, rational belief change and social interaction. 2013. [bibtex]
- Agrégation de Systèmes d'Argumentation..Journées d'Intelligence Artificielles Fondamentales (IAF'15). 2015. [bibtex]
- Révision de systèmes d'argumentation : changement minimal du statut des arguments..
Divers
- Artificial Intelligence Conferences Closeness..
- Utilitarian and Egalitarian Solutions for Multi-objective Constraint Optimization..IEEE International Conference on Tools with Artificial Intelligence (ICTAI'14). pages 170-177. 2014. [bibtex]
- Discriminative MO-COP Operators..International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OPTMAS-DCR). 2014. [bibtex]
Negociation
Revision
- Contraction in propositional logic..
- What has been said? Identifying the change formula in a belief revision scenario..
- On Belief Promotion..
- SAT Encodings for Distance-Based Belief Merging Operators..
- A Parametrized Ranking-Based Semantics for Persuasion..
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity..
- Boosting Distance-Based Revision Using SAT Encodings..
- Putting More Dynamics in Revision with Memory..
Fusion
- Belief base rationalization for propositional merging..
- Confluence operators and their relationships with revision, update and merging..
- Logic Based Merging..
- Disjunctive merging: Quota and Gmin merging operators..
- On the merging of Dung's argumentation systems..
- Conciliation through iterated belief merging..
- The strategy-proofness landscape of merging..
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory..
- Belief base merging as a game..
- DA² merging operators..
- Merging information under constraints: a logical framework..
- Special issue on Logic-based approaches to information fusion.ed.Information Fusion. 7(1). 2006. [bibtex]
- Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?..
- On Distances Between KD45n Kripke Models and Their Use for Belief Revision..
- Belief Revision Games..
- Belief Merging versus Judgment Aggregation..
- Counting votes for aggregating judgments..
- Propositional merging and judgment aggregation: Two compatible approaches? (short paper)..
- On egalitarian belief merging..
- Compositional belief merging..
- Dynamics of Beliefs..
- Belief base rationalization for propositional merging..
- The epistemic view of belief merging: can we track the truth?..
- Confluence operators..
- Conflict-based merging operators..
- Propositional merging operators based on set-theoretic closeness (short paper)..
- Quota and Gmin merging operators..
- Merging Argumentation Systems..
- Conciliation and consensus in iterated belief merging..
- On merging strategy-proofness..
- Distance-based merging: a general framework and some complexity results..
- On the frontier between arbitration and majority..
- On the difference between merging knowledge bases and combining them..
- Merging with integrity constraints..
- On the logic of merging..
- Confluence operators..Second International Workshop on Computational Social Choice (COMSOC'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]
- Iterated belief merging as conciliation operators..Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05). 2005. [bibtex]
- On the logic of merging: Quota and Gmin merging 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]
- 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]
- 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]
- Improvement operators..Dagsthul Seminar #13231: Belief Change and Argumentation in Multi-Agent Scenarios. 2009. [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]
- Rationalisation de bases de croyances pour la fusion en logique propositionnelle..
Multi-agents
- A model for multiple outcomes games..
- Extending classical planning to the multi-agent case: a game-theoretic approach..
- Jeux qualitatifs à résultats multiples..
Théorie des jeux
- Qualitative multiple outcomes games with consensus..Third World Congress of the Game Theory Society (GAME'08). 2008. [bibtex]
Thèse / Habilitation
- Raisonnement & Incohérence..
- Sur la logique du changement : révision et fusion de bases de connaissance..
Révision
- A framework for iterated revision..
- Analysing rational properties of change operators based on forward chaining..
- Contraction in Propositional Logic..
- Private Expansion and Revision in Multi-agent Settings..
- Private Revision in a Multi-Agent Setting..
- Credibility-limited improvement operators..
- Credibility limited revision operators in propositional logic..
- Taxonomy of improvement operators and the problem of minimal change..
- Using transfinite ordinal conditional functions..
- Improvement operators..
- On iterated revision in the AGM framework..
- Some operators for iterated revision..
- Iterated revision by epistemic states: axioms, semantics and syntax..
- Dynamical revision operators with memory..
- Forward chaining and change operators..
- Credibility-Limited Improvement Operators..2nd Madeira Workshop on Belief Revision and Argumentation. 2015. [bibtex]
- Contraction en logique propositionnelle finie..
Raisonnement en présence d incohérence
- On the measure of conflicts: Shapley Inconsistency Values..
- Bipolarity in bilattice logics..International Journal of Intelligent Systems. 23(9). pages 1046-1061. 2008. [bibtex]
- Quasi-possibilistic logic and its measures of information and conflict..
- Approaches to measuring inconsistent information..
- Rational inference relations from maximal consistent subsets selection..
- Towards a Unified Framework for Syntactic Inconsistency Measures..
- New inference relations from maximal consistent subsets (short paper)..
- On Consensus Extraction..
- A reasoning platform based on the MI Shapley inconsistency value..
- Measuring inconsistency through minimal inconsistent sets..
- Shapley Inconsistency Values..
- Reasoning under inconsistency: the forgotten connective..
- Quantifying information and contradiction in propositional logic through test actions..
- Three-valued logics for inconsistency handling..
- Quasi-possibilistic logic and measures of information and conflict..First International Workshop on Knowkedge Representation and Approximate reasoning (KR&AR'03). 2003. [bibtex]
- Measures of contradiction and information in propositional bases..Third World Congress on Paraconsistency (WCP'03). 2003. [bibtex]