1. On the logic of theory change: partial meet contraction and revision functions;Alchourrón;Journal of Symbolic Logic,1985
2. Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence;Benferhat,1993
3. Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science;Benferhat,1995
4. Combining knowledgebases of consisting of first-order theories;Baral;Computational Intelligence,1992
5. Proceedings of the Eleventh International Conference on Artificial Intelligence;Brewka,1989