Kazuko Takahashi

55 papers A* 2B 2C 1Misc 4Journal 12Unranked 34
YearRankTypeTitle / Venue / Authors
2026 — conf
Detection of Dangerous Driving Event Using Qualitative Spatial Reasoning from the Video.
ICAART (4)
Kazuko Takahashi, Yurika Yamaguchi
2025 — conf
A Revised Method on Judging Abstract Shape of a Curve on a Two-Dimensional Plane.
IUKM (1)
Kazuko Takahashi
2024 — conf
Qualitative Formalization of a Curve on a Two-Dimensional Plane.
COSIT
Kazuko Takahashi
2024 — conf
Reasoning about the embedded shape of a qualitatively represented curve.
SCSS (Work in Progress)
Kazuko Takahashi
2023 — conf
Qualitative Spatial Representation and Reasoning About Fold Strata.
ICAART (2)
Yuta Taniuchi, Kazuko Takahashi
2023 — conf
Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach.
ICAART (Revised Selected Paper)
Yuta Taniuchi, Kazuko Takahashi
2023 — conf
Topological Conditions and Solutions for Repairing Argumentation Frameworks.
CLAR
Kazuko Takahashi, Hiroyoshi Miwa
2022 — conf
Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework.
SAFA
Kazuko Takahashi
2021 — conf
How Can You Resolve a Trilemma? - A Topological Approach -.
CLAR
Kazuko Takahashi, Tamon Okubo
2021 C conf
Interactive system for arranging issues based on PROLEG in civil litigation.
ICAIL
Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki
2019 J jnl
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions.
CoRR
Sosuke Moriguchi, Kazuko Takahashi
2019 — conf
Hybrid Reasoning on a Bipolar Argumentation Framework.
SUM
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
2019 — conf
Operations for Shape Transformations based on Angles.
ICAART (2)
Momo Tosue, Sosuke Moriguchi, Kazuko Takahashi
2019 — conf
Towards a Qualitative Reasoning on Shape Change and Object Division.
COSIT
Momo Tosue, Kazuko Takahashi
2018 J jnl
A Proof of the Compositions of Time Interval Relations.
CoRR
Fadoua Ghourabi, Kazuko Takahashi
2018 — conf
Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report.
ICAART (1)
Kazuyuki Kokusho, Kazuko Takahashi
2018 — conf
Expressing the Characteristics of an Argumentation Framework.
SAFA
Sosuke Moriguchi, Kazuko Takahashi
2018 — conf
Reasoning by a Bipolar Argumentation Framework for PROLEG.
JSAI-isAI Workshops
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
2018 — conf
Transformation from PROLEG to a Bipolar Argumentation Framework.
SAFA
Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
2018 Misc conf
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?
AISC
Fadoua Ghourabi, Kazuko Takahashi
2017 — conf
Correspondence Between PLCA and Maptree: Representations of a Space Configuration.
COSIT (Workshops/Posters)
Kazuko Takahashi
2017 — conf
Superposition of Qualitative Rectangles using a Quantitative Model.
ICAART (2)
Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi
2016 — conf
On a Formal Treatment of Deception in Argumentative Dialogues.
EUMAS/AT
Kazuko Takahashi, Shizuka Yokohama
2016 — conf
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.
SCSS
Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi
2016 J jnl
Verification of Content-Centric Networking Using Proof Assistant.
IEICE Trans. Commun.
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
2015 — conf
A Qualitative Representation of a Figure and Construction of Its Planar Class.
ICAART (2)
Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa
2015 — conf
Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data.
ICAART (Revised Selected Papers)
Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa
2015 — conf
Formalization of the Behavior of Content-Centric Networking.
FNC/MobiSPC
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
2015 J jnl
Formalizing polygonal knot origami.
J. Symb. Comput.
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
2015 — conf
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.
ICAART (2)
Fadoua Ghourabi, Kazuko Takahashi
2015 — conf
What Should an Agent Know Not to Fail in Persuasion?
EUMAS/AT
Shizuka Yokohama, Kazuko Takahashi
2013 — conf
An Argumentation System with Indirect Attacks.
ICAART (2)
Kazuko Takahashi
2013 — conf
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application.
SCSS
Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto
2013 Misc conf
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification.
SYNASC
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
2013 — conf
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon.
SCSS
Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi
2012 — conf
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation.
ISIP
Ken Satoh, Kazuko Takahashi
2011 — conf
A Semantics for Dynamic Argumentation Frameworks.
ArgMAS
Kazuko Takahashi, Yu Nambu
2011 J jnl
Probabilistic Symmetry Reduction for a System with Ring Buffer.
IEICE Trans. Inf. Syst.
Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi
2010 — conf
Argumentation System Allowing Suspend/Resume of an Argumentation Line.
ArgMAS
Kenichi Okuno, Kazuko Takahashi
2010 Misc conf
Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition.
FLAIRS
Shou Kumokawa, Kazuko Takahashi
2009 A* conf
Argumentation System with Changes of an Agent's Knowledge Base.
IJCAI
Kenichi Okuno, Kazuko Takahashi
2009 B conf
Lane Changing Model with Early Communication of Intentions.
ICAART
Tomoki Takasago, Kazuko Takahashi
2008 J jnl
On Embedding a Qualitative Representation in a Two-Dimensional Plane.
Spatial Cogn. Comput.
Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti
2007 — conf
Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation.
COSIT
Shou Kumokawa, Kazuko Takahashi
2007 J jnl
The Qualitative Treatment of Spatial Data.
Int. J. Artif. Intell. Tools
Kazuko Takahashi, Takao Sumitomo
2005 B conf
A Qualitative Treatment of Spatial Data.
ICTAI
Takao Sumitomo, Kazuko Takahashi
2004 Misc conf
Reasoning on Spatial Constraints over Regions.
FLAIRS
Kazuko Takahashi
2003 J jnl
Reasoning about Propagation of Properties over Regions.
J. Univers. Comput. Sci.
Kazuko Takahashi
2002 J jnl
An interaction mechanism of multimodal dialogue systems.
Syst. Comput. Jpn.
Kazuko Takahashi, Toshiyuki Takezawa
1999 J jnl
A verification method for systolic arrays using induction-based theorem provers.
Artif. Intell. Eng.
Kazuko Takahashi, Hiroshi Fujita
1989 — conf
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.
Concurrency: Theory, Language, And Architecture
Akikazu Takeuchi, Kazuko Takahashi
1986 — conf
On Parallel Programming Methodology in GHC.
LP
Kazuko Takahashi, Tadashi Kanamori
1986 J jnl
On a mechanical reasoning about causal relations.
Artif. Intell. Eng.
Akira Fusaoka, Kazuko Takahashi
1984 J jnl
Description and Reasoning of VLSI Circuit in Temporal Logic.
New Gener. Comput.
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
1983 A* conf
A Description and Reasoning of Plant Controllers in Temporal Logic.
IJCAI
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi