This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Besnard P. (1989), An introduction to default logic. Springer Verlag, Heidelberg.
Besnard P. Quiniou R, & Quinton P., (1983), A theorem prover for a decidable subset of first order logic, Proc. of AAAI-83, Washington D.C., 27–30.
Birkhoff G. (1973), Lattice Theory, American Mathematical Society Colloquium Publications, vol. XXV.
Bossu G. and Siegel P., (1985), Saturation, nonmonotonic reasoning and the closed-world assumption, Artificial Intelligence 25, 13–63.
Chatalic P. and Froidevaux C. (1991), Graded logics: A framework for uncertain and defeasible knowledge, Proc. of the Int. Symp. on Methodologies and Intelligent Systems, ISMIS-91, Charlotte.
Dubois D. Lang J. and Prade H., (1987), Theorem proving under uncertainty — A possibilistic theory-based approach, Proc. of the 10th IJCAI, Milan, 984–986.
Dubois D. and Prade H. (with the collaboration of Farreny H., Martin-Clouaire R., Testemale C.) (1988), Possibility Theory: An approach to computerized processing of uncertainty. Plenum Press, New-York.
Farinas del Cerro L., Herzig A. (1991), A modal analysis of possibility theory, Proc. of Fundamentals of Artificial Intelligence Research (FAIR' 91) Smolenice, Czechoslovakia, sept. 8–12, 1991. Springer Verlag.
Froidevaux C. and Grossetête C. (1989), Graded default theories, Proc. of the Workshop on Nonmonotonic Reasoning, GMD, Sankt-Augustin, December 13–15, 1989, 179–187.
Froidevaux C. and Grossetête C. (1990), Graded default theories for uncertainty, Proc. of the 9th ECAI, Stockholm, 283–288. Also in Proc. of DRUMS Workshop, Marseille, February 24–27, 1990.
Mengin J. (1991), A theorem prover for free default graded theories, Technical report LRI nℴ 637, University Paris 11. Also in Proc. of DRUMS Workshop, Albi, 1990.
Nilsson N.J. (1986) Probabilistic logic. Artificial Intelligence 28, 71–87.
Reiter R. (1980) A logic for default reasoning. Artificial Intelligence 13, 81–132.
Siegel P. and Schwind C., Hypothesis theory for nonmonotonic reasoning, submitted.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Froidevaux, C., Chatalic, P., Mengin, J. (1991). Graded default logics. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_68
Download citation
DOI: https://doi.org/10.1007/3-540-54659-6_68
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54659-7
Online ISBN: 978-3-540-46426-6
eBook Packages: Springer Book Archive