Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
Database systems: achievements and opportunities
Communications of the ACM
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
ACM Transactions on Database Systems (TODS)
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Computing intersections of Horn theories for reasoning with models
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Logical fusion rules for merging structured news reports
Data & Knowledge Engineering
A Framework for Multi-Agent Belief Revision, Part I: The Role of Ontology
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Reasoning with inconsistency in structured text
The Knowledge Engineering Review
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Artificial Intelligence - Special issue on nonmonotonic reasoning
A negotiation-style framework for non-prioritised revision
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Merging news reports that describe events
Data & Knowledge Engineering
Fusion rules for merging uncertain information
Information Fusion
Logic-based approaches to information fusion
Information Fusion
Social contraction and belief negotiation
Information Fusion
Merging operators: Beyond the finite case
Information Fusion
A knowledge-based approach to merging information
Knowledge-Based Systems
Adaptive Merging of Prioritized Knowledge Bases
Fundamenta Informaticae
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
Model-based belief merging without distance measures
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
Rule-based dependency models for security protocol analysis
Integrated Computer-Aided Engineering
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Propositional merging operators based on set-theoretic closeness
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Merging stratified knowledge bases under constraints
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Merging Logic Programs under Answer Set Semantics
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Mutual belief revision: semantics and computation
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The strategy-proofness landscape of merging
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Quota and Gmin merging operators
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Implementing PS-Merge Operator
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Partial satisfiability-based merging
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Merging first-order knowledge using dilation operators
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Editorial: Acquiring knowledge from inconsistent data sources through weighting
Data & Knowledge Engineering
Using ASP for knowledge management with user authorization
Data & Knowledge Engineering
Reasoning under inconsistency: A forgetting-based approach
Artificial Intelligence
Disjunctive merging: Quota and Gmin merging operators
Artificial Intelligence
Secure transaction protocol analysis: models and applications
Secure transaction protocol analysis: models and applications
A logic-based axiomatic model of bargaining
Artificial Intelligence
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
A comparison of merging operators in possibilistic logic
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Prime forms and minimal change in propositional belief bases
Annals of Mathematics and Artificial Intelligence
Declarative belief set merging using merging plans
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Dealing with inconsistent secure messages by weighting majority
Knowledge-Based Systems
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
A modal framework for relating belief and signed information
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
Human tracking from a mobile agent: Optical flow and Kalman filter arbitration
Image Communication
Quota-Based merging operators for stratified knowledge bases
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Introduction to inconsistency tolerance
Inconsistency Tolerance
Multiple semi-revision in possibilistic logic
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
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
Coordination between logical agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Belief merging using normal forms
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Combining answer sets of nonmonotonic logic programs
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
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
The process of reaching agreement in meaning negotiation
Transactions on Computational Collective Intelligence VII
Adaptive Merging of Prioritized Knowledge Bases
Fundamenta Informaticae
Axiomatic characterization of belief merging by negotiation
Multimedia Tools and Applications
A Model-Theoretic Approach to Belief Change in Answer Set Programming
ACM Transactions on Computational Logic (TOCL)
Computing cooperative solution concepts in coalitional skill games
Artificial Intelligence
Confluence operators and their relationships with revision, update and merging
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
Knowledge-based systems must be able to "intelligently" manage a large amount of information coming from different sources and at different moments in time. Intelligent systems must be able to cope with a changing world by adopting a "principled" strategy. Many formalisms have been put forward in the artificial intelligence (AI) and database (DB) literature to address this problem. Among them, belief revision is one of the most successful frameworks to deal with dynamically changing worlds. Formal properties of belief revision have been investigated by Alchourron, Gärdenfors, and Makinson, who put forward a set of postulates stating the properties that a belief revision operator should satisfy. Among these properties, a basic assumption of revision is that the new piece of information is totally reliable and, therefore, must be in the revised knowledge base. Different principles must be applied when there are two different sources of information and each one has a different view of the situation驴the two views contradicting each other. If we do not have any reason to consider any of the sources completely unreliable, the best we can do is to "merge" the two views in a new and consistent one, trying to preserve as much information as possible. We call this merging process arbitration. In this paper, we investigate the properties that any arbitration operator should satisfy. In the style of Alchourron, Gärdenfors, and Makinson we propose a set of postulates, analyze their properties, and propose actual operators for arbitration.