Complexity results for 2CNF default theories

Fundamenta Informaticae

Volumn 45, Issue 4, 2001, Pages 393-404

  Zhao, Xishun ^a   Ding, Decheng ^b  

^a HENAN NORMAL UNIVERSITY   (China)

^b NANJING UNIVERSITY   (China)

Author keywords

2CNF default theory; Complexity; Credulous reasoning; Skeptical reasoning

Indexed keywords

EID: 0035270527     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Ben-Eliyahu, R. and Dechter, R.: "Default Logic, Prepositional Logic and Constraints", Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), 1991.
2. Ben-Eliyahu, R. and Dechter, R.: "Prepositional Semantics for Default Logic", Technical Report R-163, Cognitive Systems Laboratory, Computer Science Department, University of California at Los Angeles, July, 1992.
3. Cadoli, M. and Schaerf, M.: "A Survey of Complexity Results for Non-monotonic Logics", J. Logic Programming, 17, 1993, 127-160.
4. Dimopoulos, Y. and Magirou, V.: "A Graph Theoretic Approach to Default Logic", Inform. and Comput., 112, 1994, 239-256.
5. Etherington, D. V.: Reasoning with Incomplete Information, Los Altos: Morgan Kaufman, CA, 1987.
6. Gottlob, G.: "Complexity Results for Non-monotonic Logics", J. Logic and Comput., 2, 1992, 397-425.
7. Kautz, H. A. and Selman, B.: "Hard Problems for Simple Default Logics", Artificial Intelligence, 42, 1990, 311-348.
8. Kleine Büning, H.: Propositional Logic: Deduction and Algorithm, Cambridge University Press, 1999.
9. Marek, W. and Truszczyński, M.: Nonmonotonic Logic, Berlin: Springer-verlag, 1993.
10. Reiter, R.: "A Logic for Default Reasoning", Artificial Intelligence, 13, 1980, 81-132.
11. Stillman, J.: "It's Not My Default: The Complexity of membership Problems in Restricted Propositional Default Logics", Proceedings of the Eighth National Conference on Artificial Intelligence (AAA-92), 1992, 794-799.
12. Stillman, J.: "The Complexity of Propositional Default Logics", Proceedings of the Tenth National Conference on Artificial Intelligence (AAA-92), 1992, 794-799.
13. Touretzky, D. S.: The Mathematics of Inheritance Systems, Los Altos: Morgan Kaufmann, CA, 1986.