「人工知能(AI)」に関するサイレントキーワード「論理プログラミング」が含まれる科研費採択研究2件

【研究名】司法試験短答式問題を対象にした自然言語処理と論理的推論の融合の研究
【研究代表者】佐藤 健  国立情報学研究所   情報学プリンシプル研究系   教授 	https://nrid.nii.ac.jp/ja/nrid/1000000271635/	
【研究連携者】     
市瀬 龍太郎  国立情報学研究所  情報学プリンシプル研究系  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000000332156/	
宮尾 祐介  国立情報学研究所  コンテンツ科学研究系  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000000343096/	
狩野 芳伸  静岡大学  情報学部  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000020506729/	

【研究名】様相論理とその実時間制御及び人工知能への応用
【研究代表者】中島 玲二  京都大学   数理解析研究所   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060109080/	 
【研究分担者】
服部 隆志  京都大学  数理解析研究所  助手
桜川 貴司  京都大学  数理解析研究所  助手  	https://nrid.nii.ac.jp/ja/nrid/1000060196136/	
萩谷 昌己  京都大学  数理解析研究所  助教授  	https://nrid.nii.ac.jp/ja/nrid/1000030156252/	
立木 秀樹  京都大学  数理解析研究所  助手  	https://nrid.nii.ac.jp/ja/nrid/1000010211377/