Answer Set Programming: a quick tour from the basics to industrial applications (not to mention games...)
Francesco Calimeri
Associate Professor at the University of Calabria, Italy
Politecnico di Milano, Campus Leonardo
C.E.3 Room (Piazza L. da Vinci, 32)
November 23rd, 2018
2.15 pm
Contacts:
Elena De Momi
Associate Professor at the University of Calabria, Italy
Politecnico di Milano, Campus Leonardo
C.E.3 Room (Piazza L. da Vinci, 32)
November 23rd, 2018
2.15 pm
Contacts:
Elena De Momi
Abstract
Answer Set Programming (ASP) is a powerful rule-based declarative language for knowledge representation and reasoning that has been developed in the field of logic programming and nonmonotonic reasoning. After more than twenty years from the introduction of ASP, the theoretical properties of the language are well understood, and the solving technology has become mature for practical applications. In this talk we will briefly introduce the language and shed a light on some actual ASP-based applications.
Short Bio
Francesco Calimeri currently serves as Associate Professor at the University of Calabria, Italy. During his academic and research activities he has been involved in several international research projects, counting both research and enterprise partners, and served as program and organizing (co-)chair for several international scientific events. His research activities range over several topics, mostly related to Logics and Artificial Intelligence and Bioinformatics, and his works appeared in top-level journal and conferences; he received, among other prizes, the ICLP "Test of Time" Award. He is part of the team that designed and develops DLV, a major logic-based Artificial Intelligence systems worldwide, and has been steadily devoted to technology transfer: he holds several patents, and is co-founder and CEO of DLVSystem ltd.