onlineSPARC: A Programming Environment for Answer Set Programming

DOI10.1017/S1471068418000509zbMath1486.68028arXiv1809.08304OpenAlexW2962884884WikidataQ128913743 ScholiaQ128913743MaRDI QIDQ5197754

Elias Marcopoulos, Yuan Lin Zhang

Publication date: 19 September 2019

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.08304

zbMATH Keywords

visualizationlogic programminganswer set programmingintegrated development environmentcomputer science education

Mathematics Subject Classification ID

Logic programming (68N17) Programming techniques (educational aspects) (97P50)

Related Items (1)

onlineSPARC

Uses Software

• ASPIDE
• Potassco
• GitHub
• ASPVIZ
• LoIDE
• iGROM
• Kara
• SeaLion
• APE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards Answer Set Programming with Sorts
• Interactive Debugging of Non-ground ASP Programs
• Programming in logic without logic programming

This page was built for publication: onlineSPARC: A Programming Environment for Answer Set Programming