Towards a systematic account of different semantics for logic programs

Journal of Logic and Computation

Volumn 15, Issue 3, 2005, Pages 391-404

  Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Fitting semantics; Logic programming; Nonmonotonic reasoning; Stable semantics; Stratificatin; Well founded semantics

Indexed keywords

COMPUTATIONAL METHODS; MANY VALUED LOGICS; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; TERMINOLOGY;

FITTING SEMANTICS; NONMONOTONIC REASONING; STABLE SEMANTICS; STRATIFICATIN; WELL-FOUNDED SEMANTICS;

LOGIC PROGRAMMING;

EID: 20844433437     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/exi018     Document Type: Article

References (28)

1. S. Abramsky and A. Jung. Domain theory. In Handbook of Logic in Computer Science, volume 3, S. Abramsky, D. Gabbay, and T. S.E. Maibaum, eds. Clarendon Press, Oxford, 1994.
2. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming, J. Minker, ed., pp. 89-148. Morgan Kaufmann, Los Altos, CA, 1988.
3. M. Denecker, M. Bruynooghe, and V. W. Marek. Logic programming revisited: logic programs as inductive definitions. ACM Transactions on Computational Logic, 2, 623-654, 2001.
4. M. Denecker, V. W. Marek, and M. Truszczynski. Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning. In Logic-based Artificial Intelligence, chapter 6, J. Minker, ed., pp. 127-144. Kluwer Academic Publishers, Boston, 2000.
5. M. Denecker and E. Ternovska. A logic of non-monotone inductive definitions and its modularity properties. In Logic Programming and Nonmonotonic Reasoning: 7th International Conference, V. Lifschitz and I. Niemelä, eds., pp. 47-60. Volume 2923 of Lecture Notes in Computer Science, Springer, 2004.
6. P. M. Dung and K. Kanchanasut. A fixpoint approach to declarative semantics of logic programs. In Logic Programming, Proceedings of the North American Conference 1989, NACLP'89, Cleveland, Ohio, E. L. Lusk and R. A. Overbeek, eds., pp. 604-625. MIT Press, 1989.
7. F. Pages. Consistency of Clark's completion and existence of stable models. Journal of Methods of Logic in Computer Science, 1, 51-60, 1994.
8. M. Fitting. A Kripke-Kleene-semantics for general logic programs. The Journal of Logic Programming, 2, 295-312, 1985.
9. M. Fitting. Bilattices and the semantics of logic programming. The Journal of Logic Programming, 11, 91-116, 1991.
10. M. Fitting. Fixpoint semantics for logic programming - A survey. Theoretical Computer Science, 278, 25-51, 2002.
11. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Logic Programming. Proceedings of the 5th International Conference and Symposium on Logic Programming, R. A. Kowalski and K. A. Bowen, eds., pp. 1070-1080. MIT Press, 1988.
12. P. Hitzler. Circular belief in logic programming semantics. Technical Report WV-02-13, Knowledge Representation and Reasoning Group, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, Dresden, Germany, 2002.
13. P. Hitzler. Towards a systematic account of different logic programming semantics. In Proceedings of the 26th German Conference on Artificial Intelligence, KI2003, Hamburg, September 2003, A. Günter, R. Kruse, and B. Neumann, eds., pp. 355-369. Volume 2821 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2003.
14. P. Hitzler and M. Wendt. The well-founded semantics is a stratified Fitting semantics. In Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany, September 2002, M. Jarke, J. Koehler, and G. Lakemeyer, eds., pp. 205-221. Volume 2479 of Lecture Notes in Artificial Intelligence, Springer, Berlin, 2002.
15. P. Hitzler and M. Wendt. A uniform approach to logic rogramming semantics. Theory and Practice of Logic Programming, 5, 123-159, 2005.
16. J. Jachymski. Order-theoretic aspects of metric fixed-point theory. In Handbook of Metric Fixed Point Theory, W. A. Kirk and B. Sims, eds., pp. 613-641. Kluwer Academic Publishers, Dordrecht, The Netherlands, 2001.
17. J. A. Leite. Evolving Knowledge Bases, volume 81 of Frontiers of Artificial Intelligence and Applications. IOS Press, 2003.
18. J.W.Lloyd. Foundations of Logic Programming. Springer, Berlin, 1988.
19. Y. Loyer, N. Spyratos, and D. Stamate. Parametrized semantics of logic programs - a unifying framework. Theoretical Computer Science, 308, 429-447, 2003.
20. C. Mateis. Quantitative disjunctive logic programming: Semantics and computation. AI Communications, 13, 225-248, 2000.
21. H. Przymusinska and T. C. Przymusinski. Weakly stratified logic programs. Fundamenta Informaticae, 13, 51-65, 1990.
22. T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In Foundations of Deductive Databases and Logic Programming, J. Minker, ed., pp. 193-216. Morgan Kaufmann, Los Altos, CA, 1988.
23. T. C. Przymusinski. Well-founded semantics coincides with three-valued stable semantics. Fundamenta Informaticae, 13, 445-464, 1989.
24. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.
25. A. van Gelder. The alternating fixpoint of logic programs with negation. In Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Philadelphia, Pennsylvania, pp. 1-10. ACM Press, 1989.
26. A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38, 620-650, 1991.
27. K. Wang. A comparative study of well-founded semantics for disjunctive logic programs. In Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, T. Eiter, W. Faber, and M. Truszczynski, eds., pp. 133-146. Volume 2173 of Lecture Notes in Artificial Intelligence, Springer, 2001.
28. M. Wendt. Unfolding the well-founded semantics. Journal of Electrical Engineering, Slovak Academy of Sciences, 53(12/s), 56-59, 2002. (Proceedings of the 4th Slovakian Student Conference in Applied Mathematics, Bratislava, April 2002).