Kazuko Takahashi

According to our database, Kazuko Takahashi authored at least 57 papers between 1983 and 2024.

Collaborative distances:

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

2024

Reasoning about the embedded shape of a qualitatively represented curve.

Kazuko Takahashi

Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 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

2022

A Software Impact Analysis Tool based on Change History Learning and its Evaluation.

Haruya Iwasaki, Tsuyoshi Nakajima, Ryota Tsukamoto, Kazuko Takahashi, Shuichi Tokumoto

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework.

Kazuko Takahashi

Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

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

How Can You Resolve a Trilemma? - A Topological Approach -.

Kazuko Takahashi, Tamon Okubo

Proceedings of the Logic and Argumentation - 4th International Conference, 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

Towards a Qualitative Reasoning on Shape Change and Object Division.

Momo Tosue, Kazuko Takahashi

Proceedings of the 14th International Conference on Spatial Information Theory, 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

Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report.

Kazuyuki Kokusho, Kazuko Takahashi

Proceedings of the 10th International Conference on Agents and 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

Correspondence Between PLCA and Maptree: Representations of a Space Configuration.

Kazuko Takahashi

Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, 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

2014

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

Proceedings of the KEOD 2014, 2014

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

An Argumentation System with Indirect Attacks.

Kazuko Takahashi

Proceedings of the ICAART 2013, 2013

2012

Decision Making in Knowledge Integration with Dynamic Creation of Argumentation.

Ken Satoh, Kazuko Takahashi

Proceedings of the Information Search, Integration and Personalization, 2012

2011

Probabilistic Symmetry Reduction for a System with Ring Buffer.

Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi

IEICE Trans. Inf. Syst., 2011

A Semantics for Dynamic Argumentation Frameworks.

Kazuko Takahashi, Yu Nambu

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

2010

Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition.

Shou Kumokawa, Kazuko Takahashi

Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 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

2009

Direct estimation of class membership probabilities for multiclass classification using multiple scores.

Kazuko Takahashi, Hiroya Takamura, Manabu Okumura

Knowl. Inf. Syst., 2009

Argumentation System with Changes of an Agent's Knowledge Base.

Kenichi Okuno, Kazuko Takahashi

Proceedings of the IJCAI 2009, 2009

Lane Changing Model with Early Communication of Intentions.

Tomoki Takasago, Kazuko Takahashi

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

2008

On Embedding a Qualitative Representation in a Two-Dimensional Plane.

Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti

Spatial Cogn. Comput., 2008

2007

The Qualitative Treatment of Spatial Data.

Kazuko Takahashi, Takao Sumitomo

Int. J. Artif. Intell. Tools, 2007

Estimation of Class Membership Probabilities in the Document Classification.

Kazuko Takahashi, Hiroya Takamura, Manabu Okumura

Proceedings of the Advances in Knowledge Discovery and Data Mining, 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

2005

Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules.

Kazuko Takahashi, Hiroya Takamura, Manabu Okumura

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2005

2004

Reasoning on Spatial Constraints over Regions.

Kazuko Takahashi

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2003

Reasoning about Propagation of Properties over Regions.

Kazuko Takahashi

J. Univers. Comput. Sci., 2003

2002

An interaction mechanism of multimodal dialogue systems.

Kazuko Takahashi, Toshiyuki Takezawa

Syst. Comput. Jpn., 2002

1999

A verification method for systolic arrays using induction-based theorem provers.

Kazuko Takahashi, Hiroshi Fujita

Artif. Intell. Eng., 1999

1989

An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.

Akikazu Takeuchi, Kazuko Takahashi

Proceedings of the Concurrency: Theory, 1989

1986

On a mechanical reasoning about causal relations.

Akira Fusaoka, Kazuko Takahashi

Artif. Intell. Eng., 1986

On Parallel Programming Methodology in GHC.

Kazuko Takahashi, Tadashi Kanamori

Proceedings of the Logic Programming '86, 1986

1984

Description and Reasoning of VLSI Circuit in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

New Gener. Comput., 1984

1983

A Description and Reasoning of Plant Controllers in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983