研究課題
基盤研究(C)
パラコンシステント論理プログラムExtended Vector Annotated Logic Program with Strong Negation(EVALPSN と略す)による蓋然性推論、論争義務推論などを利用したネットワークにおけるマルチルート構築プロトコルの論理モデル化を行った.このモデルを使ったルーティングシミュレーションシステムは構築中である.
すべて 2011 2010 2009
すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (1件) 図書 (3件)
Lecture Notes on Computer Science Vol.6278
ページ: 123-132
Smart Innovation, Systems and Technologies Vol.4
ページ: 527-536
AIP Conference Proceedings Vol.1117
ページ: 49-59
Studies in Computational Intelligence Vol.199
ページ: 363-372