Shinsuke Nara

According to our database, Shinsuke Nara authored at least 5 papers between 2005 and 2007.

Collaborative distances:

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

2007

FreeEnCal: A Forward Reasoning Engine with General-Purpose.

Jingde Cheng, Shinsuke Nara, Yuichi Goto

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 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

EPLAS: An Epistemic Programming Language for All Scientists.

Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng

Proceedings of the Computational Science, 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

2005

A General-Purpose Forward Deduction Engine for Modal Logics.

Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng

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