Abstract
LPNMR is based on very solid theoretical foundations. After nearly twenty years of research, LPNMR languages are expressively rich, and their semantic and computational properties are well understood today. Moreover, in the last decade the LPNMR community has focused also on systems implementation, and, after the pioneering work carried out in DLV and Smodels, many efficient LPNMR systems are now available.
The main challenge of LPNMR now concerns applications. Two key questions are:
-
Is LPNMR technology mature enough for the development of industrial applications?
-
Can LPNMR be attractive also for the market?
In this talk, we will address the above questions. We will report also some feedback that we have got ”from the field”, in the collaboration with a Calabrian spin-off company, which is developing three Knowledge Management products based on the DLV system, in a joint venture with a US company. We will present our vision on the future development of LPNMR, pointing out promising application areas where LPNMR can be profitably exploited, and specifying the key theoretical and practical issues to be addressed in order to enhance the applicability of LPNMR.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Leone, N. (2007). Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. In: Baral, C., Brewka, G., Schlipf, J. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2007. Lecture Notes in Computer Science(), vol 4483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72200-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-72200-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72199-4
Online ISBN: 978-3-540-72200-7
eBook Packages: Computer ScienceComputer Science (R0)