摘要:
springer.com
sci-hub.se 参考文章(18)
Witold Lukaszewicz, Considerations on Default Logic. non-monotonic reasoning. pp. 165- 193 ,(1984)
Herve Gallaire, Jack Minker, Logic and Data Bases ,(1978)
Logics and models of concurrent systems NATO ASI series. Serie F: computer and systems sciences. ,(1989) , 10.1007/978-3-642-82453-1
Johan van Benthem, Semantic Parallels in Natural Language and Computation Studies in logic and the foundations of mathematics. ,vol. 129, pp. 331- 375 ,(1989) , 10.1016/S0049-237X(08)70133-2
Edna Ullmann-Margalit, Avishai Margalit, Analyticity by Way of Presumption Canadian Journal of Philosophy. ,vol. 12, pp. 435- 452 ,(1982) , 10.1080/00455091.1982.10716340
D. M. Gabbay, Theoretical foundations for non-monotonic reasoning in expert systems Logics and models of concurrent systems. pp. 439- 457 ,(1989) , 10.1007/978-3-642-82453-1_15
David Makinson, How to give it up: A survey of some formal aspects of the logic of theory change Synthese. ,vol. 62, pp. 347- 363 ,(1985) , 10.1007/BF00869410
J. K. Slaney, Dov Gabbay, Franz Guenther, Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic The Philosophical Quarterly. ,vol. 36, pp. 101- ,(1986) , 10.2307/2219318
Michael R. Genesereth, Nils J. Nilsson, Logical Foundations of Artificial Intelligence ,(1987)
Carlos E. Alchourr�n, David Makinson, On the logic of theory change: Safe contraction Studia Logica. ,vol. 44, pp. 405- 422 ,(1985) , 10.1007/BF00370430