Author:
Yamamoto Yoshitaka,Inoue Katsumi,Iwanuma Koji
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 35(8), 677–691 (1986)
2. De Raedt, L.: Logical setting for concept-learning. Artificial Intelligence 95, 187–201 (1997)
3. Flach, P.A.: Rationality postulates for induction. In: Proceedings of the 6th International Conference on Theoretical Aspects of Rationality and Knowledge, pp. 267–281 (1996)
4. Inoue, K.: Induction as consequence finding. Machine Learning 55(2), 109–135 (2004)
5. Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence 56(2-3), 301–353 (1992)