Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework

Calimeri, Francesco; Fuscà, Davide; Germano, Stefano; Perri, Simona; Zangari, Jessica

doi:10.1007/s00354-018-0046-2

Cited by 9 publications

(8 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In order to better outline correspondences with the abstract architecture of Figure 1, classes belonging to a module have been grouped together. The complete UML class diagram is available online at [6]. For what the asynchronous mode is concerned, the class Service depends from the interface Callback, since once the reasoning service has terminated, the result of the computation is returned back via a class Callback.…”

Section: Implementing Embaspmentioning

confidence: 99%

“…It is worth noting that DLV was not available for Android; furthermore, it is natively implemented in C++, while the standard development process on Android is based on Java. To this end, DLV has been on purpose rebuilt using the NDK (Native Development Kit) 6 , and has been linked to the Java code using the JNI (Java Native Interface) 7 . This grants the access to the APIs provided by the Android NDK, and in turn accedes to the DLV exposed functionalities directly from the Java code of an Android application.…”

Section: Specializing the Frameworkmentioning

confidence: 99%

“…As a use case, we will refer to an application for solving Sudoku puzzles. We will report the code related to the embASP usage; the complete code is available online [6]. Notably, thanks to the annotation-guided mapping, the ASP-based aspects can be separated from the Java coding: the programmer does not even necessarily need to be aware of ASP.…”

Section: Specializing the Frameworkmentioning

confidence: 99%

“…The source code of this application along with the Android Application Package (APK) are available online; more details can be found at [6].…”

Section: Asp-based Applications: Some Examples In the Educational Set...mentioning

confidence: 99%

“…Moreover, our framework is not specifically bound to a single or specific solver; rather, it can be easily extended for dealing with different solvers; in addition, it allows to build applications that can run different solvers, and different instances, at the same time; none of the mentioned systems exposes this feature. Finally, to our knowledge, the specialization of embASP for DLV on Android has been the first actual attempt to port ASP solvers to mobile systems reported in literature; indeed, the preliminary version of embASP was originally explicitly tailored to the mobile scenario [5,6].…”

Section: Related Workmentioning

confidence: 99%

See 4 more Smart Citations

A Framework for Easing the Development of Applications Embedding Answer Set Programming

Calimeri,

Fuscà,

Germano

et al. 2017

Preprint

Self Cite

View full text Add to dashboard Cite

Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning (KRR), especially for its high expressiveness and the ability to deal also with incomplete knowledge. Recently, thanks to the availability of a number of robust and efficient implementations, ASP has been increasingly employed in a number of different domains, and used for the development of industrial-level and enterprise applications. This made clear the need for proper development tools and interoperability mechanisms for easing interaction and integration with external systems in the widest range of real-world scenarios, including mobile applications and educational contexts. In this work we present a framework for integrating the KRR capabilities of ASP into generic applications. We show the use of the framework by illustrating proper specializations for some relevant ASP systems over different platforms, including the mobile setting; furthermore, the potential of the framework for educational purposes is illustrated by means of the development of several ASP-based applications.

show abstract

Section: Implementing Embaspmentioning

confidence: 99%

Section: Specializing the Frameworkmentioning

confidence: 99%

Section: Specializing the Frameworkmentioning

confidence: 99%

“…The source code of this application along with the Android Application Package (APK) are available online; more details can be found at [6].…”

Section: Asp-based Applications: Some Examples In the Educational Set...mentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%