yr 〜
yr

Search results 41

数理論理学 : 合理的エージェントへの応用に向けて

数理論理学 : 合理的エージェントへの応用に向けて
Paper図書
加藤暢, 高田司郎, 新出尚之 共著コロナ社2014.10<MA41-L32>
National Diet LibraryOther Libraries in Japan
  • Author Heading加藤, 暢, 1965- 高田, 司郎 新出, 尚之

BDI logicのsequent calculusによる演繹体系とマルチエージェント環境への拡張

BDI logicのsequent calculusによる演繹体系とマルチエージェント環境への拡張
Paper博士論文
新出尚之 [著][新出尚之][2007]<UT51-2007-P552>
National Diet Library
  • Author Heading新出, 尚之

パソコンによるX端末の構築とセンターUNIXシステムの利用方法

パソコンによるX端末の構築とセンターUNIXシステムの利用方法
Digital文書・図像類
新出,尚之奈良女子大学情報処理センター2002-03奈良女子大学情報処理センター広報13p.14-34
Available onlineOther Libraries in Japan

人工知能学会誌 : AI

人工知能学会誌 : AI
Paper雑誌
人工知能学会1986-2013<Z14-1242>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会研究報告

情報処理学会研究報告
Paper雑誌
情報処理学会[1985]-2009<Z14-1121>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D 情報・システム

電子情報通信学会論文誌 D 情報・システム
Paper雑誌
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Bit : コンピュータサイエンス誌

Bit : コンピュータサイエンス誌
PaperDigital雑誌
共立出版1969-2001<Z14-405>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理

電子情報通信学会論文誌 D-1 1 情報・システム 情報処理
Paper雑誌
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ1989-2005<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 SIG

情報処理学会論文誌 SIG
Paper雑誌
情報処理学会1998-2008<Z74-C192>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 論文誌トランザクション

情報処理学会論文誌 論文誌トランザクション
Recording Media雑誌電子資料
情報処理学会2008-2013<YH247-812>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

人工知能基本問題研究会 (人工知能学会研究会資料)

人工知能基本問題研究会 (人工知能学会研究会資料)
Paper雑誌
人工知能学会2004-<Z14-1667>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

人工知能学会全国大会論文集

人工知能学会全国大会論文集
Recording Media雑誌電子資料
人工知能学会2001-<YH247-23>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

インタラクション論文集 2001 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2001 no.5)

インタラクション論文集 2001 (情報処理学会シンポジウムシリーズ = IPSJ symposium series ; v.2001 no.5)
Paper図書
情報処理学会2001.3<M151-G214>
National Diet Library

情報処理学会研究報告

情報処理学会研究報告
Recording Media雑誌電子資料
情報処理学会2009-c2013<YH247-911>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

【内容の要旨及び審査の結果の要旨】BDI Iogic のsequent calculus による演繹体系とマルチエージェント環境への拡張

【内容の要旨及び審査の結果の要旨】BDI Iogic のsequent calculus による演繹体系とマルチエージェント環境への拡張
Digital文書・図像類
新出,尚之, 城,和貴, 加古,富志雄, 落合,豊行, 高田,司郎
Available onlineOther Libraries in Japan

Reached to the end of result.