Hidenori Itoh

Available identifiers

zbMath Open itoh.hidenoriMaRDI QIDQ1108820

List of research outcomes

Publication	Date of Publication	Type
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q5477421	2006-07-03	Paper
R-SATCHMO: Refinements on I-SATCHMO	2004-10-15	Paper
\(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4448899	2004-03-23	Paper
Inferring solids composed of linear and quadratic surfaces from incomplete three views	2003-12-09	Paper
Eliminating redundant search space on backtracking for forward chaining theorem proving	2003-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q4708193	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q2725793	2001-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2725838	2001-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4227009	1999-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4871700	1997-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4871687	1996-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4871698	1996-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4008395	1992-09-27	Paper
Partial evaluation of queries in deductive databases	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hidenori Itoh