Author:
Mues Christophe,Vanthienen Jan
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
2. de Kleer, J.: An assumption-based TMS. Artificial Intelligence 28(2), 127–162 (1986)
3. Ginsberg, A.: Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency & redundancy. In: Proc. of the 7th National Conf. on Artificial Intelligence (AAAI 1988), pp. 585–589 (1988)
4. Horiyama, T., Ibaraki, T.: Ordered binary decision diagrams as knowledge-bases. Artificial Intelligence 136(2), 189–213 (2002)
5. Levy, A., Rousset, M.-C.: Verification of knowledge bases based on containment checking. Artificial Intelligence 101(1-2), 227–250 (1998)