文献
J-GLOBAL ID:201202252825738211
整理番号:12A1671042
一般化ルールを用いた論理プログラムのための十分な裏付けのある意味論
Well-Supported Semantics for Logic Programs with Generalized Rules
著者 (3件):
YOU Jia-Huai
(Univ. Alberta, CAN)
,
SHEN Yi-Dong
(State Key Lab. of Computer Sci., Chinese Acad. of Sci., CHN)
,
WANG Kewen
(Griffith Univ., AUS)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7265
ページ:
576-591
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)