Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Temporal reasoning based on semi-intervals
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
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Integration of weighted knowledge bases
Artificial Intelligence
A Practical Approach to Fusing Prioritized Knowledge Bases
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Merging with Integrity Constraints
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Qualitative Constraints Representation for the Time and Space in SAT
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Implementing semantic merging operators using binary decision diagrams
International Journal of Approximate Reasoning
Removed Sets Fusion: Performing Off The Shelf
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
An interval-based representation of temporal knowledge
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Towards an efficient SAT encoding for temporal reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Majority Merging: from Boolean Spaces to Affine Spaces
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A syntactical approach to qualitative constraint networks merging
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Belief base rationalization for propositional merging
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
In this paper we address the problem of merging qualitative constraints networks (QCNs ). We propose a rational merging procedure for QCNs . It is based on translations of QCNs into propositional formulas, and take advantage of propositional merging operators.