A complete revision function in propositional calculus
ECAI '92 Proceedings of the 10th European conference on 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
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Integration of weighted knowledge bases
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Possibilistic Merging and Distance-Based Fusion of Propositional Information
Annals of Mathematics and Artificial Intelligence
NoMoRe: Non-monotonic Reasoning with Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining Knowledge Bases Consisting of First Order Theories
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
Syntactic Representations of Semantic Merging Operations
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
SAT-based answer set programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Merging Qualitative Constraints Networks Using Propositional Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Merging Belief Bases Represented by Logic Programs
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Encoding the Revision of Partially Preordered Information in Answer Set Programming
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Underwater archaeological 3D surveys validation within the removed sets framework
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Hi-index | 0.00 |
Merging multiple sources of information is a rising subject in artificial intelligence. Most of the proposals are model-based approaches with very high computational complexity, moreover few experimentations are available. This paper proposes a framework for performing Removed Sets Fusion (RSF) of belief bases consisting of prepositional formulae. It then describes the implementation of RSF which stems from Answer Set Programming (ASP) and can be performed with any ASP solver supporting the minimize statement. It finally presents an experimental study and a comparison.