Revision programming

Theoretical Computer Science

Volumn 190, Issue 2, 1998, Pages 241-277

  Marek, Victor W ^a   Truszczyński, Mirosław ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0344243538     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00092-3     Document Type: Article

References (27)

1. S. Abiteboul, V. Vianu, Datalog extensions for database queries and updates, J. Comput. System Sci. 43 (1991) 62-124.
2. C.E. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symbol. Logic 50 (1985) 510-530.
3. H. Andreka, I. Nemeti, The generalized completeness of Horn predicate logic as a programming language, Acta Cybernet. 4 (1978) 3-10.
4. K. Apt, Logic programming, in: J. van Leeuven (Ed.), Handbook of Theoretical Computer Science, MIT Press, Cambridge, MA, 1990, pp. 493-574.
5. K. Apt, H.A. Blair, Arithmetical classification of perfect models of stratified programs, Fund. Inform. 12 (1990) 1-17.
6. K. Apt, H.A. Blair, A. Walker, Towards a theory of declarative knowledge, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 89-142.
7. N. Bidoit, C. Froidevaux, Negation by default and unstratifiable logic programs, Theoret. Comput. Sci. 78 (1991) 85-112.
8. A. Bondarenko, F. Toni, R.A. Kowalski, An assumption-based framework for non-monotonic reasoning, in: A. Nerode, L. Pereira (Eds.), Logic Programming and Non-monotonic Reasoning, Proc. 2nd Internat. Workshop, MIT Press, Cambridge, MA, 1993, pp. 171-189.
9. K.L. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press, New York, 1978, pp. 293-322.
10. W.F. Dowling, J.H. Gallier, Linear-time algorithms for testing the satisfiability of propositional Horn formulae, J. Logic Programming 3 (1984) 267-284.
11. R.L. Epstein, R. Haas, R.L. Kramer, Hierarchies of sets and degrees below 0′, in: M. Lerman, J.H. Schmerl, R.I. Soare (Eds.), Logic Year 1979-80, Lecture Notes in Mathematics, vol. 859, Springer, Berlin, 1981, pp. 32-48.
12. M. Gelfond, V. Lifschitz, The stable semantics for logic programs, in: R. Kowalski, K. Bowen (Eds.), Proc. 5th Internat. Symp. on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1070-1080.
13. H. Katsuno, A.O. Mendelzon, Propositional knowledge base revision and minimal change, Artif. Intell. J. 52 (1991) 263-294.
14. J. Lloyd, Foundations of Logic Programming, Springer, Berlin, 1984.
15. W. Marek, M. Truszczyński, Stable semantics for logic programs and default theories, in: E. Lusk, R. Overbeek (Eds.), Proc. North American Conf. on Logic Programming, MIT Press, Cambridge, MA, 1989, pp 243-256.
16. W. Marek, M. Truszczyński, Autoepistemic logic, J. ACM 38 (1991) 588-619.
17. W. Marek, M. Truszczyński, Nonmonotonic Logics; Context-Dependent Reasoning, Springer, Berlin, 1993.
18. W. Marek, M. Truszczyński, Reflexive autoepistemic logic and logic programming, in: A. Nerode, L. Pereira (Eds.), Logic programming and Non-monotonic Reasoning, MIT Press, Cambridge, MA, 1993.
19. W. Marek, M. Truszczyński, Revision specifications by means of revision programs, in: Logics in AI, Proc. JELIA '94, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1994.
20. W. Marek, M. Truszczyński, Revision programming, database updates and integrity constraints, in: Proc. 5th Internat. Conf. on Database Theory - ICDT 95, Lecture Notes in Computer Science, vol. 893, Springer, Berlin, 1995, pp. 368-382.
21. T.C. Przymusiński, H. Turner, Update by means of inference rules, in: Proc. LPNMR'95, Lecture Notes in Computer Science, vol. 928, Springer, Berlin, 1995, pp. 156-174.
22. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
23. J. Schlipf, The expressive powers of the logic programming semantics, J. Comput. Systems Sci. 51 (1995) 64-86.
24. G.F. Schwarz, Minimal model semantics for nonmonotonic modal logics, in: Proc. LICS-92, 1992.
25. R.M. Smullyan, First-order Logic, Springer, Berlin, 1968.
26. J.D. Ullman, Principles of Database and Knowledge-Base Systems, Computer Science Press, Rockville, MD, 1988.
27. M.H. van Emden, R.A. Kowalski, The semantics of predicate logic as a programming language, J. ACM 23 (4) (1976) 733-742.