Takahiro Koh

According to our database, Takahiro Koh authored at least 4 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

A Fast Duplication Checking Algorithm for Forward Reasoning Engines.

Takahiro Koh, Yuichi Goto, Jingde Cheng

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations.

Yuichi Goto, Takahiro Koh, Jingde Cheng

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

2007

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.

Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

2006

The Theory Grid and Grid Theorists.

Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto

Proceedings of the 2006 International Conference on Semantics, 2006