Martina Fedel - Formalizzazioni del ragionamento non ... - SELP
Martina Fedel - Formalizzazioni del ragionamento non ... - SELP
Martina Fedel - Formalizzazioni del ragionamento non ... - SELP
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Bibliografia<br />
[1] D.M.Gabbay:Theoretical foundations for <strong>non</strong>-monotonic reasoning in<br />
expert system.In Kryzysztof R.Apt, editor, Proc. of the NATO Advanced<br />
Study Institute on Logics and Mo<strong>del</strong>s of Concurrent Systems, pages<br />
439-457, La Colle-sur-Loup, France, October 1985. Springer-Verlag<br />
[2] D.M.Gabbay, C.Hogger, J.Robinson: Handbook of Logic in Artificial<br />
Intelligence and Logic Programming, volume 3, Oxford University Press,<br />
G.B, 1994<br />
[3] M.L.Ginsgberg: AI and Nonmonotonic reasoning in Gabbay et al. [2]<br />
[4] H.Hosni: Nonmonotonic Logic, Manuscript, March 2007<br />
[5] S.Kraus, D.Lehmann, M.Magidor: Nonmonotonic Reasoning, Preferential<br />
Mo<strong>del</strong>s and Cumulative Logics, Artificial Intelligence, 44(1):167-207<br />
1990<br />
[6] D.Lehmann, M.Magidor: What does a conditional knowledge base<br />
entail?, Artificial Intelligence, 55:1-60 1992<br />
[7] D.Makinson: Completeness Theorems, Representation Theorems:<br />
What?s the Difference?, Hommage a Wlodek:Philosophical Papers<br />
dedicated to Wlodek Rabinowicz, ed. Rosmussen et al.<br />
[8] D.Makinson: Bridges from Classical to Nonmonotonic Logic, Texts in<br />
Computing volume 5, Texts in computing Series Editor Ian Mackie,<br />
King’s College London, 2005 :73-83<br />
[9] J.B.Paris: Nomonotonic Logic,Manuscript December 2003<br />
34