Author:
Mues Christophe,Vanthienen Jan
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
2. Ginsberg, A.: Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. In: Proc. of the 7th National Conf. on Artificial Intelligence (AAAI 1988), pp. 585–589 (1988)
3. Horiyama, T., Ibaraki, T.: Ordered binary decision diagrams as knowledge-bases. Artificial Intelligence 136(2), 189–213 (2002)
4. Levy, A., Rousset, M.-C.: Verification of knowledge bases based on containment checking. Artificial Intelligence 101(1-2), 227–250 (1998)
5. Mues, C.: On the Use of Decision Tables and Diagrams in Knowledge Modeling and Verification. PhD thesis, K.U.Leuven, Dept. of Applied Econ. Sciences (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analyzing Business Systems comprised of Rules and Processes using Decision Diagrams;Proceedings of the 13th Innovations in Software Engineering Conference on Formerly known as India Software Engineering Conference;2020-02-27
2. Business Rules Management: Implementation and Evaluation;SSRN Electronic Journal;2013
3. Business Rules Management: Implementation and Evaluation;SSRN Electronic Journal;2012