Author:
Dix Jürgen,Pereira Luís Moniz,Przymusinski Teodor
Publisher
Springer Berlin Heidelberg
Reference136 articles.
1. K. Apt and M. Bezem. Acyclic programs. New Generation Computing, 29(3):335–363, 1991.
2. Krysztof R. Apt and Roland N. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19–20:9–71, 1994.
3. K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–142. Morgan Kaufmann, 1988.
4. Chandrabose Aravindan, Jürgen Dix, and Ilkka Niemelä. The DisLoP-project. Technical Report TR 1/97, University of Koblenz, Department of Computer Science, Rheinau 1, January 1997.
5. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93–147, 1995.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献