Implementing semantic merging operators using binary decision diagrams-Reference-Cited by-同舟云学术

Implementing semantic merging operators using binary decision diagrams

Published:2008-09 Issue:1 Volume:49 Page:234-251
ISSN:0888-613X
Container-title:International Journal of Approximate Reasoning
language:en
Short-container-title:International Journal of Approximate Reasoning

Author:

Gorogiannis Nikos,Hunter Anthony

Publisher

Elsevier BV

Subject

Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software

Reference31 articles.

1. A. San Miguel Aguirre, M.Y. Vardi, Random 3-SAT and BDDs: the plot thickens further, in: Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming, CP 2001, Lecture Notes in Computer Science, vol. 2239, 2001, pp. 121–136.

2. On the logic of theory change: partial meet contraction and revision functions;Alchourrón;Journal of Symbolic Logic,1985

3. H.R. Andersen, An Introduction to Binary Decision Diagrams. Lecture Notes, 1997. .

4. J. Arndt. FXT, a library of algorithms. Published online at .

5. Some computational aspects of DISTANCE-SAT;Bailleux;Journal of Automated Reasononing,2006

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Morphologic for knowledge dynamics: revision, fusion and abduction;Journal of Applied Non-Classical Logics;2023-08-10

2. On Some Associations Between Mathematical Morphology and Artificial Intelligence;Lecture Notes in Computer Science;2021

3. Main Issues in Belief Revision, Belief Merging and Information Fusion;A Guided Tour of Artificial Intelligence Research;2020

4. Merginator: A belief merging tool for consensus support;Journal of Intelligent & Fuzzy Systems;2018-05-24

5. An application of belief merging for the diagnosis of oral cancer;Applied Soft Computing;2017-12