Towards a classification of defaults logics

Journal of Applied Non-Classical Logics

Volumn 7, Issue 4, 1997, Pages 397-451

  Link, Thomas ^a   Schaub, Torsten ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b UNIVERSITÉ D'ANGERS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042126938     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1997.10510925     Document Type: Article

References (38)

1. F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. Technical Report RR-92-58, DFKI, December 1993.
2. J.L. Bell and M. Machover. A course in mathematical logic. North-Holland Publishing Company, 1977.
3. P. Besnard and T. Schaub. A context-based framewor k for default logics. In Proceedings of the AAAI National Conference on Artificial Intelligence, pages 406-411. AAAI Press/The MIT Press, 1993. (Besnard and Schaub, 1995]
4. P. Besnard and T. Schaub. An approach to context-based def ault reasoning. Fundamenta Informaticae, 23{2-4):175-223, 1995.
5. K. Bowen. Model Theory for Modal Logics. Synthese Library. Reidel, Dordrecht, 1979.
6. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50{2):183-205, 1991.
7. G. Brewka. Adding priorities and specificity to default logic. In L. Pereira and D. Pearce, editors, European Workshop on Logics in Artificial Intelligence (JELIA '94), Lecture Notes in Artificial Intelligence, pages 247- 260. Springer Verlag, 1994.
8. P. Chatalic and C. Froidevaux. Graded logics: A framework for uncertain and defeasible knowledge. In Z. Ras and M. Zemankov-, editors, Fifth International Symposium on Methodologies for Intelligent Systems (ISMIS'91} , volume 542 of Lecture Notes in Artificial Intelligence, pages 479-489. Springer Verlag, 1991.
9. J. Delgrande and W. Jackson. Default logic revisited. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pages 118-127, San Mateo, CA, April 1991. Morgan Kaufmann Publishers.
10. J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70{1-2):167-237, 1994.
11. J. Dix. On cumulativity in default logic and its relation to Poole's approach. In B. Neumann, editor, Proceedings of the European Conference on Artificial Intelligence, pages 289-293. John Wiley & sons, 1992.
12. H.-D. Ebbinghaus, J. Flum, and W. Thomas. Einfiihrung in die mathematische Logik. Spektrum akademischer Verlag, Heidelberg, Berlin, Oxford, 1996.
13. H. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.
14. C. Froidevaux and C. Grossctete. Graded default theories for uncertainty. In L. Aiello, editor, Proceedings of the Eumpean Conference on Artificial Intelligence, pages 283-288. Pitman/ Morgan Kaufmann, 1990.
15. C. Froidevaux and J. Mengin. Default logic: A unified view. Computational Intelligence, 10(3):331-369, 1994.
16. D. Gabbay. Theoretical foundations for non-monotonic re asoning in expert systems. InK. Apt, editor, Logics and Models of Concurrent Systems, pages 439-457. Springer Verlag, Berlin, 1985.
17. M. Gelfand, V. Lifschitz, H. Przymusinska, and M. Truszczyri.ski. Disjunctive d efaults. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pages 230-237, San Mateo, CA, April 1991. Morgan Kaufmann Publishers.
18. L. Giordano and A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1):161-179, 1994.
19. L. Giordano. Defining variants of default logic: A modal approach. In Seventh International Symposium on Methodologies for Intelligent Systems { ISMIS'93), pages 59-68. Springer Verlag, 1993.
20. U. Junker and G. Brewka. Handling partially ordered defaults in TMS. In Proce edings of the First European Conference on Symbolic and Quantitative Aspects for Uncertainty, Marseille, France, 1991.
21. F. Levy. Computing extensions of default theories. In R. Kruse and P. Siegel, editors, Proceedings of the E uropean Conference on Symbolic and Quantitative Approaches for Uncertainty, volume 548 of Lecture Notes in Computer Science, pages 219-226. Springer Verlag, 1991.
22. W. Lukaszewicz. Considerations on default logic-an alternative approach. Computational Intelligence, 4:1-16, 1988.
23. C. MacNish. Hierarchical default logic. In R. Kruse and P. Siegel, editors, Proceedings of the European Conference on Symbolic and Quantitative Approaches to Uncertainty, volume 548 of Lecture Notes in Computer Science. Springer Verlag, 1991.
24. D. Makinson. General theory of cumulative inference. In M. Reinfrank, J. de Kleer, M. Ginsberg, and E. Sandewall, editors, Proceedings of the Second International Workshop on Non-Monotonic Reasoning, volu me 346 of Lecture Notes in Artificial Intelligence, pages 1-18. Springer Verlag, 1989.
25. W. Marek and M. Truszczyriski. Normal form results for default logics. In G. Brewka, K. Jantke, and P. Schmitt, editors, Nonmonotonic and Inductive Logic, volume 659 of Lecture Notes in Artificial Intelligence, pages 153-17 4. Springer Verlag, 1993.
26. A. Mikitiuk and M. Truszczynski. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning., pages 283-299. MIT Press, 1993.
27. A. Mikitiuk and M. Truszczyriski. Rational versus constrained default logic. In C. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 1509-1515. Morgan Kaufmann Publishers, 1995.
28. A. Mikitiuk and M. Truszczynski. Personal communication, 1996.
29. D. Pearce. Default logic and constructive logic. In B. Neumann, editor, Proceedings of the European Confer•ence on Artificial Intelligence, pages 309-313. John Wiley & sons, 1994.
30. D. Poole. What the lottery paradox tells us about default reasonin g. In R. Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the First In-ternational Conference on the Principles of/{ now ledge Representation and Reasoning, pages 333-340, Los Altos, CA, May 1989. Morgan Kaufmann Publishers.
31. A. Radzikowska. A three-valued approach to default logic. Journal of Applied Non-Classical Logics, 6(2):149-190, 1996.
32. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1- 2):81-132, 1980.
33. V. Risch. Les Tableaux A nalytiqu.es au. Service des Logiqu.es de Defau.ts. PhD thesis, Universite Aix-Marseille II, G.I.A., Pare Scientifique et Technologique de Lumi ny, April 1993.
34. V. Risch. On the cumulativity of justified default logic. Unpublished manuscript, 1995.
35. T. Schaub. On commitment and cumulaLivity in default logics. In R. Kruse and P. Siegel, ed itors, Proceedings of European Confet•ence on Symbolic and Quantitative Approaches to Uncertainty, pages 304-309. Springer Verlag, 1991.
36. T. Schaub. On constrained default theories. In B. Neumann, editor, Proc eedings of the European Conference on Artificial Intelligence, pages 304-308. John Wiley & sons, 1992.
37. T. Schaub. Variations of constrained default logic. In M. Clarke, R. Kruse, and S. Moral, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pages 312-317. Spring er Verlag, 1993.
38. Y. Tan and J. Treur. Constructive default logic and the control of defeasible reasoning. In B. Neumann, editor, Proceedings of the European Conference on Artificial Intelligence, pages 299-303. John Wiley & sons, 1992.