On kernels, defaults and even graphs

Annals of Mathematics and Artificial Intelligence

Volumn 20, Issue 1-4, 1997, Pages 1-12

  Dimopoulos, Yannis ^a   Magirou, Vangelis ^b   Papadimitriou, Christos H ^c  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

^b ATHENS UNIVERSITY OF ECONOMICS AND BUSINESS   (Greece)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031506653     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018972125742     Document Type: Article

References (11)

1. E. Allender, The complexity of sparse sets in P, in: Proc. Symp. on Structure in Complexity Theory, Lecture Notes in Computer Science 223 (1986) pp. 1-11.
2. C. Berge, Graphs and Hypergraphs (Amsterdam, North-Holland, 1973).
3. Y. Dimopoulos and V. Magirou, A graph theoretic approach to Default Logic, Information & Computation 112 (1994) 239-256.
4. Y. Dimopoulos and A. Torres, Graph theoretical structures in Logic Programs and Default Theories, Theoretical Computer Science 170 (1996) 209-244.
5. D. Johnson, C.H. Papadimitriou and M. Yannakakis, On generating all Maximal Independent Sets, Information Processing Letters 27 (1988) 119-123.
6. M. Garey and D. Johnson, Computers and Intractability (Freeman, 1979).
7. M. Gelfond and V. Lifschitz, The Stable Model semantics for Logic Programming, in: Logic Programming: Proceedings of the 5th International Conference and Symposium, eds. R. Kowalski and K. Bowen (1988) pp. 1070-1080.
8. C.H. Papadimitriou and M. Sideri, On finding extensions of Default Theories, in: Proc. of the International Conference on Database Theory, eds. J. Biskup and R. Hull, Lecture Notes in Computer Science 646 (1992).
9. C.H. Papadimitriou and M. Sideri, Default theories that always have extensions, Artificial Intelligence 69 (1994) 347-357.
10. C.H. Papadimitriou and M. Yannakakis, Tie-Breaking Semantics and Structural Totality, Symposium on the Principles of Database Systems (1992).
11. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980).