Genesereth – Introduction to Logic

Libro adottato a Statale di Milano, a.a. 2026/2027 · 1 canale

«Genesereth – Introduction to Logic» è adottato per Knowledge Representation And Reasoning dal prof. Marco Calautti (Informatica - magistrale – Statale di Milano).

Come lo indica il docente: Genesereth, M. R., & Kao, E. (2017). Introduction to Logic (3nd ed.). Stanford University. ISBN: 978-3-031-01801-5, DOI: https://doi.org/10.1007/978-3-031-01801-5

Chi lo adotta

• Knowledge Representation And Reasoning – Prof. Marco Calautti (canale unico)Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Brachman – Knowledge Representation and Reasoning
• Abiteboul – Foundations of Databases
• Greco – Datalog and Logic Databases