On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract)
暂无分享,去创建一个
Jürgen Dix | Chandrabose Aravindan | Peter Baumgartner | Ilkka Niemelä | Ulrich Furbach | Frieder Stolzenburg | Gerd Neugebauer | Dorothea Schäfer
[1] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[2] Jürgen Dix,et al. Non-monotonic Extensions of Logic Programming: Theory, Implementation and Applications , 1996 .
[3] Jürgen Dix,et al. Towards Well-Behaved Semantics Suitable for Aggregation , 1997 .
[4] Jürgen Dix,et al. Nichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme , 1992 .
[5] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[6] Jorge Lobo,et al. Foundations of disjunctive logic programming , 1992, Logic Programming.
[7] Marcello Balduccini,et al. Logic Programming And Nonmonotonic Reasoning , 1997, Lecture Notes in Computer Science.
[8] Jürgen Dix. Detailed Report on the First LP&NMR Retreat , 1995, AI Commun..
[9] Jürgen Dix,et al. Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming , 1996, NMELP.
[10] Non-Monotonic Extensions of Logic Programming , 1994, Lecture Notes in Computer Science.
[11] L. Sterling. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation , 1995 .
[12] Jürgen Dix,et al. The relationship between KLM and MAK models for nonmonotonic inference operations , 1992, J. Log. Lang. Inf..
[13] Jan Maluszy¿ski. Logic Programming and Knowledge Representation (LPKR'97) , 1997 .
[14] Jürgen Dix. Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches , 1989, Easter Conference on Model Theory.
[15] Jürgen Dix,et al. Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .
[16] Ilkka Niemelä. A Tableau Calculus for Minimal Model Reasoning , 1996, TABLEAUX.