15.08.2013 Views

Martina Fedel - Formalizzazioni del ragionamento non ... - SELP

Martina Fedel - Formalizzazioni del ragionamento non ... - SELP

Martina Fedel - Formalizzazioni del ragionamento non ... - SELP

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!