Publisher
Springer Berlin Heidelberg
Reference178 articles.
1. M. Abadi and Z. Manna. Temporal logic programming. Journal of Symbolic Computation, 8:277–295, 1989.
2. Research Report;H. Andréka,1996
3. G. Antoniou. Nonmonotonic Reasoning. MIT Press, Cambridge, Mass., 1997.
4. K. R. Apt and R. N. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19–20:9–71, 1994.
5. F. Baader. Terminological cycles in KL-ONE-based knowledge representation languages. In T. Dietterich and W. Swartout, editors, Proceedings of the 8th National Conference on Artificial Intelligence, pages 621–626, Boston, Mass., 1990. AAAI Press / MIT Press.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献