A 25-Year Perspective on Logic Programming

Volume 6125 of the series Lecture Notes in Computer Science pp 159-182

Answer Set Programming

  • Piero BonattiAffiliated withDept. of Phisical Sciences - Sec. Informatics, University of Naples “Federico II”
  • , Francesco CalimeriAffiliated withDept. of Mathematics, University of Calabria
  • , Nicola LeoneAffiliated withDept. of Mathematics, University of Calabria
  • , Francesco RiccaAffiliated withDept. of Mathematics, University of Calabria

* Final gross prices may vary according to local VAT.

Get Access


Answer Set Programming (ASP), referred to also as Disjunctive Logic Programming under the stable model semantics (DLP), is a powerful formalism for Knowledge Representation and Reasoning. ASP has been the subject of intensive research studies, and, also thanks to the availability of some efficient ASP systems, has recently gained quite some popularity and is applied also in relevant industrial projects. The Italian logic programming community has been very active in this area, some ASP results achieved in Italy are widely recognized as milestones on the road to the current state of the art. After a formal definition of ASP, this chapter surveys the main contribution given by the Italian community to the ASP field in the last 25 years.