Conference Prsentations (Oral, Poster) -
-
A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages
-
基礎形式体系の質問学習の複雑さ
「計算理論とアルゴリズムの新展開」研究集会
-
スキーマ誘導型証明システムのための効率的なスキーママッチングアルゴリズム
電気関係学会九州支部連合大会講演論文集
-
様相論理に基づくマルチエージェント推論システムに関する研究
電気関係学会九州支部連合大会講演論文集
-
LK類推証明システムの実装
電気関係学会九州支部連合大会講演論文集
-
スキーママッチングを用いたLK類推システムの開発
人工知能学会全国大会論文集
-
古典論理に基づく関数型言語の構築
情報処理学会九州支部研究会
-
スキーママッチングにおける計算の複雑さ
冬のLAシンポジウム, 数理解析研究所講究録 1093 計算モデルとアルゴリズム
-
スキーママッチングの計算の複雑さ
電子情報通信学会コンピュテーション研究会, 信学技法 COMP98-56
-
二階論理スキーマにおける計算の複雑さ
夏のLAシンポジウム, 情報基礎論ワークショップ予稿集
-
Tractable and Intractable Second-Order Matching Problems
-
決定可能な高階単一化に関する研究
冬のLAシンポジウム
-
Learnability of Ordered Binary Decision Diagrams
-
型付きラムダ計算における証明文法
電子情報通信学会コンピュテーション研究会, 信学技法COMP95-58
-
よい例からの理論生成アブダクション
本人
人工知能学会全国大会, 人工知能学会全国大会論文集
-
アブダクションによる論理プログラムの仮説生成
本人
情報処理学会九州支部研究会, 情報処理学会九州支部研究会報告