文献

J-GLOBAL ID：201202232945973612   整理番号：12A1671068

応答集合プログラミングにおける行動言語C+の再定式化

Reformulating Action Language C + in Answer Set Programming

著者 (1件)： LEE Joohyung (Arizona State Univ., AZ, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7265  ページ： 405-421  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： 応答 ,  集合 ,  プログラミング ,  行動 ,  言語 ,  C+ ,  定式化