Author:
Hitzler Pascal,Seda Anthony Karel
Subject
General Computer Science,Theoretical Computer Science
Reference52 articles.
1. K.R. Apt, H.A. Blair, A. Walker, Towards a theory of declarative knowledge, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 89–148.
2. Reasoning about Termination of Pure Prolog Programs;Apt;Inform. Comput.,1993
3. A. Batarek, Topological aspects of logic programming, Ph.D. Thesis, Syracuse University, June 1989.
4. Topological model set deformations in logic programming;Batarekh;Fundamenta Informaticae,1989
5. A. Batarekh, V.S. Subrahmanian, The query topology in logic programming, in: Proc. 1989 Symp. Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, Vol. 349, Springer, Berlin, 1989, pp. 375–387.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献