Stepwise debugging of answer-set programs

Oetsch, J; Puhrer, J; Tompits, H

Oetsch, J (reprint author), Tech Univ Wien, Inst Informat Syst 184 3, Favoritenstr 9-11, A-1040 Vienna, Austria.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018; 18 (1): 30

Abstract

We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise applic......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索