We stand with Ukraine  

Kazuko Takahashi

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
Reasoning about the embedded shape of a qualitatively represented curve.
[BibTeX]
[DOI]
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

2022
A Software Impact Analysis Tool based on Change History Learning and its Evaluation.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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
How Can You Resolve a Trilemma? - A Topological Approach -.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Tamon Okubo
Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2019
Towards a Qualitative Reasoning on Shape Change and Object Division.
[BibTeX]
[DOI]
Momo Tosue
,
Kazuko Takahashi
Proceedings of the 14th International Conference on Spatial Information Theory, 2019

2018
Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report.
[BibTeX]
[DOI]
Kazuyuki Kokusho
,
Kazuko Takahashi
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

2017
Correspondence Between PLCA and Maptree: Representations of a Space Configuration.
[BibTeX]
[DOI]
Kazuko Takahashi
Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, 2017

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.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Hirofumi Taki
,
Shunsuke Tanabe
,
Wei Li
Proceedings of the KEOD 2014, 2014

2013
An Argumentation System with Indirect Attacks.
[BibTeX]
Kazuko Takahashi
Proceedings of the ICAART 2013, 2013

2012
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation.
[BibTeX]
[DOI]
Ken Satoh
,
Kazuko Takahashi
Proceedings of the Information Search, Integration and Personalization, 2012

2011
Probabilistic Symmetry Reduction for a System with Ring Buffer.
[BibTeX]
[DOI]
Toshifusa Sekizawa
,
Takashi Toyoshima
,
Koichi Takahashi
,
Kazuko Takahashi
IEICE Trans. Inf. Syst., 2011

2010
Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition.
[BibTeX]
[DOI]
Shou Kumokawa
,
Kazuko Takahashi
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

2009
Direct estimation of class membership probabilities for multiclass classification using multiple scores.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Hiroya Takamura
,
Manabu Okumura
Knowl. Inf. Syst., 2009

Argumentation System with Changes of an Agent's Knowledge Base.
[BibTeX]
[DOI]
Kenichi Okuno
,
Kazuko Takahashi
Proceedings of the IJCAI 2009, 2009

Lane Changing Model with Early Communication of Intentions.
[BibTeX]
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.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Takao Sumitomo
,
Izumi Takeuti
Spatial Cogn. Comput., 2008

2007
The Qualitative Treatment of Spatial Data.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Takao Sumitomo
Int. J. Artif. Intell. Tools, 2007

Estimation of Class Membership Probabilities in the Document Classification.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Hiroya Takamura
,
Manabu Okumura
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007

2005
Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Hiroya Takamura
,
Manabu Okumura
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2005

2004
Reasoning on Spatial Constraints over Regions.
[BibTeX]
[DOI]
Kazuko Takahashi
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2003
Reasoning about Propagation of Properties over Regions.
[BibTeX]
[DOI]
Kazuko Takahashi
J. Univers. Comput. Sci., 2003

2002
An interaction mechanism of multimodal dialogue systems.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Toshiyuki Takezawa
Syst. Comput. Jpn., 2002

1999
A verification method for systolic arrays using induction-based theorem provers.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Akikazu Takeuchi
,
Kazuko Takahashi
Proceedings of the Concurrency: Theory, 1989

1986
On a mechanical reasoning about causal relations.
[BibTeX]
[DOI]
Akira Fusaoka
,
Kazuko Takahashi
Artif. Intell. Eng., 1986

On Parallel Programming Methodology in GHC.
[BibTeX]
[DOI]
Kazuko Takahashi
,
Tadashi Kanamori
Proceedings of the Logic Programming '86, 1986

1984
Description and Reasoning of VLSI Circuit in Temporal Logic.
[BibTeX]
[DOI]
Akira Fusaoka
,
Hirohisa Seki
,
Kazuko Takahashi
New Gener. Comput., 1984

1983
A Description and Reasoning of Plant Controllers in Temporal Logic.
[BibTeX]
[DOI]
Akira Fusaoka
,
Hirohisa Seki
,
Kazuko Takahashi
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983


  Loading...