Kazuko Takahashi

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 22

Top Topics

Qualitative Spatial

Argumentation Frameworks

Cardinal Directions

Top Venues

Publications

Yuta Taniuchi, Kazuko Takahashi
Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach. ICAART (Revised Selected Paper) (2023)
Kazuko Takahashi, Hiroyoshi Miwa
Topological Conditions and Solutions for Repairing Argumentation Frameworks. CLAR (2023)
Yuta Taniuchi, Kazuko Takahashi
Qualitative Spatial Representation and Reasoning About Fold Strata. ICAART (2) (2023)
Haruya Iwasaki, Tsuyoshi Nakajima, Ryota Tsukamoto, Kazuko Takahashi, Shuichi Tokumoto
A Software Impact Analysis Tool based on Change History Learning and its Evaluation. ICSE (SEIP) (2022)
Kazuko Takahashi
Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework. SAFA@COMMA (2022)
Kazuko Takahashi, Tamon Okubo
How Can You Resolve a Trilemma? - A Topological Approach -. CLAR (2021)
Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki
Interactive system for arranging issues based on PROLEG in civil litigation. ICAIL (2021)
Momo Tosue, Kazuko Takahashi
Towards a Qualitative Reasoning on Shape Change and Object Division. COSIT (2019)
Momo Tosue, Sosuke Moriguchi, Kazuko Takahashi
Operations for Shape Transformations based on Angles. ICAART (2) (2019)
Sosuke Moriguchi, Kazuko Takahashi
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions. CoRR (2019)
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
Hybrid Reasoning on a Bipolar Argumentation Framework. SUM (2019)
Sosuke Moriguchi, Kazuko Takahashi
Expressing the Characteristics of an Argumentation Framework. SAFA@COMMA (2018)
Fadoua Ghourabi, Kazuko Takahashi
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? AISC (2018)
Fadoua Ghourabi, Kazuko Takahashi
A Proof of the Compositions of Time Interval Relations. CoRR (2018)
Tatsuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
Reasoning by a Bipolar Argumentation Framework for PROLEG. JSAI-isAI Workshops (2018)
Kazuyuki Kokusho, Kazuko Takahashi
Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report. ICAART (1) (2018)
Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi
Transformation from PROLEG to a Bipolar Argumentation Framework. SAFA@COMMA (2018)
Kazuko Takahashi
Correspondence Between PLCA and Maptree: Representations of a Space Configuration. COSIT (Workshops/Posters) (2017)
Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi
Superposition of Qualitative Rectangles using a Quantitative Model. ICAART (2) (2017)
Kazuko Takahashi, Shizuka Yokohama
On a Formal Treatment of Deception in Argumentative Dialogues. EUMAS/AT (2016)
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Verification of Content-Centric Networking Using Proof Assistant. IEICE Trans. Commun. (11) (2016)
Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. SCSS (2016)
Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa
A Qualitative Representation of a Figure and Construction of Its Planar Class. ICAART (2) (2015)
Shizuka Yokohama, Kazuko Takahashi
What Should an Agent Know Not to Fail in Persuasion? EUMAS/AT (2015)
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
Formalizing polygonal knot origami. J. Symb. Comput. 69 (2015)
Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi
Formalization of the Behavior of Content-Centric Networking. FNC/MobiSPC (2015)
Fadoua Ghourabi, Kazuko Takahashi
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. ICAART (2) (2015)
Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa
Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. ICAART (Revised Selected Papers) (2015)
Kazuko Takahashi, Hirofumi Taki, Shunsuke Tanabe, Wei Li
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. KEOD (2014)
Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. SYNASC (2013)
Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. SCSS (2013)
Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. SCSS (2013)
Kazuko Takahashi
An Argumentation System with Indirect Attacks. ICAART (2) (2013)
Ken Satoh, Kazuko Takahashi
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation. ISIP (2012)
Kazuko Takahashi, Yu Nambu
A Semantics for Dynamic Argumentation Frameworks. ArgMAS (2011)
Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi
Probabilistic Symmetry Reduction for a System with Ring Buffer. IEICE Trans. Inf. Syst. (5) (2011)
Kenichi Okuno, Kazuko Takahashi
Argumentation System Allowing Suspend/Resume of an Argumentation Line. ArgMAS (2010)
Shou Kumokawa, Kazuko Takahashi
Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition. FLAIRS Conference (2010)
Tomoki Takasago, Kazuko Takahashi
Lane Changing Model with Early Communication of Intentions. ICAART (2009)
Kazuko Takahashi, Hiroya Takamura, Manabu Okumura
Direct estimation of class membership probabilities for multiclass classification using multiple scores. Knowl. Inf. Syst. 19 (2) (2009)
Kenichi Okuno, Kazuko Takahashi
Argumentation System with Changes of an Agent's Knowledge Base. IJCAI (2009)
Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti
On Embedding a Qualitative Representation in a Two-Dimensional Plane. Spatial Cogn. Comput. 8 (1-2) (2008)
Shou Kumokawa, Kazuko Takahashi
Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation. COSIT (2007)
Kazuko Takahashi, Takao Sumitomo
The Qualitative Treatment of Spatial Data. Int. J. Artif. Intell. Tools 16 (4) (2007)
Kazuko Takahashi, Hiroya Takamura, Manabu Okumura
Estimation of Class Membership Probabilities in the Document Classification. PAKDD (2007)
Kazuko Takahashi, Hiroya Takamura, Manabu Okumura
Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules. PAKDD (2005)
Takao Sumitomo, Kazuko Takahashi
A Qualitative Treatment of Spatial Data. ICTAI (2005)
Kazuko Takahashi
Reasoning on Spatial Constraints over Regions. FLAIRS Conference (2004)
Kazuko Takahashi
Reasoning about Propagation of Properties over Regions. J. Univers. Comput. Sci. 9 (9) (2003)
Kazuko Takahashi, Toshiyuki Takezawa
An interaction mechanism of multimodal dialogue systems. Systems and Computers in Japan 33 (11) (2002)
Kazuko Takahashi, Hiroshi Fujita
A verification method for systolic arrays using induction-based theorem provers. Artif. Intell. Eng. 13 (1) (1999)
Akikazu Takeuchi, Kazuko Takahashi
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism. Concurrency: Theory, Language, And Architecture (1989)
Kazuko Takahashi, Tadashi Kanamori
On Parallel Programming Methodology in GHC. LP (1986)
Akira Fusaoka, Kazuko Takahashi
On a mechanical reasoning about causal relations. Artif. Intell. Eng. 1 (1) (1986)
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
Description and Reasoning of VLSI Circuit in Temporal Logic. New Gener. Comput. 2 (1) (1984)
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI (1983)