Annotating answer-set programs in <scp>Lana</scp>

DOI10.1017/S147106841200021XzbMath1260.68058arXiv1210.2195OpenAlexW2107523885MaRDI QIDQ4911139

Jörg Pührer, Doğa Gizem Kisa, M. De Vos, Hans Tompits, Johannes Oetsch

Publication date: 13 March 2013

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

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

zbMATH Keywords

answer-set programmingprogram annotationsdocumentationunit testing

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Testing in ASP: revisited language and programming environment ⋮ Lana

Uses Software

• Smodels
• ASPIDE
• ASPVIZ
• Kara
• SeaLion
• APE
• ASPDoc
• ASPUnit

This page was built for publication: Annotating answer-set programs in <scp>Lana</scp>