Artificial Intelligence
More complicated questions about maxima and minima, and some closures of NP
Theoretical Computer Science
On ordered weighted averaging aggregation operators in multicriteria decisionmaking
IEEE Transactions on Systems, Man and Cybernetics
A knowledge level analysis of belief revision
Proceedings of the first international conference on Principles of knowledge representation and reasoning
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The computational complexity of propositional STRIPS planning
Artificial Intelligence
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Qualitative decision under uncertainty: back to expected utility
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Logic-based approaches to information fusion
Information Fusion
A split-combination approach to merging knowledge bases in possibilistic logic
Annals of Mathematics and Artificial Intelligence
Combining multiple prioritized knowledge bases by negotiation
Fuzzy Sets and Systems
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
A Short Introduction to Computational Social Choice
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Approaches to Constructing a Stratified Merged Knowledge Base
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Propositional merging operators based on set-theoretic closeness
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Knowledge Base Stratification and Merging Based on Degree of Support
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Merging stratified knowledge bases under constraints
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Belief Merging-Based Case Combination
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Aggregation of Trust for Iterated Belief Revision in Probabilistic Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
A model-based approach for merging prioritized knowledge bases in possibilistic logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The strategy-proofness landscape of merging
Journal of Artificial Intelligence Research
A syntax-based framework for merging imprecise probabilistic logic programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Complete Conclusion-Based Procedure for Judgment Aggregation
ADT '09 Proceedings of the 1st International Conference on Algorithmic Decision Theory
Implementing PS-Merge Operator
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Merging first-order knowledge using dilation operators
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Merging qualitative constraint networks defined on different qualitative formalisms
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Disjunctive merging: Quota and Gmin merging operators
Artificial Intelligence
On the measure of conflicts: Shapley Inconsistency Values
Artificial Intelligence
The Knowledge Engineering Review
The Epistemic View of Belief Merging: Can We Track the Truth?
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Majority Merging: from Boolean Spaces to Affine Spaces
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A comparison of merging operators in possibilistic logic
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
A model for the integration of prioritized knowledge bases through subjective belief games
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A syntactical approach to qualitative constraint networks merging
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Declarative belief set merging using merging plans
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Artificial Intelligence
Judgment aggregation rules based on minimization
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
A Syntax-based approach to measuring the degree of inconsistency for belief bases
International Journal of Approximate Reasoning
Merging belief bases by negotiation
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Ontology merging as social choice
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Quota-Based merging operators for stratified knowledge bases
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Conciliation and consensus in iterated belief merging
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Amalgams: a formal approach for combining multiple case solutions
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
Amalgam-Based reuse for multiagent case-based reasoning
ICCBR'11 Proceedings of the 19th international conference on Case-Based Reasoning Research and Development
Duality between merging operators and social contraction operators
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Belief base rationalization for propositional merging
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Quantifying disagreement in argument-based reasoning
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
From axiomatic to strategic models of bargaining with logical beliefs and goals
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Introduction to judgment aggregation
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
An axiomatic model for merging stratified belief bases by negotiation
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
Axiomatic characterization of belief merging by negotiation
Multimedia Tools and Applications
Lost in translation: Language independence in propositional logic - application to belief change
Artificial Intelligence
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
A new framework for propositional merging is presented. DA2 merging operators, parameterized by a distance between interpretations and two aggregation functions, are introduced. Many distances and aggregation functions can be used and many merging operators already defined in the literature (including both model-based ones and syntax-based ones) can be encoded as specific DA2 operators. Both logical and complexity properties of those operators are studied. An important result is that (under very weak assumptions) query entailment from merged bases is "only" at the first level of the polynomial hierarchy when any of the DA2 operators is used. As a by-product, complexity results for several existing merging operators are derived as well.