Author:
Yamamoto Yoshitaka,Inoue Katsumi,Iwanuma Koji
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Software
Reference25 articles.
1. LNAI:;L. Badea,1999
2. LNAI:;I. Bratko,1999
3. Chang, C. L., & Lee, R. C. T. (1973). Symbolic logic and mechanical theorem proving. New York: Academic Press.
4. De Raedt, L. (1997). Logical setting for concept-learning. Artificial Intelligence, 95, 187–201.
5. Fredman, M., & Khanchiyan, L. (1996). On the complexity of dualization of monotone disjunctive normal forms. Journal of Algorithms, 28, 618–628.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献