Bases Bibliographiques:
2019
- Rational inference relations from maximal consistent subsets selection..
- What has been said? Identifying the change formula in a belief revision scenario..
- Combining Extension-based Semantics and Ranking-based Semantics for Abstract Argumentation..Journées d'Intelligence Artificielles Fondamentales (IAF'19). 2019. [bibtex]
2018
- On the aggregation of argumentation frameworks: operators and postulates..
- Belief base rationalization for propositional merging..
- On Belief Promotion..
- Artificial Intelligence Conferences Closeness..
- Gradual semantics accounting for similarity between arguments..
- New inference relations from maximal consistent subsets (short paper)..
- Combining Extension-based semantics and Ranking-based semantics for Abstract Argumentation..
- Towards a Unified Framework for Syntactic Inconsistency Measures..
2017
- Contraction in propositional logic..
- SAT Encodings for Distance-Based Belief Merging Operators..
- Boosting Distance-Based Revision Using SAT Encodings..
- Putting More Dynamics in Revision with Memory..
- A Parametrized Ranking-Based Semantics for Persuasion..
- On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity..
- Une Sémantique Graduée Paramétrique pour la Persuasion..
2016
- On Consensus Extraction..
- Merging of Abstract Argumentation Frameworks..
- Argumentation Ranking Semantics based on Propagation..
- Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?..
- On Distances Between KD45n Kripke Models and Their Use for Belief Revision..
- A Comparative Study of Ranking-Based Semantics for Abstract Argumentation..
- Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances..
- On Consensus Extraction..
- Etude Comparative de Sémantiques Graduées pour l’Argumentation Abstraite..
2015
- Extension Enforcement in Abstract Argumentation as an Optimization Problem..
- Belief Merging versus Judgment Aggregation..
- Private Revision in a Multi-Agent Setting..
- On the Aggregation of Argumentation Frameworks..
- Private Expansion and Revision in Multi-agent Settings..
- On Supported Inference and Extension Selection in Abstract Argumentation Frameworks..
- Belief Revision Games..
- Contraction in Propositional Logic..
- Credibility-Limited Improvement Operators..2nd Madeira Workshop on Belief Revision and Argumentation. 2015. [bibtex]
- Forçage d'extension en argumentation abstraite par optimisation booléenne..
- Agrégation de Systèmes d'Argumentation..Journées d'Intelligence Artificielles Fondamentales (IAF'15). 2015. [bibtex]
2014
- Approches de la révision et de la fusion d'informations..Panorama de l'Intelligence Artificielle. Cepadues . 2014. [bibtex]
- On the revision of argumentation systems: minimal change of arguments statuses..
- Credibility-limited improvement operators..
- A Translation-Based Approach for Revision of Argumentation Frameworks..
- Propositional merging and judgment aggregation: Two compatible approaches? (short paper)..
- On egalitarian belief merging..
- Counting votes for aggregating judgments..
- 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]
- Two theories of logical aggregation: On the links between belief merging and judgment aggregation..Dagsthul Seminar #14202: Judgment Aggregation for Artificial Intelligence. 2014. [bibtex]
- Approche par traduction pour la révision de systèmes d'argumentation..
- Expansion et révision privées dans KD45n..
2013
- Confluence operators and their relationships with revision, update and merging..
- A reasoning platform based on the MI Shapley inconsistency value..
- 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]
- 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]
- Plateforme de raisonnement basée sur la valeur d'incohérence de Shapley MI..
- Correspondances d'agrégation de jugements basées sur le nombre de votes..
- Révision de systèmes d'argumentation : changement minimal du statut des arguments..
- Sur la fusion de croyances égalitaire..
- Contraction en logique propositionnelle finie..
2012
- Intelligence Artificielle Fondamentale : Ses contours généraux et un aperçu de quelques problématiques importantes..
- Compositional belief merging..
- Selecting extensions in weighted argumentation frameworks..
- Weighted attacks in argumentation frameworks..
- Credibility limited revision operators in propositional logic..
2011
- Logic Based Merging..
- Belief base rationalization for propositional merging..
- Dynamics of Beliefs..
- Rationalisation de bases de croyances pour la fusion en logique propositionnelle..
2010
- Disjunctive merging: Quota and Gmin merging operators..
- On the measure of conflicts: Shapley Inconsistency Values..
- Numéro Spécial (suite à IAF'08).ed.Information - Interaction - Intelligence. 9(2). 2010. [bibtex]
- Taxonomy of improvement operators and the problem of minimal change..
- The epistemic view of belief merging: can we track the truth?..
- A characterization of optimality criteria for decision making under complete ignorance..
- Sur les fonctions ordinales conditionnelles transfinies..
- Opérateurs d'amélioration..
- Raisonnement & Incohérence..
2009
- Using transfinite ordinal conditional functions..
- Improvement operators..Dagsthul Seminar #13231: Belief Change and Argumentation in Multi-Agent Scenarios. 2009. [bibtex]
- Opérateurs de confluence..
- Un point de vue épistémique sur la fusion de croyances: l'identification du monde réel..
- Iterated belief revision and improvement operators..Preference Change Workshop, London School of Economics (LSE). Conférence Invitée. London, UK. 28-30 mai 2009. [url].
2008
- Bipolarity in bilattice logics..International Journal of Intelligent Systems. 23(9) .pages 1046-1061.2008. [bibtex]
- Confluence operators..
- Improvement operators..
- Propositional merging operators based on set-theoretic closeness (short paper)..
- A model for multiple outcomes games..
- Conflict-based merging operators..
- Measuring inconsistency through minimal inconsistent sets..
- A Characterization of an optimality criterion for decision making under complete ignorance..Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). 2008. [bibtex]
- 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]
- Qualitative multiple outcomes games with consensus..Third World Congress of the Game Theory Society (GAME'08). 2008. [bibtex]
- Jeux qualitatifs à résultats multiples..
2007
- On the merging of Dung's argumentation systems..
- Conciliation through iterated belief merging..
- The strategy-proofness landscape of merging..
- Extending classical planning to the multi-agent case: a game-theoretic approach..
- Inconsistency measures and their application to belief change..Dagsthul Seminar #7351 : Formal Models of Belief Change in Rational Agents. 2007. [bibtex]
- SBMG: conciliation et mesures de conflit..
- Planification multi-agent et diagnostique stratégique..
2006
- Special issue on Logic-based approaches to information fusion.ed.Information Fusion. 7(1). 2006. [bibtex]
- Shapley Inconsistency Values..
- More games in belief game model: a preliminary report..Formal Approaches to Multi-Agent Systems (FAMAS'06) - Affiliated workshop to ECAI'06. 2006. [bibtex]
- Around propositional base merging..8th Augustus De Morgan Workshop: Belief revision, belief merging and social choice (ADMW'06). Conférence Invitée. King's College, London, UK. 8-10 Novembre 2006. [url].
2005
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory..
- Approaches to measuring inconsistent information..
- Merging Argumentation Systems..
- Conciliation and consensus in iterated belief merging..
- Reasoning under inconsistency: the forgotten connective..
- Quota and Gmin merging operators..
- 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]
- Conciliation, negotiation and merging..Dagsthul Seminar #5321 : Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. 2005. [bibtex]
2004
- DA² merging operators..
- Belief base merging as a game..
- On merging strategy-proofness..
- Propositional belief merging and belief negotiation model..
- Logique quasi-possibiliste et mesures de conflit..
- Raisonnement en présence d incohérence : le connecteur oublié..
2003
- Quasi-possibilistic logic and its measures of information and conflict..
- On iterated revision in the AGM framework..
- Quantifying information and contradiction in propositional logic through test actions..
- Quasi-possibilistic logic and measures of information and conflict..First International Workshop on Knowkedge Representation and Approximate reasoning (KR&AR'03). 2003. [bibtex]
- 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]
- Opérateurs de fusion à quota..
- De la manipulabilité des opérateurs de fusion de croyances..
2002
- Merging information under constraints: a logical framework..
- Sur la représentation des états épistémiques et la révision itérée..
- De la révision à la fusion de croyances..
- Sur la modélisation de la concertation entre agents : fusion de bases de croyances..
- Distance-based merging: a general framework and some complexity results..
- On the frontier between arbitration and majority..
- Three-valued logics for inconsistency handling..
- Dynamical revision operators with memory..
- Fusion de bases de croyances à partir de distances : modèle général et complexité algorithmique..
2001
- Some operators for iterated revision..
- Sur la logique de la concertation entre agents..
2000
- A framework for iterated revision..
- Iterated revision by epistemic states: axioms, semantics and syntax..
- On the difference between merging knowledge bases and combining them..
1999
- Merging with integrity constraints..
- Fusion avec contraintes d'intégrité..
- Révision itérée basée sur la primauté forte des observations..
- Sur la logique du changement : révision et fusion de bases de connaissance..
1998
- Analysing rational properties of change operators based on forward chaining..
- On the logic of merging..
- An analysis of merging from a logical point of view..Eleventh Latin American Symposium on Mathematical Logic (SLALM'98). 1998. [bibtex]
1997
- Forward chaining and change operators..
- On the difference between arbitration and majority merging..Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97). 1997. [bibtex]
1996
- Vers un modèle de la coopération..6eme colloque de l'Association pour la Recherche Cognitive (ARC'96). pages 227-231.1996. [bibtex]
-
-