/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2010ホーム
/
1E2 基礎・理論「知識表現」
06月09日(Wed) 13:00～14:00 E会場(3F-会議室5)
座長 山川宏（富士通研究所）
発表一覧
題目
1E2-1 RDF意味論とOWL意味論の統合
著者
小出 誠二(総研大情報科学専攻)
武田 英明(国立情報学研究所)
論文
PDFファイル
題目
1E2-2 論証に基づく設計意図記述による設計事例データベース
著者
加藤 義清(情報通信研究機構)
酒匂 信匡(東京大学大学院工学系研究科航空宇宙工学専攻)
堀 浩一(東京大学 大学院工学系研究科)
論文
PDFファイル
題目
1E2-4 義務論理による法規範の記述と妥当性の検証について
著者
南部 優(関西学院大学理工学部情報科学科)
高橋 和子(関西学院大学)
論文
PDFファイル