Skip to main content
Springer Nature Link
Log in

Developing ASP Programs with ASPIDE and LoIDE

  • Systems Description
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

Abstract

In order to facilitate the design of applications of Answer Set Programming (ASP), some tools for ASP-program development were proposed in the last years. In this paper we describe ASPIDE, a comprehensive IDE for ASP, and LoIDE a recently-developed web-based editor for logic programs.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Alviano M, Calimeri F, Dodaro C, Fuscà D, Leone N, Perri S, Ricca F, Veltri P, Zangari J (2017) The ASP system DLV2. In: LPNMR, LNCS, vol 10377. Springer, pp 215–221

  2. Busoniu P, Oetsch J, Pührer J, Skocovsky P, Tompits H (2013) Sealion: an eclipse-based IDE for answer-set programming with advanced debugging support. TPLP 13(4–5):657–673

    Google Scholar 

  3. Calimeri F, Gebser M, Maratea M, Ricca F (2016) Design and results of the fifth answer set programming competition. Artif Intell 231:151–181

    Article  MathSciNet  MATH  Google Scholar 

  4. Dasseville I, Janssens G (2015) A web-based IDE for IDP. CoRR. arXiv:abs/1511.00920

  5. Dodaro C, Gasteiger P, Musitsch B, Ricca F, Shchekotykhin KM (2015) Interactive debugging of non-ground ASP programs. In: LPNMR, LNCS, vol 9345. Springer, pp 279–293

  6. Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53–68

    Article  Google Scholar 

  7. Febbraro O, Reale K, Ricca F (2011) ASPIDE: integrated development environment for answer set programming. In LPNMR, 2011, proceedings, LNAI, vol 6645. Springer, pp 317–330

  8. Fuscà D, Germano S, Zangari J, Anastasio M, Calimeri F, Perri S (2016) A framework for easing the development of applications embedding answer set programming. In PPDP, 2016, proceedings. ACM, pp 38–49

  9. Leone N, Ricca F (2015) Answer set programming: a tour from the basics to advanced development tools and industrial applications. In: Reasoning web, LNCS, vol 9203. Springer, pp 308–326

  10. Wielemaker J, Lager T, Riguzzi F (2015) SWISH: swi-prolog for sharing. CoRR. arXiv:abs/1511.00915

  11. Germano S, Calimeri F, Palermiti E (2018) LoIDE: a web-based IDE for logic programming preliminary report. In: PADL 2018, LNCS, vol 10702. Springer, pp 152–160

Download references

Author information

Authors and Affiliations

  1. University of Calabria, Rende, Italy

    Francesco Calimeri, Stefano Germano, Eliana Palermiti & Francesco Ricca

  2. DLVSystem Srl, Rende, Italy

    Kristian Reale

Authors
  1. Francesco Calimeri
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefano Germano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eliana Palermiti
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kristian Reale
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Francesco Ricca
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesco Calimeri.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Calimeri, F., Germano, S., Palermiti, E. et al. Developing ASP Programs with ASPIDE and LoIDE. Künstl Intell 32, 185–186 (2018). https://doi.org/10.1007/s13218-018-0534-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-018-0534-z

Keywords