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.

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.