Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.
Jürgen Dix · 1996
Properties. In Luis Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop, pages 43--59. Lisbon, MIT Press, July 1993. [Min82] Jack Minker. On indefinite databases and the closed world assumption. In Proceedings of the 6th Conference on Automated Deduction, New York, pages 292--308. Springer, 1982. [Min88a] Jack Minker. Foundations of Deductive Databases. Morgan Kaufmann, 95 First Street, Los Altos, CA 94022, 1st edition, 1988. [Min88b] Jack Minker. Perspectives in deductive Databases. Journal of Logic Programming, 5:33--60, 1988. [Min89] Jack Minker. Toward a Foundation of Disjunctive Logic Programming. In Ewing L. Lusk and Ross A. Overbeek, editors, Proceedings of the North American Conference on Logic Programming, pages 1215--1235. MIT Press, 1989. [Min91] Jack Minker. An Overview of Nonmonotonic Reasoning and Logic Programming. CS-TR 2736, Computer Science Dept., Univ. Maryland, University of Marylan...