Kazuko Takahashi

According to our database, Kazuko Takahashi authored at least 30 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

A Revised Method on Judging Abstract Shape of a Curve on a Two-Dimensional Plane.

Kazuko Takahashi

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2025

2024

Qualitative Formalization of a Curve on a Two-Dimensional Plane.

Kazuko Takahashi

Proceedings of the 16th International Conference on Spatial Information Theory, 2024

2023

Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach.

Yuta Taniuchi, Kazuko Takahashi

Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023

Qualitative Spatial Representation and Reasoning About Fold Strata.

Yuta Taniuchi, Kazuko Takahashi

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Topological Conditions and Solutions for Repairing Argumentation Frameworks.

Kazuko Takahashi, Hiroyoshi Miwa

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2021

Interactive system for arranging issues based on PROLEG in civil litigation.

Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki

Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

2019

Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions.

Sosuke Moriguchi, Kazuko Takahashi

CoRR, 2019

Hybrid Reasoning on a Bipolar Argumentation Framework.

Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

Operations for Shape Transformations based on Angles.

Momo Tosue, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018

A Proof of the Compositions of Time Interval Relations.

Fadoua Ghourabi, Kazuko Takahashi

CoRR, 2018

Reasoning by a Bipolar Argumentation Framework for PROLEG.

Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the New Frontiers in Artificial Intelligence, 2018

Expressing the Characteristics of an Argumentation Framework.

Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

Transformation from PROLEG to a Bipolar Argumentation Framework.

Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?

Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Superposition of Qualitative Rectangles using a Quantitative Model.

Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016

Verification of Content-Centric Networking Using Proof Assistant.

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

IEICE Trans. Commun., 2016

Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.

Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

On a Formal Treatment of Deception in Argumentative Dialogues.

Kazuko Takahashi, Shizuka Yokohama

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

2015

Formalizing polygonal knot origami.

Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

J. Symb. Comput., 2015

Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data.

Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

A Qualitative Representation of a Figure and Construction of Its Planar Class.

Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

Proceedings of the ICAART 2015, 2015

Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.

Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the ICAART 2015, 2015

Formalization of the Behavior of Content-Centric Networking.

Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

What Should an Agent Know Not to Fail in Persuasion?

Shizuka Yokohama, Kazuko Takahashi

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

2013

Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification.

Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application.

Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Logical and Algebraic Views of a Knot Fold of a Regular Heptagon.

Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2011

A Semantics for Dynamic Argumentation Frameworks.

Kazuko Takahashi, Yu Nambu

Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

2010

Argumentation System Allowing Suspend/Resume of an Argumentation Line.

Kenichi Okuno, Kazuko Takahashi

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2007

Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation.

Shou Kumokawa, Kazuko Takahashi

Proceedings of the Spatial Information Theory, 8th International Conference, 2007