Kazuko TAKAHASHI

日本語

Research
I am basically interested in knowledge representation, especially temporal/spatial reasoning using a logical approach, and formal treatment of systems.
- Current topics Brief Introduction
  - Qualitative spatial reasoning and its formalization
  - Argumentation
  - System verification
- Previous topics
  - Game programming
  - Multiagent systems
  - Dialogue systems
  - Parallel logic programming
  - Temporal logic
- Publications
Laboratory
- For Undergraduates [In Japanese]
- Masters Theses [In Japanese]
Lectures [In Japanese]
- Mathematical Logic
- Knowledge Information Processing
- Exercises on Knowledge Information Processing
- Advanced Knowledge Information Processing (Graduate School)
- Programming I (C Progamming)
Short biography
Kazuko Takahashi received the degrees of B.S. and Dr. of Engineering from Kyoto University in 1982 and 1994, respectively. She was a researcher at the Central Research Laboratory and Advanced Technology R&D Center of Mitsubishi Electric Corporation from 1982 to 2000. She is reseacher of Spoken Language Translation Research Laboratories, in Advanced Telecommunication Research Institute International (ATR), 1997-1999. In 2000, she joined the School of Science, Kwansei Gakuin University. Since 2006, she has been a professor at School of Science & Technology, Kwansei Gakuin University. From April 2016 to March 2017, she is a visiting researcher at the University of Bremen.
Contact
- EMail address: ktaka 'at' kwansei 'dot' ac 'dot' jp
- Office Hour: Monday 16:50-18:20
| Home | Program of Computer Science | School of Engineering | Kwansei Gakuin Univ.

Last Updated on March 2, 2023. Kazuko TAKAHASHI