default search action
Kazuko Takahashi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c45]Kazuko Takahashi:
Qualitative Formalization of a Curve on a Two-Dimensional Plane. COSIT 2024: 4:1-4:19 - [c44]Kazuko Takahashi:
Reasoning about the embedded shape of a qualitatively represented curve. SCSS (Work in Progress) 2024: 113-118 - 2023
- [c43]Kazuko Takahashi
, Hiroyoshi Miwa
Topological Conditions and Solutions for Repairing Argumentation Frameworks. CLAR 2023: 101-118 - [c42]Yuta Taniuchi, Kazuko Takahashi:
Qualitative Spatial Representation and Reasoning About Fold Strata. ICAART (2) 2023: 211-220 - [c41]Yuta Taniuchi, Kazuko Takahashi:
Spatial Representation and Reasoning About Fold Strata: A Qualitative Approach. ICAART (Revised Selected Paper) 2023: 244-266 - 2022
- [c40]Kazuko Takahashi:
Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework. SAFA@COMMA 2022: 5-18 - [c39]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: 11-12 - 2021
- [c38]Kazuko Takahashi, Tamon Okubo:
How Can You Resolve a Trilemma? - A Topological Approach -. CLAR 2021: 397-416 - [c37]Ken Satoh, Kazuko Takahashi, Tatsuki Kawasaki:
Interactive system for arranging issues based on PROLEG in civil litigation. ICAIL 2021: 273-274
2010 – 2019
- 2019
- [c36]Momo Tosue, Kazuko Takahashi:
Towards a Qualitative Reasoning on Shape Change and Object Division. COSIT 2019: 7:1-7:15 - [c35]Momo Tosue, Sosuke Moriguchi
Operations for Shape Transformations based on Angles. ICAART (2) 2019: 576-583 - [c34]Tatsuki Kawasaki, Sosuke Moriguchi
Hybrid Reasoning on a Bipolar Argumentation Framework. SUM 2019: 79-92 - [i2]Sosuke Moriguchi, Kazuko Takahashi:
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions. CoRR abs/1911.01185 (2019) - 2018
- [c33]Fadoua Ghourabi, Kazuko Takahashi:
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? AISC 2018: 139-154 - [c32]Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi:
Transformation from PROLEG to a Bipolar Argumentation Framework. SAFA@COMMA 2018: 36-47 - [c31]Sosuke Moriguchi, Kazuko Takahashi:
Expressing the Characteristics of an Argumentation Framework. SAFA@COMMA 2018: 60-71 - [c30]Kazuyuki Kokusho, Kazuko Takahashi:
Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report. ICAART (1) 2018: 268-275 - [c29]Tatsuki Kawasaki, Sosuke Moriguchi
Reasoning by a Bipolar Argumentation Framework for PROLEG. JSAI-isAI Workshops 2018: 115-130 - [i1]Fadoua Ghourabi, Kazuko Takahashi:
A Proof of the Compositions of Time Interval Relations. CoRR abs/1804.01637 (2018) - 2017
- [c28]Kazuko Takahashi:
Correspondence Between PLCA and Maptree: Representations of a Space Configuration. COSIT (Workshops/Posters) 2017: 117-123 - [c27]Takeaki Kato, Sosuke Moriguchi
Superposition of Qualitative Rectangles using a Quantitative Model. ICAART (2) 2017: 423-430 - 2016
- [j11]Sosuke Moriguchi
Verification of Content-Centric Networking Using Proof Assistant. IEICE Trans. Commun. 99-B(11): 2297-2304 (2016) - [c26]Kazuko Takahashi, Shizuka Yokohama:
On a Formal Treatment of Deception in Argumentative Dialogues. EUMAS/AT 2016: 390-404 - [c25]Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi:
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. SCSS 2016: 117-129 - 2015
- [j10]Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi:
Formalizing polygonal knot origami. J. Symb. Comput. 69: 93-108 (2015) - [c24]Shizuka Yokohama, Kazuko Takahashi:
What Should an Agent Know Not to Fail in Persuasion? EUMAS/AT 2015: 219-233 - [c23]Sosuke Moriguchi
Formalization of the Behavior of Content-Centric Networking. FNC/MobiSPC 2015: 197-204 - [c22]Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa:
A Qualitative Representation of a Figure and Construction of Its Planar Class. ICAART (2) 2015: 204-212 - [c21]Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa:
Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data. ICAART (Revised Selected Papers) 2015: 298-315 - [c20]Fadoua Ghourabi, Kazuko Takahashi:
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. ICAART (2) 2015: 530-539 - 2014
- [c19]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: 369-375 - 2013
- [c18]Kazuko Takahashi:
An Argumentation System with Indirect Attacks. ICAART (2) 2013: 551-554 - [c17]Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi:
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. SCSS 2013: 50-63 - [c16]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: 93-107 - [c15]Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi:
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. SYNASC 2013: 12-19 - 2012
- [c14]Ken Satoh, Kazuko Takahashi:
Decision Making in Knowledge Integration with Dynamic Creation of Argumentation. ISIP 2012: 41-50 - 2011
- [j9]Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi
Probabilistic Symmetry Reduction for a System with Ring Buffer. IEICE Trans. Inf. Syst. 94-D(5): 967-975 (2011) - [c13]Kazuko Takahashi, Yu Nambu:
A Semantics for Dynamic Argumentation Frameworks. ArgMAS 2011: 66-85 - 2010
- [c12]Kenichi Okuno, Kazuko Takahashi:
Argumentation System Allowing Suspend/Resume of an Argumentation Line. ArgMAS 2010: 248-267 - [c11]Shou Kumokawa, Kazuko Takahashi:
Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition. FLAIRS 2010
2000 – 2009
- 2009
- [j8]Kazuko Takahashi, Hiroya Takamura
Direct estimation of class membership probabilities for multiclass classification using multiple scores. Knowl. Inf. Syst. 19(2): 185-210 (2009) - [c10]Tomoki Takasago, Kazuko Takahashi:
Lane Changing Model with Early Communication of Intentions. ICAART 2009: 455-461 - [c9]Kenichi Okuno, Kazuko Takahashi:
Argumentation System with Changes of an Agent's Knowledge Base. IJCAI 2009: 226-232 - 2008
- [j7]Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti:
On Embedding a Qualitative Representation in a Two-Dimensional Plane. Spatial Cogn. Comput. 8(1-2): 4-26 (2008) - 2007
- [j6]Kazuko Takahashi, Takao Sumitomo:
The Qualitative Treatment of Spatial Data. Int. J. Artif. Intell. Tools 16(4): 661-682 (2007) - [c8]Shou Kumokawa, Kazuko Takahashi:
Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation. COSIT 2007: 337-353 - [c7]Kazuko Takahashi, Hiroya Takamura
Estimation of Class Membership Probabilities in the Document Classification. PAKDD 2007: 284-295 - 2005
- [c6]Takao Sumitomo, Kazuko Takahashi:
A Qualitative Treatment of Spatial Data. ICTAI 2005: 539-548 - [c5]Kazuko Takahashi, Hiroya Takamura
Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules. PAKDD 2005: 269-279 - 2004
- [c4]Kazuko Takahashi:
Reasoning on Spatial Constraints over Regions. FLAIRS 2004: 801-806 - 2003
- [j5]Kazuko Takahashi:
Reasoning about Propagation of Properties over Regions. J. Univers. Comput. Sci. 9(9): 1030-1045 (2003) - 2002
- [j4]Kazuko Takahashi, Toshiyuki Takezawa:
An interaction mechanism of multimodal dialogue systems. Syst. Comput. Jpn. 33(11): 70-79 (2002)
1990 – 1999
- 1999
- [j3]Kazuko Takahashi, Hiroshi Fujita:
A verification method for systolic arrays using induction-based theorem provers. Artif. Intell. Eng. 13(1): 43-53 (1999)
1980 – 1989
- 1989
- [c3]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: 173-209 - 1986
- [j2]Akira Fusaoka, Kazuko Takahashi:
On a mechanical reasoning about causal relations. Artif. Intell. Eng. 1(1): 15-22 (1986) - [c2]Kazuko Takahashi, Tadashi Kanamori:
On Parallel Programming Methodology in GHC. LP 1986: 92-103 - 1984
- [j1]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
Description and Reasoning of VLSI Circuit in Temporal Logic. New Gener. Comput. 2(1): 79-90 (1984) - 1983
- [c1]Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi:
A Description and Reasoning of Plant Controllers in Temporal Logic. IJCAI 1983: 405-408
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: