Search the dblp DataBase

Publications of Author

1. Akikazu Takeuchi, Kazuko Takahashi
   An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. [Citation Graph (0, 0)][DBLP]
   Concurrency: Theory, Language, And Architecture, 1989, pp:173-209 [Conf]
   
2. Kazuko Takahashi
   Reasoning on Spatial Constraints over Regions. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2004, pp:- [Conf]
   
3. Takao Sumitomo, Kazuko Takahashi
   A Qualitative Treatment of Spatial Data. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2005, pp:539-548 [Conf]
   
4. Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
   A Description and Reasoning of Plant Controllers in Temporal Logic. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1983, pp:405-408 [Conf]
   
5. Kazuko Takahashi, Tadashi Kanamori
   On Parallel Programming Methodology in GHC. [Citation Graph (0, 0)][DBLP]
   LP, 1986, pp:92-103 [Conf]
   
6. Kazuko Takahashi, Hiroya Takamura, Manabu Okumura
   Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules. [Citation Graph (0, 0)][DBLP]
   PAKDD, 2005, pp:269-279 [Conf]
   
7. Akira Fusaoka, Kazuko Takahashi
   On a mechanical reasoning about causal relations. [Citation Graph (0, 0)][DBLP]
   AI in Engineering, 1986, v:1, n:1, pp:15-22 [Journal]
   
8. Kazuko Takahashi, Hiroshi Fujita
   A verification method for systolic arrays using induction-based theorem provers. [Citation Graph (0, 0)][DBLP]
   AI in Engineering, 1999, v:13, n:1, pp:43-53 [Journal]
   
9. Kazuko Takahashi
   Reasoning about Propagation of Properties over Regions. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2003, v:9, n:9, pp:1030-1045 [Journal]
   
10. Kazuko Takahashi, Toshiyuki Takezawa
    An interaction mechanism of multimodal dialogue systems. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2002, v:33, n:11, pp:70-79 [Journal]
    
11. Shou Kumokawa, Kazuko Takahashi
    Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation. [Citation Graph (0, 0)][DBLP]
    COSIT, 2007, pp:337-353 [Conf]
    
12. Kazuko Takahashi, Hiroya Takamura, Manabu Okumura
    Estimation of Class Membership Probabilities in the Document Classification. [Citation Graph (0, 0)][DBLP]
    PAKDD, 2007, pp:284-295 [Conf]
    
13. 
    Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition. [Citation Graph (, )][DBLP]
    
    
14. 
    Argumentation System with Changes of an Agent's Knowledge Base. [Citation Graph (, )][DBLP]
    
    
15. 
    Lane Changing Model with Early Communication of Intentions. [Citation Graph (, )][DBLP]