Skip to main content
SpringerLink
Log in

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

  • Conference paper
  • First Online:
AI*IA 2016 Advances in Artificial Intelligence (AI*IA 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10037))

Included in the following conference series:

  • 1249 Accesses

Abstract

Answer Set Programming (ASP) is a well-established declarative programming paradigm in close relationship with other formalisms such as Satisfiability Modulo Theories, Constraint Handling Rules, FO(.) (First-Order logic extensions), Planning Domain Definition Language and many others; it became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning, especially for its high expressiveness and the ability to deal also with incomplete knowledge. In the latest years, the community produced significant theoretical results and a number of robust and efficient implementations; this has been moving the focus from a strict theoretical scope to more practical aspects, and ASP has been increasingly employed in a number of different domains and for the development of industrial-level and enterprise applications. Although different development tools have been released, there is still a lack of proper means for an effective, large-scale applicability of ASP, especially in the mobile setting. In this work we show a general framework for integrating ASP reasoners into external systems and its use for designing and implementing ASP-based applications to different extents. In particular, we illustrate the integration of the ASP system DLV on the Android platform, and a full-native ASP-based mobile app for helping players of a live game of checkers.

This work was partially supported by the Italian Ministry of University and Research under PON project “Ba2Know (Business Analytics to Know) Service Innovation - LAB”, No. PON03PE_00001_1, and by the Italian Ministry of Economic Development under project “PIUCultura (Paradigmi Innovativi per l’Utilizzo della Cultura)” n. F/020016/01-02/X27. Francesco Calimeri has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 690974 for the project: “MIREL: MIning and REasoning with Legal texts”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://www.android.com.

  2. 2.

    http://www.dlvsystem.com.

  3. 3.

    https://www.oracle.com/java.

  4. 4.

    https://docs.oracle.com/javase/tutorial/java/annotations/.

  5. 5.

    https://developer.android.com/guide/components/services.html.

  6. 6.

    https://developer.android.com/tools/sdk/ndk.

  7. 7.

    http://opencv.org.

References

  1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

    Book  MATH  Google Scholar 

  2. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)

    Article  Google Scholar 

  3. Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Minker, J. (ed.) Logic-Based Artificial Intelligence. The Springer International Series in Engineering and Computer Science, vol. 597, pp. 79–103. Springer, Heidelberg (2000). doi:10.1007/978-1-4615-1567-8_4

    Chapter  Google Scholar 

  4. Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Proceedings of Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School - Tutorial Lectures, Brixen-Bressanone, Italy, August-September 2009, pp. 40–110 (2009)

    Google Scholar 

  5. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)

    Article  MATH  Google Scholar 

  6. Marek, V.W., Truszczyński, M.: Stable models and an alternative logic programming paradigm. In: Apt, K.R., Marek, V.W., Truszczyński, M., Warren, D.S., et al. (eds.) A 25-Year Perspective. Artificial Intelligence, pp. 375–398. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Niemelä, I.: Logic programming with stable model semantics as constraint programming paradigm. Ann. Math. Artif. Intell. 25(3–4), 241–273 (1999)

    Article  MATH  Google Scholar 

  8. Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: The design of the fifth answer set programming competition. CoRR abs/1405.3710 (2014)

    Google Scholar 

  9. Calimeri, F., Ricca, F.: On the application of the answer set programming system DLV in industry: a report from the field. Book Rev. 2013(03) (2013)

    Google Scholar 

  10. 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, Heidelberg (2015). doi:10.1007/978-3-319-21768-0_10

    Chapter  Google Scholar 

  11. Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3–4), 333–361 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Febbraro, O., Grasso, G., Leone, N., Ricca, F.: JASP: a framework for integrating answer set programming with java. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy. AAAI Press (2012)

    Google Scholar 

  13. 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). doi:10.1007/978-3-642-20895-9_37

    Chapter  Google Scholar 

  14. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. In: Leuschel, M., Schrijvers, T. (eds.) Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP 2014) (2014). arXiv:1405.3694v1. (Theory and Practice of Logic Programming, Online Supplement)

  15. 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)

    Article  MathSciNet  Google Scholar 

  16. Calimeri, F., Fuscà, D., Germano, S., Perri, S., Zangari, J.: EMBASP (2015)

    Google Scholar 

  17. Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 200–212. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30227-8_19

    Chapter  Google Scholar 

  18. Przymusinski, T.C.: Stable semantics for disjunctive programs. New Gener. Comput. 9, 401–424 (1991)

    Article  MATH  Google Scholar 

  19. Radziszowski, S.P.: Small Ramsey numbers. Electron. J. Comb. 1 (1994). Revision 9: July 15, 2002

    Google Scholar 

  20. Balduccini, M., Son, T.C. (eds.): Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS (LNAI), vol. 6565. Springer, Heidelberg (2011)

    MATH  Google Scholar 

  21. Buccafurri, F., Leone, N., Rullo, P.: Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12(5), 845–860 (2000)

    Article  Google Scholar 

  22. Ricca, F.: The DLV java wrapper. In: de Vos, M., Provetti, A. (eds.) Proceedings ASP03 - Answer Set Programming: Advances in Theory and Implementation, Messina, Italy, pp. 305–316, September 2003. http://CEUR-WS.org/Vol-78/

  23. Thimm, M.: Tweety: a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, 20–24 July 2014, pp. 528–537 (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Calabria, Rende, Italy

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

  2. DLVSystem Srl, Rende, Italy

    Francesco Calimeri

Authors
  1. Francesco Calimeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Davide Fuscà
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefano Germano
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Simona Perri
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jessica Zangari
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Calimeri .

Editor information

Editors and Affiliations

  1. University of Genoa , Genova, Italy

    Giovanni Adorni

  2. University of Parma , Parma, Italy

    Stefano Cagnoni

  3. University of Siena , Siena, Italy

    Marco Gori

  4. University of Genova , Genova, Italy

    Marco Maratea

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Calimeri, F., Fuscà, D., Germano, S., Perri, S., Zangari, J. (2016). Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds) AI*IA 2016 Advances in Artificial Intelligence. AI*IA 2016. Lecture Notes in Computer Science(), vol 10037. Springer, Cham. https://doi.org/10.1007/978-3-319-49130-1_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-49130-1_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-49129-5

  • Online ISBN: 978-3-319-49130-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation