Art

J-GLOBAL ID：200902260858389171   Reference number：08A0276254

Computing Argumentation Semantics in Answer Set Programming

解集合プログラミングによる議論の意味論の計算

Author (3)： WAKAKI Toshiko (Shibaura Inst. Technol.) ,  NITTA Katsumi (Tokyo Inst. Technol.) ,  ITOH Kouta (Shibaura Inst. Technol.)
Material： 人工知能学会人工知能基本問題研究会資料  (SIG-FPAI-C)
Volume： 69th  Page： 07-12  Publication year： Mar. 14, 2008 
JST Material Number： X0830A  ISSN： 2436-4584  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *computer programming ,  *semantics ,  *computer program ,  opinion ,  logic programming ,  soundness ,  completeness ,  packaging design ,  system evaluation
Semi thesaurus term： *プログラム意味論 ,  解集合プログラミング ,  argument ,  議論意味論 ,  logic programming

JST classification (1)： Computer system development  (JD02010R)

Terms in the title (4)： 解集合プログラミング ,  議論 ,  意味論 ,  計算