TAKAHASHI Kazuko

J-GLOBAL         Last updated: Nov 10, 2009 at 00:00
 
Avatar
Name
TAKAHASHI Kazuko
Affiliation
Kwansei Gakuin University
Section
School of Science and Technology, Department of Informatics
Job title
Associate Professor
Degree
(BLANK)(Kyoto University)

Research Areas

 
 

Academic & Professional Experience

 
1982
 - 
1997
Central Research Laboratory, Mitsubishi Electric
 
 
   
 
Corporation, Researcher
 
1997
 - 
1999
ATR Interpreting Telecommunications Research Laboratories,
 
 
   
 
Researcher
 
1997
 - 
2000
Ritsumeikan University, Lecturer
 

Education

 
 
 - 
1982
Faculty of Science, Kyoto University
 

Misc

 
A Description and Reasoning of Plant Controllers in Temporal Logic(共著)
Proceedings of Eighth International Joint Conference on Artificial Intelligence   405-408   1983
A Description and Reasoning of Plant Controllers in Temporal Logic(共著)
The Journal for the Integrated Study of Artificial Intelligence Cognitive Science and Applied Epistemology   3(1-2) 103-120   1986
Description and Reasoning of VLSI Circuit in Temporal Logic(共著)
New Generation Computing   2(1) 79-90   1984
On QFTL and Refutation Procedure on ω-Graphs(共著)
TGAL85-31, IECE, Japan   43-54   1985
On Parallel Programming Methodology in GHC --Experience in Programming of A Proof Procedure of Temporal Logic--(共著)
LNCS-264, Logic Programming 86   92-103   1986

Books etc

 
Knowledge Programming(共著)
Kyoritsu   1988   

Research Grants & Projects

 
Study on Spatio-Temporal Reasoning
Study on the Verification of Agents' Behaviors