Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation. - Shou Kumokawa; Kazuko Takahashi 001 (COSIT, 2007)

Argumentation System Allowing Suspend/Resume of an Argumentation Line. - Kenichi Okuno; Kazuko Takahashi 001 (ArgMAS, 2010)

A Semantics for Dynamic Argumentation Frameworks. - Kazuko Takahashi 001; Yu Nambu (ArgMAS, 2011)

Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. - Fadoua Ghourabi; Tetsuo Ida; Kazuko Takahashi 001 (SCSS, 2013)

Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. - Kazuko Takahashi 001; Shizuo Yoshimaru; Mizuki Goto (SCSS, 2013)

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. - Tetsuo Ida; Fadoua Ghourabi; Kazuko Takahashi 001 (SYNASC, 2013)

What Should an Agent Know Not to Fail in Persuasion? - Shizuka Yokohama; Kazuko Takahashi 001 (EUMAS/AT, 2015)

Formalization of the Behavior of Content-Centric Networking. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (FNC/MobiSPC, 2015)

Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. - Fadoua Ghourabi; Kazuko Takahashi 001 (ICAART (2), 2015)

A Qualitative Representation of a Figure and Construction of Its Planar Class. - Kazuko Takahashi 001; Mizuki Goto; Hiroyoshi Miwa (ICAART (2), 2015)

Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. - Kazuko Takahashi 001; Mizuki Goto; Hiroyoshi Miwa (ICAART (Revised Selected Papers), 2015)

Formalizing polygonal knot origami. - Tetsuo Ida; Fadoua Ghourabi; Kazuko Takahashi 001 (J. Symb. Comput., 2015)

On a Formal Treatment of Deception in Argumentative Dialogues. - Kazuko Takahashi 001; Shizuka Yokohama (EUMAS/AT, 2016)

Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. - Sosuke Moriguchi; Mizuki Goto; Kazuko Takahashi 001 (SCSS, 2016)

Verification of Content-Centric Networking Using Proof Assistant. - Sosuke Moriguchi; Takashi Morishima; Mizuki Goto; Kazuko Takahashi 001 (IEICE Trans. Commun., 2016)

Superposition of Qualitative Rectangles using a Quantitative Model. - Takeaki Kato; Sosuke Moriguchi; Kazuko Takahashi 001 (ICAART (2), 2017)

What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? - Fadoua Ghourabi; Kazuko Takahashi 001 (AISC, 2018)

Transformation from PROLEG to a Bipolar Argumentation Framework. - Tastuki Kawasaki; Sosuke Moriguchi; Kazuko Takahashi 001 (SAFA@COMMA, 2018)

Expressing the Characteristics of an Argumentation Framework. - Sosuke Moriguchi; Kazuko Takahashi 001 (SAFA@COMMA, 2018)

Reasoning by a Bipolar Argumentation Framework for PROLEG. - Tatsuki Kawasaki; Sosuke Moriguchi; Kazuko Takahashi 001 (JSAI-isAI Workshops, 2018)

A Proof of the Compositions of Time Interval Relations. - Fadoua Ghourabi; Kazuko Takahashi 001 (CoRR, 2018)

Operations for Shape Transformations based on Angles. - Momo Tosue; Sosuke Moriguchi; Kazuko Takahashi 001 (ICAART (2), 2019)

Hybrid Reasoning on a Bipolar Argumentation Framework. - Tatsuki Kawasaki; Sosuke Moriguchi; Kazuko Takahashi 001 (SUM, 2019)

Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions. - Sosuke Moriguchi; Kazuko Takahashi 001 (CoRR, 2019)

Interactive system for arranging issues based on PROLEG in civil litigation. - Ken Satoh; Kazuko Takahashi 001; Tatsuki Kawasaki (ICAIL, 2021)

Topological Conditions and Solutions for Repairing Argumentation Frameworks. - Kazuko Takahashi 001; Hiroyoshi Miwa (CLAR, 2023)

Qualitative Spatial Representation and Reasoning About Fold Strata. - Yuta Taniuchi; Kazuko Takahashi 001 (ICAART (2), 2023)

Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach. - Yuta Taniuchi; Kazuko Takahashi 001 (ICAART (Revised Selected Paper), 2023)

Qualitative Formalization of a Curve on a Two-Dimensional Plane. - Kazuko Takahashi 001 (COSIT, 2024)

A Revised Method on Judging Abstract Shape of a Curve on a Two-Dimensional Plane. - Kazuko Takahashi 001 (IUKM (1), 2025)