Testi consigliati:
- Stuart Russell, Peter Norvig
"Artificial Intelligence: A Modern
Approach" - Prentice Hall (2nd Edition)
- Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider
"The Description Logic Handbook : Theory, Implementation and Applications" - Cambridge
- John Kelly
"The essence of Logic" - Prentice Hall
- Luigia Carlucci Aiello, Fiora Pirri
"Strutture logica linguaggi" - Pearson Addison Wesley
Testi di completamento:
- Jan Chomicki , Gunter Saake
"Logics for Databases and Information
Systems" - Kluwer Academic Publishers
- S. Burris, H.P. Sankappanavar
" A
Course in Universal Algebra" - Springer-Verlag
- Ronald Brachman, Hector Levesque
"Knowledge Representation and
Reasoning " - Morgan Kaufmann
Articoli:
- Manfred Schmidt-Schauß, Gert Smolka
"Attributive concept descriptions with complements"
Artificial Intelligence, vol. 48, Issue 1 [1-26] - February 1991
Link:
|