FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
On the Development of Industrial Applications with ASP

Authors: Nicola Leone, Bernardo Cuteri, Marco Manna, Kristian Reale and Francesco Ricca

Paper Information

Title:On the Development of Industrial Applications with ASP
Authors:Nicola Leone, Bernardo Cuteri, Marco Manna, Kristian Reale and Francesco Ricca
Proceedings:LPOP Position Papers
Editors: K. Tuncay Tekle and Marc Denecker
Keywords:Answer Set Programming, ASP systems, DLVSYSTEM srl, ASPIDE, JDLV
Abstract:

ABSTRACT. Answer Set Programming (ASP) is a powerful rule-based language for knowledge representation and reasoning that has been developed in the field of logic programming and nonmonotonic reasoning. After many years of basic research, the ASP technology has become mature for the development of significant real-world applications. In particular, the well-known ASP system DLV has undergone an industrial exploitation by a spin-off company called DLVSYSTEM srl, which has led to its successful usage in a number of industry-level applications. The success of DLV for applications development is due also to its endowment with powerful development tools, supporting researchers and software developers that simplify the integration of ASP in real-world applications which usually require to combine logic-based modules within a complete system featuring user interfaces, services etc. In this talk, we first recall the basics of the ASP language. Then, we overview our advanced development tools, and we report on the recent implementation of some challenging industry-level applications of our system.

Pages:3
Talk:Jul 18 09:50 (Session 124E: Logic and Practice of Programming)
Paper: