論理コンピューティング(<レクチャーシリーズ>知能コンピューティングとその周辺〔第10回〕)

• 佐藤 健

  国立情報学研究所

• デ・ヴォス マリナ

  バース大学

書誌事項

タイトル別名

• Logic Computing(<Lecture Series>Intelligent Computing and Related Issues (10))
• 知能コンピューティングとその周辺(第10回)論理コンピューティング
• チノウ コンピューティング ト ソノ シュウヘン ダイ10カイ ロンリ コンピューティング

収録刊行物

• 人工知能

  人工知能 23 (5), 677-686, 2008-09-01

  一般社団法人 人工知能学会

キーワード

• logic programming
• negation as failure
• abduction
• answer set semantics
• answer set programming
• abductive logic programming

詳細情報

• CRID: 1390567172580434304
• NII論文ID: 110006894566
• NII書誌ID: AN10067140
• ISSN: 09128085
• ISSN: 24358614
• ISSN: 21882266
• DOI: 10.11517/jjsai.23.5_677
• NDL書誌ID: 9638033
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I9638033
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles