Towards a theory of elaboration tolerance: Logic programming approach

International Journal of Software Engineering and Knowledge Engineering

Volumn 6, Issue 1, 1996, Pages 89-112

  Gelfond, Michael ^a   Przymusinska, Halina ^b  

^a UNIVERSITY OF TEXAS AT EL PASO   (United States)

^b California State Polytech Univ   (United States)

Author keywords

Formal specifications; Logic programming; Program correctness

Indexed keywords

EID: 0042912513     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000053     Document Type: Article

References (26)

1. J. Alferes and L. Pereira, "On logic program semantics with two kinds of negation", Ed. K. Apt, Proc. Joint Int. Conf. Symp. on Logic Programming, Washington DC, MIT Press, 1992, pp. 574-588.
2. K. Apt, H. Blair, and A. Walker, "Towards a theory of declarative knowledge", Ed. J. Minker, Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, San Mateo, CA., 1988, pp. 89-148.
3. C. Bell, A. Nerode, R. Ng, and V. S. Subrahmanian, "Computation and implementation of non-monotonic deductive databases", Technical Report CS-TR-2801, University of Maryland, 1991 (a revised version is to appear in JACM 94).
4. C. Bell, A. Nerode, R. Ng, and V. S. Subrahmanian, "Computation and implementation of non-monotonic deductive databases", Technical Report CS-TR-2801, University of Maryland, 1991 (a revised version is to appear in JACM 94).
5. C. Baral and M. Gelfond, "Logic programming and knowledge representation", J. Logic Programming 12 (1994) 1-80.
6. C. Baral, M. Gelfond, and O. Kosheleva, "Approximating general logic programs", Proc. ILPS, 1993, pp. 181-198.
7. A. Colmerauer, H. Kanoui, R. Pasero, and P. Roussel, "Un Systeme de Communication Homme-Machine en Francais", Technical report, Groupe de Intelligence Artificielle Universitae de Aix-Marseille II, Marseille, 1973.
8. K. Clark, "Negation as failure", in Logic and Data Bases, Eds. H. Gallaire and J. Minker, Plenum Press, New York, 1978, pp. 293-322.
9. J. Dix, "Classifying semantics of disjunctive logic programs", Proc JICSLP'92, Ed. K. Apt, 1992, pp. 798-812.
10. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specifications, Springler-Verlag, 1985.
11. M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming", Logic Programming: Proc. 5th Int. Conf. and Symp., Eds. R. Kowalski and K. Bowen, 1988, pp. 1070-1080.
12. M. Gelfond and V. Lifschitz, "Logic programs with classical negation", Logic Programming: Proc. 7th Int. Conf., Eds. D. Warren and P. Szeredi, 1990, pp. 579-597.
13. M. Gelfond and V. Lifschitz, "Classical negation in logic programs and disjunctive databases", New Generation Computing, 1991, pp. 365-387.
14. M. Gelfond and H. Przymusinska, "Definitions in epistemic specifications", Logic Programming and Non-monotonic Reasoning: Proc. 1st Int. Workshop, Eds. A. Nerod, V. Marek, and V. S. Subramanian, 1991, pp. 245-259.
15. R. A. Kowalski, Logic for Problem Solving, North-Holland, 1979.
16. V. Lifschitz and H. Turner, "Splitting a logic program", Proc. 11th Int. Conf, on Logic Programming, Ed. P. Van Hentenryck, 1994, pp. 23-38.
17. J. Lloyd, Foundations of Logic Programming, Springer-Verlag, 2nd edn., 1987.
18. J. McCarthy, "Programs with common sense", Proc. Teddington Conf. on the Mechanization of Thought Processes, London, 1959. Her Majesty's Stationery Office, pp. 75-91.
19. J. McCarthy, "Circumscription - a form of non-monotonic reasoning", Artificial Intelligence 13 (1980) 27-39, 171-172.
20. R. Moore, "Semantical considerations on non-monotonic logic", Artificial Intelligence 25 (1985) 75-94.
21. C. Morgan, Programming from Specifications, Prentice Hall, 1990.
22. R. Reiter, "On closed world data bases", Logic and Data Bases, Eds. H. Gallaire and J. Minker, Plenum Press, New York, 1978, pp. 119-140.
23. R. Reiter, "A logic for default reasoning", Artificial Intelligence, 13 (1980) 81-132.
24. J. Schlipf, "Complexity and undecidability results in logic programming", Workshop on Structural Complexity and Recursion-Theoretic Methods in Logic Programming, 1992.
25. D. S. Warren and W. Chen, "Query evaluation under well-founded semantics", Proc. PODS, 1993.
26. J. B. Wordsworth, Software Development with Z, Addison-Wesley, 1992.