Extremal problems in logic programming and stable model computation

Journal of Logic Programming

Volumn 38, Issue 2, 1999, Pages 219-242

  Cholewinski, Pawel ^b   Truszczynski, Miroslaw ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

^b Blgd #23   (United States)

Author keywords

Answer sets; Disjunctive programs; Extremal problems; Stable models

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS;

DISJUNCTIVE PROGRAMS; EXTREMAL PROBLEMS; STABLE MODELS;

LOGIC PROGRAMMING;

EID: 0033078898     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(98)10020-1     Document Type: Article

References (10)

1. B. Bollobás, Extremal Graph Theory, Academic Press, New York, 1978.
2. M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.
3. M. Gelfond, V. Lifschitz, The stable semantics for logic programs, in: R. Kowalski, K. Bowen (Eds.), Proceedings of the Fifth International Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 1070-1080.
4. V.S. Subrahmanian, D. Nau, C. Vago, Wfs + branch bound = stable models, IEEE Transactions on Knowledge and Data Engineering 7 (1995) 362-377.
5. I. Niemelä, Towards efficient default reasoning, in: Proceedings of IJCAI-95, Morgan Kaufmann, Los Altos, CA, 1995, pp. 312-318.
6. I. Niemelä, P. Simons, Evaluating an algorithm for default reasoning, in: Proceedings of the IJCAI-95 Workshop on Applications and Implementations of Nonmonotomic Reasonigs Systems, 1995.
7. I. Niemelä, P. Simons, Efficient implementation of the well-founded and stable model semantics, in: Proceedings of JICSLP-96, MIT Press, Cambridge, MA, 1996.
8. W. Marek, J. Treur, M. Truszczyński, Representability by default theories, in: Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, Ft. Lauderdale, Florida, 1996.
9. J. Dix, A classification theory of semantics of normal logic programs: II, weak properties, Fundamenta Informaticae 22 (1994) 257-288.
10. P. Cholewiński, Reasoning with stratified default theories, in: Proceedings of LPNMR'95, Springer, Berlin, 1995 (Lecture Notes in Computer Science, vol. 928).