{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/a-framework-for-easing-the-development-of","title":"A Framework for Easing the Development of Applications Embedding Answer Set Programming","arxiv_id":"1707.06959","date":"2017-07-21","proceeding":null,"authors":["Francesco Calimeri","Davide Fuscà","Stefano Germano","Simona Perri","Jessica Zangari"],"abstract":"Answer Set Programming (ASP) is a well-established declarative problem\nsolving paradigm which became widely used in AI and recognized as a powerful\ntool for knowledge representation and reasoning (KRR), especially for its high\nexpressiveness and the ability to deal also with incomplete knowledge.\n  Recently, thanks to the availability of a number of robust and efficient\nimplementations, ASP has been increasingly employed in a number of different\ndomains, and used for the development of industrial-level and enterprise\napplications. This made clear the need for proper development tools and\ninteroperability mechanisms for easing interaction and integration with\nexternal systems in the widest range of real-world scenarios, including mobile\napplications and educational contexts.\n  In this work we present a framework for integrating the KRR capabilities of\nASP into generic applications. We show the use of the framework by illustrating\nproper specializations for some relevant ASP systems over different platforms,\nincluding the mobile setting; furthermore, the potential of the framework for\neducational purposes is illustrated by means of the development of several\nASP-based applications.","url_abs":"http://arxiv.org/abs/1707.06959v1","url_pdf":"http://arxiv.org/pdf/1707.06959v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"a-framework-for-easing-the-development-of","repo_url":"https://github.com/DeMaCS-UNICAL/EmbASP","is_official":1,"mentioned_in_paper":0,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}