Computation of extensions of seminormal default theories

Fundamenta Informaticae

Volumn 40, Issue 1, 1999, Pages 79-102

  Su, Kaile ^a   Li, Wei ^b  

^a SUN YAT SEN UNIVERSITY   (China)

^b BEIHANG UNIVERSITY   (China)

Author keywords

Default logic; Extension; Knowledge representation; Ordered default theory; Reasoning

Indexed keywords

EID: 0003105311     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-40105     Document Type: Article

References (27)

1. Antoniou, G.: Nonmonotonic Reasoning, London: The MIT Press, 1997.
2. Baader, F. and Hollunder, B.: "How to prefer more specific defaults in termilogical default logic", Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Chambery, France, 1993, 669-674.
3. Baral, C. and Subrahmanian, V.: "Dualities between alternative semantics for logic programming and nonmonotonic reasoning", Journal of Automated Reasoning, 10(3), 1993, 399-420.
4. Besnard, B.: An Introduction to Default Logic, Berlin: Springer-Verlag, 1989.
5. Brewka, G. and Gottlob, G.: "Well-Founded Semantics for Default Logic", Fundamenta Informaticae, 31(3/4), 1997,221-236.
6. Brewka, G.: "Adding priorities and specificity to default logic". L. Perreira and D. Pearce (eds), European Workshop on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Berlin: Springer-Verlag, 1994, 247-260.
7. Cadoli, M. and Schaerf, M.: "A survey on complexity results for non-monotonic logics", Journal of Logic Programming, 17, 1993, 127-160.
8. Cadoli, M.: Tractable Reasoning in Artificial Intelligence, Heidelberg: Springer-Verlag, 1995.
9. Cholewiński, P., Marek, W. and Truszczyński, M.: "Default reasoning system DeReS". Luigia Carlucci Aiello, J. Doyle and S.C. Shapiro (Eds), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), San Francisco: Morgan Kaufmann, 1996, 518-528.
10. Cholewiński, P.: "Stratified default theories". L. Pacholski and J. Tiuryn (eds), Proceedings of the Twelfth Workshop on Computer Science Logic, Lecture Notes in Computer Science 933, Berlin: Springer-verlag, 1995, 456-470.
11. Delgrande, J. and Schaub, T.: "A general approach to specificity in default reasoning". J. Doyle, E. Sandewall and P. Torasso (Eds), Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), San Francisco: Morgan Kaufmann, 1994, 146-157.
12. Doyle, J.: Truth Maintenance System for Problem Solving, MIT Artificial Intelligence Laboratory, Report AI-TR-419, 1978.
13. Etherington, D.W.: "Formalizing nonmonotonic reasoning system", Artificial Intelligence, 31, 1987, 41-85.
14. Etherington, D.W.: Reasoning with incomplete information, Los Altos, CA: Morgan Kaufmann, 1988.
15. Etherington, D. W. and Crawford, J. M.: "Toward efficient default reasoning", Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, 1996, 627-632.
16. Gottlob, G: "Complexity Results for Nonmonotonic Logics", Journal of Logic and Computation, 2(3), 1992, 397-425.
17. Kautz, H.A. and Selman, B.: "Forming concepts for fast inference", Proceedings of the Tenth National Conference on Artificial Intelligence, San Jose, CA, 1992, 786-793.
18. Levesque, H. J.: "A logic of implicit and explicit belief", Proceedings of the Fourth National Conference on Artificial Intelligence, Austin, TX, 1984, 198-202.
19. Marek, W. and Truszczyński, M.: Nonmonotonic Logic: Context Dependent Reasoning, Berlin: Springer Verlag, 1993.
20. Li, W.: "A logic framework for knowledge base maintenance", Journal of Computer Science and Technology, 10(3), 1995, 193-205.
21. Li, W., Shen, N. and Wang, J.: "R-calculus: A logical approach for knowledge base maintenance", International Journal of Artificial Intelligence Tool, 4(2), 1995, 177-200.
22. McDermott, D. and Doyle, J.: "Non-monotonic logic I", Artificial Intelligence, 13, 1980, 41-72.
23. Papadimitriou, C. and Sideri, M.: "Default theories that always have extensions", Artificial Intelligence, 69, 1994, 347-357.
24. Schwind, C.: "A tableaux-based theorem prover for a decidable subset of default logic". M. Stickel (ed.), Proceedings of the 10th Conference on Automated Deduction, Berlin: Springer-Verlag, 1990, 528-542.
25. Sharts, G. F.: "Fixed points in the propositional nonmonotonic logic", Artificial Intelligence, 38, 1989, 199-206.
26. Reiter, R.: "A logic for default reasoning", Artificial Intelligence, 13, 1980, 81-132.
27. Turner, H.: "Splitting a default theory", Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, 1996, 645-651.