Order-consistent programs are cautiously monotonic

Theory and Practice of Logic Programming

Volumn 1, Issue 4, 2001, Pages 487-495

  Turner, Hudson ^a  

^a UNIVERSITY OF MINNESOTA DULUTH   (United States)

Author keywords

Answer sets; Semantic properties; Stable models

Indexed keywords

EID: 0347140512     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S1471068401001144     Document Type: Article

References (14)

1. Baral, C. and Gelfond, M. (1994) Logic programming and knowledge representation. J. Logic Programming, 19,20, 73-148.
2. Dix, J. (1991) Classifying semantics of logic programs. In: A. Nerode, W. Marek and V. S. Subrahmanian (eds.), Logic Programming and Non-Monotonic Reasoning: Proc. 1st Int. Workshop, pp. 166-180.
3. Dung, P. M. (1992) On the relations between stable and well-founded semantics of logic programs. Theor. Comput. Sci. 105, 222-238.
4. Fages, F. (1994) Consistency of Clark's completion and existence of stable models. J. Methods of Logic in Comput. Sci. 1(1), 51-60.
5. Gabbay, D. (1985) Theoretical foundations for non-monotonic reasoning. In: K. Apt (ed.), Expert Systems, Logics, and Models of Concurrent Systems. Springer-Verlag.
6. Gelfond, M. and Lifschitz, V. (1988) The stable model semantics for logic programming. In: R. Kowalski and K. Bowen (eds.), Logic Programming: Proc. 5th Int. Conf. and Symp., pp. 1070-1080.
7. Gelfond, M. and Lifschitz, V. (1991) Classical negation in logic programs and disjunctive databases. New Generat. Comput. 9, 365-385.
8. Kraus, S., Lehmann, D. and Magidor, M. (1990) Nonmonotonic reasoning, preferential models and cumulative inference. Artif. Intell. 44(1): 167-207.
9. Kunen, K. (1989) Signed data dependencies in logic programs. J. Logic Programming, 7(3): 231-245.
10. Lifschitz, V. and Turner, H. (1994) Splitting a logic program. In: P. Van Hentenryck (ed.), Proc. 11th Int. Conf. on Logic Programming, pp. 23-37.
11. Makinson, D. (1989) General theory of cumulative inference. In: M. Reinfrank, J. de Kleer, M. Ginsberg and E. Sandewall (eds.), Non-Monotonic Reasoning: 2nd International Workshop: Lecture Notes in Artificial Intelligence 346, pp. 1-17. Springer-Verlag.
12. Makinson, D. (1993) General patterns in nonmonotonic reasoning. In: D. Gabbay, C. Hogger and J. Robinson (eds.), The Handbook of Logic in AI and Logic Programming, Vol. 3, pp. 35-110. Oxford University Press.
13. Sato, T. (1990) Completed logic programs and their consistency. J. Logic Programming, 9, 33-44.
14. Van Gelder, A., Ross, K. and Schlipf, J. (1991) The well-founded semantics for general logic programs. J. ACM, 38(2), 620-650.