論文 - 加藤 昇平
-
A Parallel Cost-based Abductive Reasoning System on Heterogeneous Distributed Environments 査読あり
Tomonori NAKAMURA, Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 8th International Parallel Computing Workshop 315 - 322 1998年09月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
A Parallel Implementation of Cost-based Abductive Reasoning 査読あり
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the Second International Symposium on Parallel Symbolic Computation 111 - 118 1997年07月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
A Parallel Search Method Based on Conspiracy Numbers and its Application to a Tsume-Shogi Program 査読あり
Taiji KITAMURA，Shohei KATO, Masashi YAMADA, Hirohisa SEKI, Hidenori ITOH
Proceedings of the Sixth Parallel Computing Workshop P1-a-1 - P1-a-7 1996年11月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Parallel Cost-based Abductive Reasoning for Distributed Memory Systems 査読あり
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Lecture Notes in Artificial Intelligence (Topics in Artificial Intelligence, N. Foo and R. Goebel (eds.)) Springer-Verlag 1114 300 - 311 1996年08月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time 査読あり
Lifeng HE, Yuyan CHAO, Shohei KATO, et. al.
Lecture Notes in Artificial Intelligence (Multi-Agent Systems Methodologies and Applications, C. Zhang and D. Lukose (eds.)) Springer-Verlag 1286 152 - 165 1996年08月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
A Multi-Agent Cooperative Reasoning System for Amalgamated knowledge Bases 査読あり
Lifeng HE, Yuyan CHAO, Shohei KATO, et. al.
Lecture Notes in Artificial Intelligence (Multi-Agent Systems Methodologies and Applications, C. Zhang and D. Lukose (eds.)) Springer-Verlag 1286 92 - 105 1996年08月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
PARCAR: A Parallel Cost-based Abductive Reasoning System 査読あり
Shohei KATO, Chiemi KAMAKURA, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 9th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems 57 - 62 1996年06月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
コストに基づく仮説推論における最適解探索の一方法 査読あり
加藤昇平，世木博久，伊藤英則
情報処理学会論文誌 36 ( 10 ) 2380 - 2390 1995年10月
担当区分：筆頭著者 記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Cost-based Horn Abduction and its Optimal Search 査読あり
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 3rd International Conference on Automation, Robotics and Computer Vision 831 - 835 1994年11月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
プログラム解析に基づく仮説推論の高速化技法 査読あり
加藤昇平，世木博久，伊藤英則
情報処理学会論文誌 35 ( 10 ) 2019 - 2028 1994年10月
担当区分：筆頭著者 記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Cost-based Horn Abduction to Focus on the Most Probable Diagnosis 査読あり
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 5th International Workshop on Principles of Diagnosis 148 - 152 1994年10月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
An Efficient Abductive Reasoning System based on Program Analysis 査読あり
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Lecture Notes in Computer Science (Static Analysis, P. Cousot et al. (eds.)) Springer-Verlag 724 230 - 241 1993年09月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
A Deductive Database Approach to Abductive Reasoning 査読あり
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the International Symposium on Next Generation Database Systems and Their Applications 77 - 84 1993年09月
担当区分：筆頭著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
