IWANUMA Koji

J-GLOBAL         Last updated: Dec 4, 2003 at 00:00
 
Avatar
Name
IWANUMA Koji
Affiliation
University of Yamanashi
Section
Department of Research Interdisciplinary Graduate School of Medicine and Engineering, Life Environment Medical Engineering, Department of Computer Science and Media Engineering
Degree
(BLANK)(Tohoku University)

Research Areas

 
 

Education

 
 
 - 
1985
Graduate School, Division of Engineering, Tohoku University
 
 
 - 
1983
Faculty of Engineering, Tohoku University
 

Misc

 
A Query Transformacion fow Computing Predicate Circumscription
Proceedings Pacific Rim Inter. Conf. on Artifical Intelligence '90, Nagoya, Japan   351-356   1990
Reconsideration of Pointwise Circumscription ; Transformation of Non-Recursive Circumscription into First-Order Sentences
Proceedings Inter. Conf. Info Japan '90, Tokyo, Japan   147-154   1990
Conservative Quary NormAlization on Parallel Circumscription
12th International Conference on Automated Deduction(CADE-12), LNAI   814 296-310   1994
Lemmas with Matching over PTTP : Efficiency and Limitation .
Proceeding of Inter. Workshop on Automated Theorem Proving in FGCS94   24-27   1994
Artifical Intelligence   86(2) 391-402   1996

Works

 
Multi-modal HCI aimed for higher-order communication
1997
Logic-based multi agent system under incomplete communication environments
1999 - 2000

Research Grants & Projects

 
Theorem Prover
Case-based Transformation from HTML to XML
Non-monotonic Logic
WEB Intelligenco
Automatic extraction of modified points of HTML documents