首页> 外文OA文献 >spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics ⋆

【2h】

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics ⋆

机译：spock：答案集语义下的逻辑程序调试支持工具⋆

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Martin Gebser; Jörg Pührer; Torsten Schaub; Hans Tompits; Stefan Woltran;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support [J] . PAULA-ANDRA BUSONIU, JOHANNES OETSCH, JOERG PUEHRER, Theory and Practice of Logic Programming . 2013,第pta4a5期

机译：SeaLion：基于Eclipse的IDE，用于具有高级调试支持的答案集编程
2. Stepwise debugging of answer-set programs [J] . Oetsch Johannes, Puehrer Joerg, Tompits Hans Theory and Practice of Logic Programming . 2018,第1期

机译：逐步调试答案集程序
3. Catching the Ouroboros: On debugging non-ground answer-set programs [J] . JOHANNES OETSCH, JOERG PUEHRER, HANS TOMPITS Theory and Practice of Logic Programming . 2010,第4a6期

机译：赶上衔尾蛇：调试非地面答案集程序
4. spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics [C] . Martin Gebser, Jorg Puhrer, Torsten Schaub, International Conference on Applications of Declarative Programming and Knowledge Management . 2009

机译：Spock：答案集语义下的逻辑节目的调试支持工具
5. Declarative debugging of functional logic programs. [D] . Correa Zabala, Francisco Jose. 2002

机译：功能逻辑程序的声明式调试。
6. Complex chloroplast RNA metabolism: just debugging the genetic programme? [O] . Uwe G Maier, Andrew Bozarth, Helena T Funk, 2008

机译：复杂的叶绿体RNA代谢：只是调试遗传程序？
7. cc⊤: A correspondencechecking tool for logic programs under the answer-set semantics [O] . Johannes Oetsch, Martina Seidl, Hans Tompits, 2013

机译：cc⊤：答案集语义下的逻辑程序的通信工具

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics ⋆

著录项

引文网络

相似文献

相关主题

期刊订阅