Stable models are generated by a stable chain

Journal of Logic Programming

Volumn 30, Issue 2, 1997, Pages 165-177

  Herre, Heinrich ^b   Wagner, Gerd ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION;

NORMAL LOGIC PROGRAMMING; STABLE CHAIN; STABLE MODELS;

LOGIC PROGRAMMING;

EID: 0031076755     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00106-9     Document Type: Article

References (12)

1. Gelfond, M., Strong Introspection, in: Proc. of AAAI-91.
2. Gelfond, M. and Lifschitz, V., The Stable Model Semantics for Logic Programming, in: R. A. Kowalski and K. A. Bowen (eds.), Proc. ICLP, MIT Press, 1988, pp. 1070-1080.
3. Gelfond, M. and Lifschitz, V., Logic Programs with Classical Negation, in: Proc. ICLP'90, MIT Press, 1990, pp. 579-597.
4. Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing 9:365-385 (1991).
5. Herre, H., Jaspars, J., and Wagner, G., Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning, in: D. Gabbay and H. Wansing (eds.), What Is Negation?, Oxford University Press, to appear.
6. Herre, H. and Wagner, G., Stable and Grounded Models of Extended Generalized Logic Programs, Technical Report, University of Leipzig, 1996.
7. Herre, H. and Wagner, G., Stable Semantics for Temporal Deductive Databases, in: Proc. JICSLP'96 Workshop on Deductive Databases and Logic Programming, Bonn, Germany, 1996.
8. Lifschitz, V. and Woo, T. C., Answer Sets in General Nonmonotonic Reasoning, in: Proc. KR'92, Morgan Kaufmann, Los Altos, CA, 1992, pp. 603-614.
9. Przymusinski, T. C., Stable Semantics for Disjunctive Programs, New Generation Computing 9:401-424 (1991).
10. Przymusinski, T. C., Super Logic Programs and Negation as Belief, in: R. Dyckhoff, H. Herre, and P. Schroeder-Heister (eds.), Proc. of 5th Int. Workshop on Extensions of Logic Programming, Springer LNAI 1050, pp. 229-236.
11. Wagner, G., Transforming Deductive into Active Databases, in: N. Fuchs and G. Gottlob (eds.), Proc. 10th Workshop on Logic Programming, University of Zürich, 1994.
12. Wagner, G., Possibilistic and Extended Logic Programs, in: Proc. JICSLP'96 Workshop on Logic Programming and Soft Computing, Bonn, Germany, 1996.