Ramón Pino Pérez

Jahn Franklin Leal

Soc. Choice Welf., August, 2023

On manipulation in merging epistemic states.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., April, 2023

Generalized binary utility functions and fair allocations.

[BibT_eX]

[DOI]

Rigoberto Fonseca-Delgado

Guido Tapia

Math. Soc. Sci., January, 2023

Iteration of Iterated Belief Revision.

[BibT_eX]

[DOI]

Nicolas Schwind

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Credible Models of Belief Update.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Weighted Merging of Propositional Belief Bases.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique.

[BibT_eX]

[DOI]

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Belief Reconfiguration.

[BibT_eX]

[DOI]

Elise Perrotin

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

On the Representation of Darwiche and Pearl's Epistemic States for Iterated Belief Revision.

[BibT_eX]

[DOI]

Nicolas Schwind

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Borda, Annulation et Fusion de Croyances.

[BibT_eX]

[DOI]

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

On Paraconsistent Belief Revision in LP.

[BibT_eX]

[DOI]

Nicolas Schwind

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Decision-making through Dominance Plausible Rule: New characterizations.

[BibT_eX]

[DOI]

Math. Soc. Sci., 2021

Beyond identical utilities: buyer utility functions and fair allocations.

[BibT_eX]

[DOI]

Rigoberto Fonseca-Delgado

Guido Tapia

CoRR, 2021

Borda, Cancellation and Belief Merging.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Merging Epistemic States and Manipulation.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

On Some Associations Between Mathematical Morphology and Artificial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Discrete Geometry and Mathematical Morphology, 2021

2020

Belief change and 3-valued logics: Characterization of 19, 683 belief change operators.

[BibT_eX]

[DOI]

Nerio Borges

J. Artif. Intell. Res., 2020

Abstract Mathematical morphology based on structuring element: Application to morpho-logic.

[BibT_eX]

[DOI]

Marc Aiguier

CoRR, 2020

2019

Belief revision and 3-valued logics: Characterization of 19, 683 belief change operators.

[BibT_eX]

[DOI]

Nerio Borges

CoRR, 2019

2018

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Resource allocation under uncertainty: an algebraic and qualitative treatment.

[BibT_eX]

[DOI]

Gerardo Chacón

CoRR, 2018

Morphologic for knowledge dynamics: revision, fusion, abduction.

[BibT_eX]

[DOI]

CoRR, 2018

Impossibility in Belief Merging (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Impossibility in belief merging.

[BibT_eX]

[DOI]

Artif. Intell., 2017

On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

Putting More Dynamics in Revision with Memory.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Explanatory Relations Revisited: Links with Credibility-Limited Revision.

[BibT_eX]

[DOI]

María Victoria León

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2016, 2016

2014

Credibility-Limited Improvement Operators.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Confluence operators and their relationships with revision, update and merging.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2013

2012

Exploring the rationality of some syntactic merging operators (extended version)

[BibT_eX]

[DOI]

CoRR, 2012

Duality between Merging Operators and Social Contraction Operators.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Credibility-Limited Revision Operators in Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Exploring the Rationality of Some Syntactic Merging Operators.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012

2011

Logic Based Merging.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

Dominance plausible rule and transitivity.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Logic-Based Fusion of Complex Epistemic States.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Leximax Relations in Decision Making through the Dominance Plausible Rule.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010

Taxonomy of Improvement Operators and the Problem of Minimal Change.

[BibT_eX]

[DOI]

Mattia Medina Grespan

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2008

Improvement Operators.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Confluence Operators.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2006

Merging operators: Beyond the finite case.

[BibT_eX]

[DOI]

Inf. Fusion, 2006

Mediation in the Framework of Morpho-Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2005

2004

Logic-based merging: the infinite case.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Unified Treatment for Knowledge Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

Preferences and explanations.

[BibT_eX]

[DOI]

Artif. Intell., 2003

2002

Merging Information Under Constraints: A Logical Framework.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Dynamical revision operators with memory.

[BibT_eX]

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

On the Frontier between Arbitration and Majority.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Some Operators for Iterated Revision.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Explanatory Relations Based on Mathematical Morphology.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

On Representation Theorems for Nonmonotonic Consequence Relations.

[BibT_eX]

[DOI]

J. Symb. Log., 2000

A framework for iterated revision.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2000

Ordering explanations and the structural rules for abduction.

[BibT_eX]

Proceedings of the KR 2000, 2000

Iterated Revision by Epistemic States: Axioms, Semantics and Syntax.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Jumping to Explanations versus Jumping to Conclusions.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Merging with Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

On the Logic of Merging.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Analysing Rational Properties of Change Operators Based on Forward Chaining.

[BibT_eX]

[DOI]

Proceedings of the Transactions and Change in Logic Databases, 1998

1997

Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations.

[BibT_eX]

[DOI]

Hassan Bezzazi

David Makinson

J. Log. Comput., 1997

1996

Rational Transitivity and its Models.

[BibT_eX]

[DOI]

Hassan Bezzazi

Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996

1994

An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus.

[BibT_eX]

[DOI]

Christian Even

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1991

An Extensional Partial Combinatory Algebra Based on Lamda-Terms.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1989

Decidability of the Restriction Equational Theory in the Partial Lambda Calculus.

[BibT_eX]

[DOI]