Papers - KATO Shohei
-
A Parallel Cost-based Abductive Reasoning System on Heterogeneous Distributed Environments Reviewed
Tomonori NAKAMURA, Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 8th International Parallel Computing Workshop 315 - 322 1998.09
Language：English Publishing type：Research paper (scientific journal)
-
A Parallel Implementation of Cost-based Abductive Reasoning Reviewed
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the Second International Symposium on Parallel Symbolic Computation 111 - 118 1997.07
Language：English Publishing type：Research paper (scientific journal)
-
A Parallel Search Method Based on Conspiracy Numbers and its Application to a Tsume-Shogi Program Reviewed
Proceedings of the Sixth Parallel Computing Workshop P1-a-1 - P1-a-7 1996.11
Language：English Publishing type：Research paper (scientific journal)
-
Parallel Cost-based Abductive Reasoning for Distributed Memory Systems Reviewed
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Lecture Notes in Artificial Intelligence (Topics in Artificial Intelligence, N. Foo and R. Goebel (eds.)) 1114 300 - 311 1996.08
Language：English Publishing type：Research paper (scientific journal)
-
Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time Reviewed
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.)) 1286 152 - 165 1996.08
Language：English Publishing type：Research paper (scientific journal)
-
A Multi-Agent Cooperative Reasoning System for Amalgamated knowledge Bases Reviewed
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.)) 1286 92 - 105 1996.08
Language：English Publishing type：Research paper (scientific journal)
-
PARCAR: A Parallel Cost-based Abductive Reasoning System Reviewed
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
Authorship：Lead author Language：English Publishing type：Research paper (scientific journal)
-
コストに基づく仮説推論における最適解探索の一方法 Reviewed
加藤昇平，世木博久，伊藤英則
情報処理学会論文誌 36 ( 10 ) 2380 - 2390 1995.10
Authorship：Lead author Language：Japanese Publishing type：Research paper (scientific journal)
-
Cost-based Horn Abduction and its Optimal Search Reviewed
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 3rd International Conference on Automation, Robotics and Computer Vision 831 - 835 1994.11
Authorship：Lead author Language：English Publishing type：Research paper (scientific journal)
-
プログラム解析に基づく仮説推論の高速化技法 Reviewed
加藤昇平，世木博久，伊藤英則
情報処理学会論文誌 35 ( 10 ) 2019 - 2028 1994.10
Authorship：Lead author Language：Japanese Publishing type：Research paper (scientific journal)
-
Cost-based Horn Abduction to Focus on the Most Probable Diagnosis Reviewed
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the 5th International Workshop on Principles of Diagnosis 148 - 152 1994.10
Authorship：Lead author Language：English Publishing type：Research paper (scientific journal)
-
An Efficient Abductive Reasoning System based on Program Analysis Reviewed
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Lecture Notes in Computer Science (Static Analysis, P. Cousot et al. (eds.)) 724 230 - 241 1993.09
Authorship：Lead author Language：English Publishing type：Research paper (scientific journal)
-
A Deductive Database Approach to Abductive Reasoning Reviewed
Shohei KATO, Hirohisa SEKI, Hidenori ITOH
Proceedings of the International Symposium on Next Generation Database Systems and Their Applications 77 - 84 1993.09
Authorship：Lead author Language：English Publishing type：Research paper (scientific journal)
