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

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク