I-DLV: The new intelligent grounder of DLV

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

doi:10.3233/ia-170104

Cited by 49 publications

(47 citation statements)

References 36 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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 Setmentioning

confidence: 99%

“…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%

“…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].…”

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%

See 4 more Smart Citations

A framework for easing the development of applications embedding answer set programming

Fuscà

Germano

Zangari

et al. 2016

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming

Self Cite

View full text Add to dashboard Cite

Abstract. 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: 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 Setmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Implementing Embaspmentioning

confidence: 99%

Section: Specializing the Frameworkmentioning

confidence: 99%