文献

J-GLOBAL ID：201402277551043871   整理番号：14A0348984

Ouroborosを用いた解集合プログラムのデバッグ処理:SeaLionプラグインの拡張

Debugging Answer-Set Programs with Ouroboros-Extending the SeaLion Plugin

著者 (3件)： FRUEHSTUECK Melanie (Siemens AG OEsterreich, Vienna, AUT) ,  PUEHRER Joerg (Technische Univ. Wien, Vienna, AUT) ,  FRIEDRICH Gerhard (Alpen-Adria Univ., AUT)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 8148  ページ： 323-328  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (5件)： 解 ,  集合 ,  デバッグ ,  プラグイン ,  拡張