Developing ASP Programs with ASPIDE and LoIDE-Reference-Cited by-同舟云学术

Developing ASP Programs with ASPIDE and LoIDE

Published:2018-05-16 Issue:2-3 Volume:32 Page:185-186
ISSN:0933-1875
Container-title:KI - Künstliche Intelligenz
language:en
Short-container-title:Künstl Intell

Author:

Calimeri Francesco^ORCID,Germano Stefano,Palermiti Eliana,Reale Kristian,Ricca Francesco

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence

Link

http://link.springer.com/article/10.1007/s13218-018-0534-z/fulltext.html

Reference11 articles.

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

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

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

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications;Algorithms;2023-03-14

2. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04

3. Smart Devices and Large Scale Reasoning via ASP: Tools and Applications;Practical Aspects of Declarative Languages;2022