Developing ASP Programs with ASPIDE and L oIDE

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.

Saved in:
Bibliographic Details
Published inKI. Künstliche Intelligenz (Oldenbourg) Vol. 32; no. 2; pp. 185 - 186
Main Authors Calimeri, Francesco, Germano, Stefano, Palermiti, Eliana, Reale, Kristian, Ricca, Francesco
Format Magazine Article
LanguageEnglish
Published Heidelberg Springer Nature B.V 01.08.2018
Subjects
Computer programs
Logic programs
Mathematical programming
Online AccessGet full text

Cover

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.
AbstractList 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.
Author Reale, Kristian
Ricca, Francesco
Palermiti, Eliana
Calimeri, Francesco
Germano, Stefano
Author_xml – sequence: 1
  givenname: Francesco
  surname: Calimeri
  fullname: Calimeri, Francesco
– sequence: 2
  givenname: Stefano
  surname: Germano
  fullname: Germano, Stefano
– sequence: 3
  givenname: Eliana
  surname: Palermiti
  fullname: Palermiti, Eliana
– sequence: 4
  givenname: Kristian
  surname: Reale
  fullname: Reale, Kristian
– sequence: 5
  givenname: Francesco
  surname: Ricca
  fullname: Ricca, Francesco
BookMark eNotjVFLwzAUhYNMsM79AN8CPmfemzTJzePYpg4KDtTnkbbp3JhNbToFf70b-nA4h-_hO9ds1MY2MHaLMEUAe59QSSQB52iVi58LlqFBEOjIjlgGTimBZPUVm6S0BwApHaLEjE0X4SscYrdrt3z2subrPm57_5H49254P5PVYsl9W_OCx9O8YZeNP6Qw-e8xe3tYvs6fRPH8uJrPCtEhqUEYY03tSmVM4wB10JTXxnoKXpJBHxprsKkCBOW8rDSWEqsKtG1I5lRRqcbs7s_b9fHzGNKw2cdj354uNxKITk6Xa_ULbn9FGg
ContentType Magazine Article
Copyright Copyright Springer Science & Business Media 2018
Copyright_xml – notice: Copyright Springer Science & Business Media 2018
DOI 10.1007/s13218-018-0534-z
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1610-1987
EndPage 186
GroupedDBID -EM
06D
0R~
0VY
1N0
203
2KG
30V
406
408
40D
96X
AAAVM
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AASML
AATNV
AATVU
AAUYE
AAYIU
AAYQN
AAZMS
ABAKF
ABDZT
ABECU
ABFTV
ABHLI
ABJNI
ABJOX
ABKCH
ABMQK
ABQBU
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABXPI
ACAOD
ACDTI
ACGFS
ACHSB
ACIPQ
ACKNC
ACMDZ
ACMLO
ACOKC
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADKPE
ADTPH
ADURQ
ADYFF
ADZKW
AEFQL
AEGNC
AEJHL
AEJRE
AEMSY
AEOHA
AEPYU
AESKC
AETCA
AEVLU
AEXYK
AFQWF
AFWTZ
AFZKB
AGDGC
AGMZJ
AGQEE
AGQMX
AGRTI
AGWZB
AGYKE
AHAVH
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJRNO
AJZVZ
ALFXC
ALMA_UNASSIGNED_HOLDINGS
AMKLP
AMXSW
AMYLF
AMYQR
ANMIH
AOCGG
AXYYD
AYJHY
BGNMA
CSCUP
DDRTE
DNIVK
EBLON
EBS
EIOEI
EJD
ESBYG
FERAY
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FYJPI
GGCAI
GGRSB
GJIRD
GQ6
GQ7
H13
HMJXF
HZ~
I0C
IKXTQ
IWAJR
IXD
J-C
J0Z
JBSCW
JZLTJ
KOV
LLZTM
M4Y
N9A
NPVJJ
NQJWS
NU0
O9-
O93
O9J
P9O
PT4
R9I
RLLFE
ROL
RSV
S27
SCO
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
T13
TSG
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W48
WK8
Z45
Z7R
Z7V
Z7X
Z81
Z83
Z88
ZMTXR
ID FETCH-LOGICAL-p183t-6676d9b366f9015e584d67a8ea2861aef761fce0e39a2c51b21cc057f8248c8b3
ISSN 0933-1875
IngestDate Thu Oct 10 16:15:23 EDT 2024
IsPeerReviewed false
IsScholarly false
Issue 2
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p183t-6676d9b366f9015e584d67a8ea2861aef761fce0e39a2c51b21cc057f8248c8b3
PQID 2088015945
PQPubID 2044368
PageCount 2
ParticipantIDs proquest_journals_2088015945
PublicationCentury 2000
PublicationDate 2018-08-01
PublicationDateYYYYMMDD 2018-08-01
PublicationDate_xml – month: 08
  year: 2018
  text: 2018-08-01
  day: 01
PublicationDecade 2010
PublicationPlace Heidelberg
PublicationPlace_xml – name: Heidelberg
PublicationTitle KI. Künstliche Intelligenz (Oldenbourg)
PublicationYear 2018
Publisher Springer Nature B.V
Publisher_xml – name: Springer Nature B.V
SSID ssj0002291121
Score 1.2171533
Snippet 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...
SourceID proquest
SourceType Aggregation Database
StartPage 185
SubjectTerms Computer programs
Logic programs
Mathematical programming
Title Developing ASP Programs with ASPIDE and L oIDE
URI https://www.proquest.com/docview/2088015945
Volume 32
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NT9tAEF2lcOkJ-qWWQrUHbmgj7669Xh9TCCUkQEUTKT1F_pjtJU1QCZf0zzNjr-20oAp6iGVtpNjWTN6MZ97bYewQ35EhlU4K63IjwkIVIguSQLjUFgAQx1m5Zf7FpTmbhOfTaNrp_N5Ul6yybr5-VFfyP1bFNbQrqWSfYdnmR3EBz9G-eEQL4_FJNj5pFU-9b1-J9E9cKy9Yw5XBSb9sDoyOlgM_6trnocNB92hITfLPx5gfzokP6hUltDvnutyEdI6QRDXPHxvVApJy_fTq9HImB9zmy4bDQyhfjvIm8pjD07ZBNSfSTUUd6FNlpYkG1-AZzTXcbNYhpG1YcH_WIYlkTa2PRidTFRu1FtJWM1K6UEGtIV5I4sOtx-K21tm8ElfAKm20EaNltX32A_gPvBxaK7o_-kQ6FOs21tX9_cur2elkNJqN-9PxC7atEKUQErd7X74P2xKdUhgJSuVec_91X7wUX_51lQfRvExRxrtsp94rnPcqT3nFOrB4zXbqwR3c4_gb1m0dh6Ob8NpxODkOrxyHo-PwESfHecsmp_3x8ZnwgzPEDSL0ShBvuUgybYyjdA8wySxMnFpIlTUyBRcb6XIIQCepyiOZKZnnmLg7q0Kb20y_Y1uL5QLeM64SJ02h4yhOghCT7RRjIxhtLDiHgJ19YPv1Q8_8P-N2pjB04XWTMNr799cf2cvWlfbZ1urXHRxgkrfKPnlj3AM1M00f
link.rule.ids 783,787,27939
linkProvider Springer Nature
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Developing+ASP+Programs+with+ASPIDE+and+L+oIDE&rft.jtitle=KI.+K%C3%BCnstliche+Intelligenz+%28Oldenbourg%29&rft.au=Calimeri%2C+Francesco&rft.au=Germano%2C+Stefano&rft.au=Palermiti%2C+Eliana&rft.au=Reale%2C+Kristian&rft.date=2018-08-01&rft.pub=Springer+Nature+B.V&rft.issn=0933-1875&rft.eissn=1610-1987&rft.volume=32&rft.issue=2&rft.spage=185&rft.epage=186&rft_id=info:doi/10.1007%2Fs13218-018-0534-z&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0933-1875&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0933-1875&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0933-1875&client=summon