Abstract
Answer Set Programming (ASP) is a declarative programming paradigm that has been successfully used in a number of industry-level applications also thanks to the availability of development tools. REpresentation State Transfer (REST) Web Services recently became a common and widely-used tool for enterprise applications. A service-oriented infrastructure for ASP would further catalyze the adoption of ASP-based solutions in real-world contexts. This paper introduces a REST-based framework for ASP, and reports on an application of the framework in the field of surveillance for photovoltaic plants.
The paper has been partially supported by the MISE under project “PIUCultura – Paradigmi Innovativi per l’Utilizzo della Cultura” (n. F/020016/01-02/X27), and under project “Smarter Solutions in the Big Data World (S2BDW)” (n. F/050389/01-03/X32) - “HORIZON2020” PON I&C 2014-2020.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
Bihlmeyer, R., Faber, W., Ielpa, G., Lio, V., Pfeifer, G.: DLV - user manual (2002). http://www.dlvsystem.com/html/DLV_User_Manual.html
Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
Calegari, R., Denti, E., Mariani, S., Omicini, A.: Towards logic programming as a service: experiments in tuProlog. In: WOA, pp. 79–84 (2016)
Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Magaz. 37(3), 53–68 (2016)
Febbraro, O., Grasso, G., Leone, N., Ricca, F.: JASP: a framework for integrating answer set programming with Java. In: Proceedings of KR 2012. AAAI Press (2012)
Febbraro, O., Reale, K., Ricca, F.: ASPIDE: integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 317–330. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20895-9_37
Fielding, R.T., Taylor, R.N.: Architectural styles and the design of network-based software architectures. University of California, Irvine Doctoral dissertation (2000)
Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2012)
Leone, N., Manna, M., Terracina, G., Veltri, P.: Efficiently computable datalog programs. In: Proceedings of KR 2012, pp. 13–23 (2012)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Logic 7(3), 499–562 (2006)
Leone, N., Ricca, F.: Answer set programming: a tour from the basics to advanced development tools and industrial applications. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 308–326. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21768-0_10
Lierler, Y., Maratea, M., Ricca, F.: Systems, engineering environments, and competitions. AI Magaz. 37(3), 45–52 (2016)
Wielemaker, J., Lager, T., Riguzzi, F.: SWISH: SWI-prolog for sharing. arXiv preprint arXiv:1511.00915 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Catalano, G., Laboccetta, G., Reale, K., Ricca, F., Veltri, P. (2018). A REST-Based Development Framework for ASP: Tools and Application. In: Calimeri, F., Hamlen, K., Leone, N. (eds) Practical Aspects of Declarative Languages. PADL 2018. Lecture Notes in Computer Science(), vol 10702. Springer, Cham. https://doi.org/10.1007/978-3-319-73305-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-73305-0_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73304-3
Online ISBN: 978-3-319-73305-0
eBook Packages: Computer ScienceComputer Science (R0)