The students will learn when and how to apply state of the art approaches for automated reasoning in AI, with particular emphasys on symbolic approached based on logic and on more recent neuro-symbolic methods, combining logical reasoning with stastical learning approaches.
Symbolic and Neuro-Symbolic Artificial Intelligence
Learning Goals
Program in pills
Symbolic AI and automated reasoning: SAT solvers, SMT solvers, constraint programming, theorem proving. Neuro-symbolic AI: neuro-symbolic formalisms, constraint learning of neural networks, neuro-symbolic reasoning
Area
Machine Learning and Artificial Intelligence
Curriculum Foundations
TAF Type
Curriculum Industry
TAF Type
Curriculum Health
TAF Type
Curriculum Economy
TAF Type
SSD
ECTS
Semester
Lecturers
Adriano Peron
Francesca Cairoli