| 2026 | ENASE | Detection of Dangerous Driving Events from Video Streams with Logical Explanations. | Kazuko Takahashi, Yurika Yamaguchi, Daiki Suzuki, Duong Dinh Tran, Aran Chindaudom, Takashi Tomita, Toshiaki Aoki |
| 2026 | ICAART | Detection of Dangerous Driving Event Using Qualitative Spatial Reasoning from the Video. | Kazuko Takahashi, Yurika Yamaguchi |
| 2023 | ICAART | Qualitative Spatial Representation and Reasoning About Fold Strata. | Yuta Taniuchi, Kazuko Takahashi |
| 2023 | ICAART | Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach. | Yuta Taniuchi, Kazuko Takahashi |
| 2022 | COMMA | Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework. | Kazuko Takahashi |
| 2022 | ICSE | A Software Impact Analysis Tool based on Change History Learning and its Evaluation. | Haruya Iwasaki, Tsuyoshi Nakajima, Ryota Tsukamoto, Kazuko Takahashi, Shuichi Tokumoto |
| 2021 | ICAIL | Interactive system for arranging issues based on PROLEG in civil litigation. | Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki |
| 2019 | ICAART | Operations for Shape Transformations based on Angles. | Momo Tosue, Sosuke Moriguchi, Kazuko Takahashi |
| 2018 | AISC | What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? | Fadoua Ghourabi, Kazuko Takahashi |
| 2018 | COMMA | Transformation from PROLEG to a Bipolar Argumentation Framework. | Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi |
| 2018 | COMMA | Expressing the Characteristics of an Argumentation Framework. | Sosuke Moriguchi, Kazuko Takahashi |
| 2018 | ICAART | Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report. | Kazuyuki Kokusho, Kazuko Takahashi |
| 2017 | ICAART | Superposition of Qualitative Rectangles using a Quantitative Model. | Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi |
| 2016 | EUMAS | On a Formal Treatment of Deception in Argumentative Dialogues. | Kazuko Takahashi, Shizuka Yokohama |
| 2015 | EUMAS | What Should an Agent Know Not to Fail in Persuasion? | Shizuka Yokohama, Kazuko Takahashi |
| 2015 | FNC | Formalization of the Behavior of Content-Centric Networking. | Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi |
| 2015 | ICAART | Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. | Fadoua Ghourabi, Kazuko Takahashi |
| 2015 | ICAART | A Qualitative Representation of a Figure and Construction of Its Planar Class. | Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa |
| 2015 | ICAART | Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. | Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa |
| 2014 | IC3K | An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard - Open to the Public on the Web. | Kazuko Takahashi, Hirofumi Taki, Shunsuke Tanabe, Wei Li |
| 2013 | ICAART | An Argumentation System with Indirect Attacks. | Kazuko Takahashi |
| 2013 | SYNASC | Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. | Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi |
| 2010 | FlAIRS | Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition. | Shou Kumokawa, Kazuko Takahashi |
| 2009 | ICAART | Lane Changing Model with Early Communication of Intentions. | Tomoki Takasago, Kazuko Takahashi |
| 2009 | IJCAI | Argumentation System with Changes of an Agent's Knowledge Base. | Kenichi Okuno, Kazuko Takahashi |
| 2007 | PAKDD | Estimation of Class Membership Probabilities in the Document Classification. | Kazuko Takahashi, Hiroya Takamura, Manabu Okumura |
| 2005 | ICTAI | A Qualitative Treatment of Spatial Data. | Takao Sumitomo, Kazuko Takahashi |
| 2005 | PAKDD | Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules. | Kazuko Takahashi, Hiroya Takamura, Manabu Okumura |
| 2004 | FlAIRS | Reasoning on Spatial Constraints over Regions. | Kazuko Takahashi |
| 1989 | CONCUR | An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. | Akikazu Takeuchi, Kazuko Takahashi |
| 1983 | IJCAI | A Description and Reasoning of Plant Controllers in Temporal Logic. | Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi |