Tadayuki Yoshida

According to our database, Tadayuki Yoshida authored at least 2 papers in 2019.

Collaborative distances:

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

2019

Logical Approach to Theorem Proving with Term Rewriting on KR-logic.

Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019

Inventing ET Rules to Improve an MI Solver on KR-logic.

Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019