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: |