Author:
Sakama Chiaki,Inoue Katsumi
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Software
Reference47 articles.
1. Lecture notes in artificial intelligence;L. Badea,1999
2. Baral, C., & Gelfond, M. (1994). Logic programming and knowledge representation. Journal of Logic Programming, 19/20, 73–148.
3. Bossu, G., & Siegel, P. (1985). Saturation, nonmonotonic reasoning and the closed-world assumption. Artificial Intelligence, 25, 13–63.
4. Boström, H., & Idestam-Almquist, P. (1994) Specialization of logic programs by pruning SLD-trees. In Proceedings of the 4th international workshop on inductive logic programming (pp. 31–48).
5. Clark, K. L. (1978). Negation as failure. In H. Gallaire, & J. Minker (Eds.), Logic and data bases (pp. 293–322). New York: Plenum.