{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:24:46Z","timestamp":1756463086560,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T00:00:00Z","timestamp":1526428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s13218-018-0534-z","type":"journal-article","created":{"date-parts":[[2018,5,16]],"date-time":"2018-05-16T07:08:11Z","timestamp":1526454491000},"page":"185-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Developing ASP Programs with ASPIDE and LoIDE"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0834","authenticated-orcid":false,"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Germano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eliana","family":"Palermiti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristian","family":"Reale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,16]]},"reference":[{"key":"534_CR1","doi-asserted-by":"crossref","unstructured":"Alviano M, Calimeri F, Dodaro C, Fusc\u00e0 D, Leone N, Perri S, Ricca F, Veltri P, Zangari J (2017) The ASP system DLV2. In: LPNMR, LNCS, vol 10377. Springer, pp 215\u2013221","DOI":"10.1007\/978-3-319-61660-5_19"},{"issue":"4\u20135","key":"534_CR2","first-page":"657","volume":"13","author":"P Busoniu","year":"2013","unstructured":"Busoniu P, Oetsch J, P\u00fchrer J, Skocovsky P, Tompits H (2013) Sealion: an eclipse-based IDE for answer-set programming with advanced debugging support. TPLP 13(4\u20135):657\u2013673","journal-title":"TPLP"},{"key":"534_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri F, Gebser M, Maratea M, Ricca F (2016) Design and results of the fifth answer set programming competition. Artif Intell 231:151\u2013181","journal-title":"Artif Intell"},{"key":"534_CR4","unstructured":"Dasseville I, Janssens G (2015) A web-based IDE for IDP. CoRR. \n                    arXiv:abs\/1511.00920"},{"key":"534_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013293","DOI":"10.1007\/978-3-319-23264-5_24"},{"issue":"3","key":"534_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53\u201368","journal-title":"AI Mag"},{"key":"534_CR7","doi-asserted-by":"crossref","unstructured":"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\u2013330","DOI":"10.1007\/978-3-642-20895-9_37"},{"key":"534_CR8","doi-asserted-by":"crossref","unstructured":"Fusc\u00e0 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\u201349","DOI":"10.1145\/2967973.2968594"},{"key":"534_CR9","doi-asserted-by":"crossref","unstructured":"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\u2013326","DOI":"10.1007\/978-3-319-21768-0_10"},{"key":"534_CR10","unstructured":"Wielemaker J, Lager T, Riguzzi F (2015) SWISH: swi-prolog for sharing. CoRR. \n                    arXiv:abs\/1511.00915"},{"key":"534_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013160","DOI":"10.1007\/978-3-319-73305-0_10"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0534-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0534-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0534-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T21:07:11Z","timestamp":1557954431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0534-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,16]]},"references-count":11,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["534"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0534-z","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2018,5,16]]},"assertion":[{"value":"16 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}