修士論文

2017年度

伊藤 拓也:
前向き推論エンジンを用いた自動非単調推論 〜 デフォルト論理における事例研究
吹留 寛陸:
簡潔データ構造LOUDSを用いた前向き推論エンジンの省メモリ化