研究者
J-GLOBAL ID:200901090341205422
更新日: 2022年06月03日
中松 和己
ナカマツ カズミ | Nakamatsu Kazumi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
研究分野 (1件):
知能情報学
研究キーワード (2件):
人工知能
, Artificial Intelligence
競争的資金等の研究課題 (2件):
真理値付き論理プログラムの応用
Application of Annotated Logic Program
MISC (3件):
Kazumi Nakamatsu, Atsuyuki Suzuki. A non-monotonic ATMS based on annotated logic programs with strong negation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1998. 1441. 79-93
Annotated Semantics for Default Reasoning(共著). Proc. 3rd PRICAI, Academic Press. 1994. 181-187
Automatic Theorem Proving for Modal Predicate Logic(共著). The Trans. IECE of Japan. 1984. E67. 4. 203-210
学位 (1件):
博士(理学) (九州大学)
受賞 (1件):
2000 - CASYS'2000最優秀論文賞(Best Paper Award)
所属学会 (2件):
IEEE
, 日本人工知能学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM