TAKAHASHI Kazuko 高橋和子

Researcher Number	30330400
Other IDs
External Links
Affiliation (Current)	2025: 関西学院大学, 工学部, 教授
Affiliation (based on the past Project Information) *help	2021 – 2024: 関西学院大学, 工学部, 教授 2006 – 2020: 関西学院大学, 理工学部, 教授 2002 – 2006: 関西学院大学, 理工学部, 助教授
Review Section/Research Field	Principal Investigator Basic Section 61030:Intelligent informatics-related / Intelligent informatics / Intelligent informatics / Intelligent informatics Except Principal Investigator Intelligent informatics / Software / Computer system/Network
Keywords	Principal Investigator 時空間推論 / 定性空間推論 / ソフトウェア学 / 定性推論 / 人工知能 / トポロジー / 論理推論 / 構造地質学 / RCC / トポロジ … More / 状態遷移系 / 発生生物学 / software science / qualitative reasoning / artificial intelligence / spatial temporal reasoning / process / verification system / knowledge representation / temporal spatial reasoning / security / multiagents / プロセス / 検証系 / 知識表現 / セキュリティ / マルチエージェント / ソフトウェア工学 / 計算モデル … More Except Principal Investigator 議論フレームワーク / ASIP Meister / DSP / 議論枠組み / 裁判支援 / juris-informatics / 裁判過程 / 論理プログラミング / 要件事実論 / 判決推論 / 事実認定 / あてはめ / 人工知能の社会進出への影響 / 自然言語処理 / ベイジアンネットワーク / 法的推論 / 推論アルゴリズム / 論理 / 消費者向けシステム / リスク共有 / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / 数理議論学 / アシュアランス / 抽象対話議論 / ゴール構造化表記法 / 議論 / 論証 / アシュアランスケース / Embedded System / Custom Processor / VLIW Architecture / Retargetable Compiler / 組込みプロセッサ / カスタムプロセッサ / VLIWアーキテクチャ / リターゲッタブルコンパイラ Less

Construction of the qualitative spatial reasoning system considering the continuity of curvesPrincipal Investigator
- Principal Investigator
  
  高橋和子
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Kwansei Gakuin University
Qualitative Spatial Reasoning Based on the Shape Change of Regions and Their AdjacencyPrincipal Investigator
- Principal Investigator
  
  Takahashi Kazuko
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Kwansei Gakuin University
A study on qualitative spatial representation and reasoning system focused on the change of shapesPrincipal Investigator
- Principal Investigator
  
  Takahashi Kazuko
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Kwansei Gakuin University
Advanced Reasoning Support for Judicial Judgment by Artificial Intelligence
- Principal Investigator
  
  Ken Satoh
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Defining software integrity levels using argumentation theory
- Principal Investigator
  
  Takai Toshinori
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nara Institute of Science and Technology
A study on symbolic expression of spatial dataPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI KAZUKO
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kwansei Gakuin University
A study on the construction of a system for a qualitative spatial reasoning and its applicationPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI Kazuko
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kwansei Gakuin University
A study on representation and reasoning about temporal spatial data using the framework of qualitative reasoningPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI Kazuko
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kwansei Gakuin University
Research on Qualitative Representation and Its Reasoning for Spatial DataPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI Kazuko
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kwansei Gakuin University
Research on retargetable code generation for custom VLIW DSPs
- Principal Investigator
  
  ISHIURA Nagisa
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  Kwansei Gakuin University
Research on Temporal Spatial Logic on the Verification of Behaviors of Multi-Agents Considering SecurityPrincipal Investigator
- Principal Investigator
  
  TAKAHASHI Kazuko
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kwansei Gakuin University

[Book] Origami 62015
- Author(s)
  Fadoua Ghourabi, Tetsuo Ida and KazukoTakahashi
- Publisher
  American Mathematical Society
- Data Source
  KAKENHI-PROJECT-25330274
[Book] 7th International Conference, ICAART 2015, Selected Papers2015
- Author(s)
  Kazuko Takahashi, Mizuki Goto and Hiroyoshi Miwa
- Publisher
  Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data
- Data Source
  KAKENHI-PROJECT-25330274
[Book] PLCA: A Framework for Qualitative SpatialReasoning Based on Connection Patterns of Regions Qualitative Spatio-Temporal Representation and Reasoning Trends andFuture Directions Chapt 22012
- Author(s)
  Hazarika,S.(ed.), K.Takahashi
- Publisher
  IGIPublishers
- Data Source
  KAKENHI-PROJECT-22500141
[Book] Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions2012
- Author(s)
  Shyamanta Hazarika(ed), Kazauko Takahashi
- Publisher
  IGI Publishers
- Data Source
  KAKENHI-PROJECT-22500141
[Journal Article] Spatial Representation and Reasoning about Fold Strata: A Qualitative Approach2024
- Author(s)
  Yuta Taniuchi and Kazuko Takahashi
- Journal Title
  
  15th International Conference, ICAART 2023, Revised Selected Papers
  
  Volume: 14546 Pages: 244-266
- DOI
  10.1007/978-3-031-55326-4_12
- ISBN
  9783031553257, 9783031553264
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K12020
[Journal Article] Qualitative Spatial Representation and Reasoning about Fold Strata2023
- Author(s)
  Yuta Taniuchi and Kazuko Takahashi
- Journal Title
  
  Proceedings of 5th International Conference on Agents and Artificial Intelligence
  
  Volume: 2 Pages: 211-220
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K12020
[Journal Article] Qualitative Spatial Representation and Reasoning about Fold Strata2023
- Author(s)
  Yuta Taniuchi and Kazuko Takahashi
- Journal Title
  
  Proceedings of the 15th International Conference on Agents and Artificial Intelligence
  
  Volume: 2 Pages: 211-220
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11453
[Journal Article] Topological Conditions and Solutions for Repairing Argumentation Frameworks2023
- Author(s)
  Kazuko Takahashi and Hiroyoshi Miwa
- Journal Title
  
  5th International Conference on Logic and Argumentation
  
  Volume: 14157 Pages: 101-118
- DOI
  10.1007/978-3-031-40875-5_7
- ISBN
  9783031408748, 9783031408755
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K12020
[Journal Article] How Can You Resolve a Trilemma? - A Topological Approach -2021
- Author(s)
  Takahashi Kazuko、Okubo Tamon
- Journal Title
  
  Proc. of 4th International Conference on Logic and Argumentation (CLAR2021)
  
  Volume: LNCS13040 Pages: 397-416
- DOI
  10.1007/978-3-030-89391-0_22
- ISBN
  9783030893903, 9783030893910
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] 重み付き双極議論フレームワークにおける論証の信頼性について2021
- Author(s)
  西鼻洸佑、江守広行、高橋和子
- Journal Title
  
  情報処理学会第83回全国大会講演論文集
  
  Volume: 2021 Pages: 475-476
- NAID
  170000187019
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Interactive system for arranging issues based on PROLEG in civil litigation2021
- Author(s)
  Satoh Ken、Takahashi Kazuko、Kawasaki Tatsuki
- Journal Title
  
  ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law
  
  Volume: 2021 Pages: 273-274
- DOI
  10.1145/3462757.3466096
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
[Journal Article] 法律適用の議論のための推論システム2021
- Author(s)
  高橋和子、福原慶、江守広行
- Journal Title
  
  情報処理学会第83回全国大会講演論文集
  
  Volume: 2021 Pages: 53-54
- NAID
  170000187223
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] User Interface of Online Argumentation Using Argumentation Framework2020
- Author(s)
  仁科慧、新田克己、高橋和子
- Journal Title
  
  Proceedings of the Annual Conference of JSAI
  
  Volume: JSAI2020 Issue: 0 Pages: 3O1GS1302-3O1GS1302
- DOI
  10.11517/pjsai.JSAI2020.0_3O1GS1302
- NAID
  130007857156
- Language
  Japanese
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Towards a Qualitative Reasoning on Shape Change and Object Division2019
- Author(s)
  Momo Tosue and Kazuko Takahashi
- Journal Title
  
  14th International Conference on Spatial Information Theory (COSIT 2019)
  
  Volume: 1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11453
[Journal Article] Hybrid Reasoning on a Bipolar Argumentation Framework2019
- Author(s)
  Kawasaki Tatsuki、Moriguchi Sosuke、Takahashi Kazuko
- Journal Title
  
  Prof. of The 13th international conference on Scalable Uncertainty Management (SUM 2019)
  
  Volume: LNCS 11940 Pages: 79-92
- DOI
  10.1007/978-3-030-35514-2_7
- ISBN
  9783030355135, 9783030355142
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Reasoning by a Bipolar Argumentation Framework for PROLEG2019
- Author(s)
  Kawasaki Tatsuki、Moriguchi Sosuke、Takahashi Kazuko
- Journal Title
  
  New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers
  
  Volume: LNCS 11717 Pages: 115-130
- DOI
  10.1007/978-3-030-31605-1_10
- ISBN
  9783030316044, 9783030316051
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Transformation from PROLEG to a Bipolar Argumentation Framework2018
- Author(s)
  Kawasaki,T., S.Moriguchi and K.Takahashi
- Journal Title
  
  Proc. of the 2nd international workshop on systems and algorithms for formal argumentation
  
  Volume: 2 Pages: 36-47
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Evaluation of Dishonest Argumentation Based on an Opponent Model: A Preliminary Report2018
- Author(s)
  K., Kokusho, Takahashi, K.,
- Journal Title
  
  Proc. of 10th International Conference on Agents and Artificial Intelligence (Volume 1)
  
  Volume: 10 Pages: 268-275
- DOI
  10.5220/0006648402680275
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] What does the qualitative spatial knowledge tell about the origami geometric folds?2018
- Author(s)
  Ghhourabi Fadoua, Kazuko Takahashi
- Journal Title
  
  Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Proceedings
  
  Volume: 1 Pages: 139-154
- DOI
  10.1007/978-3-319-99957-9_9
- ISBN
  9783319999562, 9783319999579
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11453
[Journal Article] Expressing the Characteristics of an Argumentation Framework2018
- Author(s)
  Moriguchi,S. and K.Takahashi
- Journal Title
  
  Proc. of the 2nd international workshop on systems and algorithms for formal argumentation
  
  Volume: 2 Pages: 60-71
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H06103
[Journal Article] Towards Verified Construction for Planar Class of a Qualitative Spatial Representation2016
- Author(s)
  Sosuke Moriguchi, Mizuki Goto and Kazuko Takahashi
- Journal Title
  
  EPiC Series in Computing
  
  Volume: 39 Pages: 117-129
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25330274
[Journal Article] Formalization of the Behavior of Content-Centric Networking2015
- Author(s)
  Sosuke Moriguchi, Takashi Morishima, Mizuki Goto and Kazuko Takahashi
- Journal Title
  
  Procedia Computer Science
  
  Volume: 56 Pages: 197-204
- DOI
  10.1016/j.procs.2015.07.197
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25330274
[Journal Article] Formalizing Polygonal Knot Origami2014
- Author(s)
  Tetsuo Ida and Fadoua Ghourabi and Kazuko Takahashi
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume: 69 Pages: 93-108
- DOI
  10.1016/j.jsc.2014.09.031
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330007, KAKENHI-PROJECT-25330274
[Journal Article] Superposition of Rectangles with Visibility Requirement: A Qualitative Approach2012
- Author(s)
  Kazuko Takahashi, Takako Konishi
- Journal Title
  
  International Journal On Advances in Software
  
  Volume: 4 Pages: 422-433
- Data Source
  KAKENHI-PROJECT-22500141
[Journal Article] Superposition of Rectangles withVisibility Requirement: A Qualitative Approach2012
- Author(s)
  Konishi,T. and K.Takahashi.
- Journal Title
  
  International Journal On Advances in Software
  
  Volume: Vol.4, No.3&4 Pages: 422-433
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500141
[Journal Article] Probabilistic Symmetry Reduction for a System with Ring Buffer2011
- Author(s)
  Kazuko TAKAHASHI, Toshifumi SEKIZAWA
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E94-D Pages: 967-975
- NAID
  10029506938
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500141
[Journal Article] On Embedding a Qualitative Representation in a Two-Dimensional Plane2008
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  Spatial Cognition and Computation 8
  
  Pages: 4-26
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500134
[Journal Article] On Embedding a Qualitative Representation in a Two-Dimensional Plane2008
- Author(s)
  Kazuko TAKAHASHI, Shou KUMOKAWA
- Journal Title
  
  Spatial Cognition and Computation Vol.8
  
  Pages: 4-26
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500134
[Journal Article] The Qualitative Treatment of Spatial Data2007
- Author(s)
  Kazuko TAKAHASHI, Takao SUMITOMO, Izumi TAKEUTI
- Journal Title
  
  International Journal on Artificial Intelligence Tools Vol.16
  
  Pages: 661-682
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500134
[Journal Article] The Qualitative Treatment of Spatial Data2007
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  International Journal of Artificial Intelligent Tools (To appear)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] On Embedding a Qualitative Representation in a Two-Dimensional Plane,2007
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  IJCAI-07 Workshop on Spatial and Temporal Reasoning
  
  Pages: 101-109
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] The Qualitative Treatment of Spatial Data,2007
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  International Journal of Artificial Intelligent Tools (to appear)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] On Embedding a Qualitative Representation in a Two-Dimensional Plane2007
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  IJCAI-07 Workshop on Spatial and Temporal Reasoning
  
  Pages: 101-109
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] The Qualitative Treatment of Spatial Data2007
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  International Journal on Artificial Intelligence Tools 16
  
  Pages: 661-682
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500134
[Journal Article] On Embedding a Qualitative Representation in a Two-Dimensional Plane2007
- Author(s)
  Kazuko Takahashi
- Journal Title
  
  IJCAI-07 Workshop on Spatial and Temporal Reasoning
  
  Pages: 101-109
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] 定性空間表現の二次元平面への埋め込みについて2006
- Author(s)
  高橋和子
- Journal Title
  
  信学技報 COMP2006-11
  
  Pages: 9-15
- NAID
  10018162809
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] Embedding of a Qualitative Representation Language on a Two-Dimensional Plane,2006
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  The IEICE Technical Report COMP2006-11
  
  Pages: 9-15
- NAID
  10018162809
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions,2005
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  IJCAI-05 Workshop on Spatial and Temporal Reasoning
  
  Pages: 57-62
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] 定性空間推論の新しい枠組DLCSとその上での操作2005
- Author(s)
  住友孝郎, 高橋和子
- Journal Title
  
  情報処理学会第52回プログラミング研究会発表資料
- NAID
  110002769817
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] ボードゲームBAOにおける周期的動作の解析2005
- Author(s)
  稲畑康博, 高橋和子
- Journal Title
  
  情報処理学会研究報告2005-MPS-53
  
  Pages: 29-32
- NAID
  110002950932
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] An Analysis of Cyclic Behavior of Board Game BAO2005
- Author(s)
  Yasuhiro INAHATA, Kazuko TAKAHASHI
- Journal Title
  
  IPSJ SIG Notes 2005-MPS-53 March
  
  Pages: 29-32
- NAID
  110002950932
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions2005
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  IJCAI-05 Workshop on Spatial and Temporal Reasoning
  
  Pages: 57-62
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] A Novel Framework DLCS for Qualitative Spatial Reasoning and Its Operations2005
- Author(s)
  Takao SUMITOMO, Kazuko TAKAHASHI
- Journal Title
  
  IPSJ SIG Technical Report PRO-52 January
- NAID
  110002769817
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions2005
- Author(s)
  K.Takahashi
- Journal Title
  
  IJCAI-05 Workshop on Spatial and Temporal Reasoning
  
  Pages: 57-62
- Data Source
  KAKENHI-PROJECT-17500101
[Journal Article] Reasoning on Spatial Constraints over Regions2004
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  Computer Software Vol.21,No.4
  
  Pages: 37-42
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] 性質の伝播に関する定性空間推論2004
- Author(s)
  高橋和子
- Journal Title
  
  コンピュータソフトウェア 21,4
  
  Pages: 37-42
- NAID
  130004549020
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Reasoning on Spatial Constraints over Regions2004
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  Proceedings of the Seventeenth International Florida Arificial Intelligence Research Society Conference May
  
  Pages: 801-806
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Representation and Analysis of Board Game BAO Using CCS2004
- Author(s)
  Yasuhiro INAHATA, Kazuko TAKAHASHI
- Journal Title
  
  IPSJ SIG Technical Report, PRO-48 March
- NAID
  110002768486
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study2004
- Author(s)
  高橋和子, 川島千明
- Journal Title
  
  K.G.Studies in Computer Science, Kwansei Gakuin University 18
  
  Pages: 3-11
- NAID
  110002963112
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Reasoning on Spatial Constraints over Regions2004
- Author(s)
  高橋和子
- Journal Title
  
  Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference
  
  Pages: 801-806
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] DLCS:空間の定性的な表現方法2004
- Author(s)
  住友孝郎, 高橋和子
- Journal Title
  
  日本ソフトウェア科学会第21回大会講演論文集 (CD-R)
- NAID
  130005006614
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004
- Author(s)
  高橋和子, 川島千明
- Journal Title
  
  IASTED Artificial Intelligence and Applications 2004
  
  Pages: 166-171
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] ボードゲームBAOの動作の解析とモデルチェッカによる検証2004
- Author(s)
  稲畑康博, 高橋和子
- Journal Title
  
  第9回ゲームプログラミングワークショップ2004講演論文集
  
  Pages: 151-158
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] ボードゲームBAOのCCSによる記述と解析2004
- Author(s)
  稲畑康博, 高橋和子
- Journal Title
  
  情報処理学会第48回プログラミング研究会発表資料
- NAID
  110002768486
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] 性質の伝播に関する定性空間推論2004
- Author(s)
  高橋和子
- Journal Title
  
  日本ソフトウェア科学会論文誌 21,4
  
  Pages: 37-42
- NAID
  130004549020
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004
- Author(s)
  K.Takahashi
- Journal Title
  
  IASTED Artificial Intelligence and Applications 2004
  
  Pages: 166-171
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500055
[Journal Article] Analysis of Cyclic Behavior of Board Game BAO and Its Verification Using Model Checker2004
- Author(s)
  Yasuhiro INAHATA, Kazuko TAKAHASHI
- Journal Title
  
  The 9th Game Programming Workshop November
  
  Pages: 151-158
- NAID
  170000080233
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] DLCS : Qualitative Representation for Spatial Data2004
- Author(s)
  Takao SUMITOMO, Kazuko TAKAHASHI
- Journal Title
  
  Proceedings of the 21st Annual Meeting of Japan Society for Software Science and Technology September(CD-R)
- NAID
  130005006614
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004
- Author(s)
  Kazuko TAKAHASHI, Chiaki KAWASHIMA
- Journal Title
  
  IASTED Artificial Intelligence and Applications 2004 February
  
  Pages: 166-171
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study2004
- Author(s)
  Kazuko TAKAHASHI, Chiaki KAWASHIMA
- Journal Title
  
  K.G.Studies in Computer Science, Kwansei Gakuin University No.18 March
  
  Pages: 3-11
- NAID
  110002963112
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Scheduling by Multiagent Negotiation Using a Chain of Changes2003
- Author(s)
  Tomoya MASUMURA, Kazuko TAKAHASHI
- Journal Title
  
  IEICE/IPSJ Forum on Information Technology (FIT) 2003 September
  
  Pages: 411-412
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] 強相互作用を持つマルチエージェントによる効率的な問題解決方法2003
- Author(s)
  川島千明, 高橋和子
- Journal Title
  
  情報処理学会第64回大会講演論文集
  
  Pages: 301-302
- NAID
  170000168476
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Reasoning about Propagation of Properties over Regions2003
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  Journal of Universal Computer Science Vol.9,No.9
  
  Pages: 1030-1045
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] A Problem Solving by Multiagent in the Environment with Dense Interaction2003
- Author(s)
  Chiaki KAWASHIMA, Kazuko TAKAHASHI
- Journal Title
  
  Proceedings of the 64th IPSJ Annual Convention March
  
  Pages: 301-302
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] An Extension of the Dynamic Network Routing System Using Mobile Agents2003
- Author(s)
  Kensuke KAWARAZAKI, Kazuko TAKAHASHI
- Journal Title
  
  The IEICE Transactions on Communications Vol.J86-B, No.11
  
  Pages: 2433-2436
- NAID
  110003170379
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] 性質の伝播に関する定性空間推論2003
- Author(s)
  高橋和子
- Journal Title
  
  日本ソフトウェア科学会第20回大会講演論文集 (CD-R)
- NAID
  130004549020
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張および効率化2003
- Author(s)
  河原崎兼介, 高橋和子
- Journal Title
  
  電子情報通信学会論文誌 J86-B,11
  
  Pages: 2433-2436
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Qualitative Spatial Reasoning about Propagation of Properties2003
- Author(s)
  Kazuko TAKAHASHI
- Journal Title
  
  Proceedings of the 20th Annual Meeting of Japan Society for Software Science and Technology September(CD-R)
- NAID
  130004549020
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] モバイルエージェントを用いた動的ネットワークルーティングシステムの拡張および効率化2003
- Author(s)
  河原崎兼介, 高橋和子
- Journal Title
  
  情報処理学会第64回大会講演論文集
  
  Pages: 311-312
- NAID
  170000168481
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] ボードゲームBAOの対戦戦略の解析と評価2003
- Author(s)
  稲畑康博, 高橋和子
- Journal Title
  
  情報科学技術フォーラム(FIT)2003論文集
  
  Pages: 271-273
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Reasoning about Propagation of Properties over Regions2003
- Author(s)
  高橋和子
- Journal Title
  
  Journal of Universal Computer Science 9,9
  
  Pages: 1030-1045
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] マルチエージェント間の交渉による修正の連鎖を用いたスケジュール作成2003
- Author(s)
  桝村友哉, 高橋和子
- Journal Title
  
  情報科学技術フォーラム(FIT)2003論文集
  
  Pages: 411-412
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] Analysis and Evaluation of the Strategies for Board Game BAO2003
- Author(s)
  Yasuhiro INAHATA, Kazuko TAKAHASHI
- Journal Title
  
  IEICE/IPSJ Forum on Information Technology (FIT) 2003 September
  
  Pages: 271-273
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Journal Article] An Extension of Dynamic Routing Systems Using Mobile Agents2003
- Author(s)
  Kensuke KAWARAZAKI, Kazuko TAKAHASHI
- Journal Title
  
  Proceedings of the 64th IPSJ Annual Convention March
  
  Pages: 311-312
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580434
[Patent] 法的推論提示方法、法的推論提示プログラム及び法的推論提示システム2019
- Inventor(s)
  佐藤健, 高橋和子
- Industrial Property Rights Holder
  佐藤健, 高橋和子
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2019-155281
- Filing Date
  2019
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] 地層の傾きに関する3次元上での定性的な推論について2023
- Author(s)
  谷内勇太，高橋和子
- Organizer
  第22回情報科学技術フォーラム
- Data Source
  KAKENHI-PROJECT-21K12020
[Presentation] 定性的形状に基づく2次元平面上の曲線分の表現およびその連結に関する推論2023
- Author(s)
  高橋和子，谷内勇太，森田凌平，黒岩杏衣
- Organizer
  第128回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-21K12020
[Presentation] 地層データの定性表現とその上での推論方法について2022
- Author(s)
  谷内勇太，高橋和子
- Organizer
  第21回情報科学技術フォーラム
- Data Source
  KAKENHI-PROJECT-21K12020
[Presentation] 地層データの定性空間表現について2022
- Author(s)
  高橋和子, 守安諒祐
- Organizer
  情報処理学会第84回全国大会
- Data Source
  KAKENHI-PROJECT-21K12020
[Presentation] 法律適用の議論のための推論システム2021
- Author(s)
  (39)高橋和子，福原慶，江守広行
- Organizer
  情報処理学会第83回全国大会
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] 裁判過程における人工知能による高次推論支援2021
- Author(s)
  (31)佐藤健, 狩野芳伸, 本村陽一, 高岡　昂太, 高橋和子, 太田勝造, 新田克己
- Organizer
  人工知能学会全国大会
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Finding a Route without an Intersection2021
- Author(s)
  東末桃，高橋和子
- Organizer
  電子情報通信学会コンピュテーション研究会
- Data Source
  KAKENHI-PROJECT-18K11453
[Presentation] Set-support をもつ重み付き双極議論フレームワーク上の評価値計算2021
- Author(s)
  西鼻洸佑，高橋和子
- Organizer
  人工知能学会研究会, SIG-FPAI-117
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] 重み付き双極議論フレームワークにおける論証の信頼性について2021
- Author(s)
  西鼻洸佑，高橋和子
- Organizer
  情報処理学会第83回全国大会
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] Hybrid Reasoning Using Weighted Bipolar Argumentation Framework for Legal Simulation2021
- Author(s)
  Nishihana, K., Nomura, S., and Takahashi, K.
- Organizer
  23th International Workshop on Juris-informatics (JURISIN2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06103
[Presentation] 接点を持つ閉曲線の記号表現の提案とその性質について2020
- Author(s)
  東末桃，高橋和子
- Organizer
  人工知能学会第111回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-18K11453
[Presentation] Process-Grammarに基づく形状変化の記述方式の提案2019
- Author(s)
  東末桃，高橋和子
- Organizer
  人工知能学会第33回全国大会
- Data Source
  KAKENHI-PROJECT-18K11453
[Presentation] Qualitative Shape Representation and Reasoning Based on Concavity and Tangent Point2018
- Author(s)
  Momo Tosue, Sosuke Moriguchi, KazukoTakahashi
- Organizer
  QR'18 - 31st International Workshop on Qualitative Reasoning (QR2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11453
[Presentation] Operations for Shape Transformations Based on Angles2018
- Author(s)
  Momo Tosue, Sosuke Moriguchi, KazukoTakahashi
- Organizer
  The 11th International Conference on Agents and Artificial Intelligence (ICAART2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11453
[Presentation] 議論構造の変化の形式的表現--秘密を持つエージェントとの対話--2015
- Author(s)
  横浜静夏，高橋和子
- Organizer
  人工知能学会第29回全国大会
- Place of Presentation
  はこだて未来大学(函館，北海道)
- Year and Date
  2015-05-30
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Generalization of Superposition of Rectangles Based on Direction Relations2015
- Author(s)
  Fadoua Ghourabi and Kazuko Takahashi
- Organizer
  The 28th International Workshop on Qualitative Reasoning (QR2015)
- Place of Presentation
  Mineapolis, MN, U.S.A.
- Year and Date
  2015-08-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] 定性空間表現の Coq による形式化およびその平面性の証明2015
- Author(s)
  後藤瑞貴，森口草介，高橋和子
- Organizer
  情報処理学会第103回PRO研究会
- Place of Presentation
  産業技術総合研究所臨海都心センター（東京）
- Year and Date
  2015-03-10
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL2015
- Author(s)
  Fadoua Ghourabi and Kazuko Takahashi
- Organizer
  Seventh International Conference on Agents and Artificial Intelligence (ICAART15)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2015-01-10
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] What should an agent know not to fail in persuasion?2015
- Author(s)
  Shizuka Yokohama and KazukoTakahashi
- Organizer
  13th European Conference on Multi-Agent Systems (EUMAS-AT2015)
- Place of Presentation
  Athens, Greek
- Year and Date
  2015-12-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] レコードの拡張を許す対話的修正機構2015
- Author(s)
  森口草介, 高橋和子
- Organizer
  第17回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  道後プリンスホテル（松山・愛媛）
- Year and Date
  2015-03-04
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] A Qualitative Representation of a Figure and Construction of Its Planar Class2015
- Author(s)
  Kazuko Takahashi, Mizuki Goto and Hiroyoshi Miwa
- Organizer
  Seventh International Conference on Agents and Artificial Intelligence (ICAART15)
- Place of Presentation
  Lisbon, Portugal
- Year and Date
  2015-01-11
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Coqを使ったツリー型ネットワークトポロジー上でのCCNのモデル化と検証について2015
- Author(s)
  森嶋崇，後藤瑞貴，森口草介，高橋和子
- Organizer
  情報処理学会第103回PRO研究会
- Place of Presentation
  産業技術総合研究所臨海都心センター（東京）
- Year and Date
  2015-03-10
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] 証明支援系Coqを使ったCCNのモデル化と検証について2014
- Author(s)
  森嶋崇，後藤瑞貴，高橋和子
- Organizer
  情報通信学会ディペンダブルコンピューティング研究会
- Place of Presentation
  国立情報学研究所（東京）
- Year and Date
  2014-04-25
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] 対話的修正と対象プログラムの合成手法2014
- Author(s)
  森口草介，高橋和子
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  名古屋大学（名古屋・愛知）
- Year and Date
  2014-09-10
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Automated Construction and Proving of Knot Fold by EOS System2014
- Author(s)
  Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi
- Organizer
  The 6th International Conference on Origami in Science, Mathematics and Education and Folding Convention (6OSME)
- Place of Presentation
  東京大学（東京）
- Year and Date
  2014-08-13
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Reasoning about RelativeRelationships in 3D Space for Objects Extracted from Dynamic Image Data2012
- Author(s)
  Takahashi,K.
- Organizer
  ECAI-2012 Workshop on Spatio-Temporal Dynamics (STeDy 2012).
- Place of Presentation
  Montpellier, France.
- Year and Date
  2012-08-28
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012
- Author(s)
  小西貴子,高橋和子
- Organizer
  電子情報通信学会技術研究報告:知能ソフトウェア工学研究会,KBSE2011-69
- Place of Presentation
  名古屋
- Year and Date
  2012-03-15
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] 矩形同士の重ね合わせについての定性空間推論システムの拡張2011
- Author(s)
  小西貴子,高橋和子
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] Symbolic Representation and Reasoning for Rectangles with Superposition2011
- Author(s)
  Konishi,T. and K.Takahashi.
- Organizer
  The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), pp.71-76
- Place of Presentation
  St.Maarten, The Neitherlands Antilles (Best Paper Award).
- Year and Date
  2011-06-25
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] 矩形同士の重ね合わせについての定性空間推論2010
- Author(s)
  小西貴子,高橋和子
- Organizer
  人工知能学会研究会資料SIG-FPAI-B002
- Place of Presentation
  北海道
- Year and Date
  2010-09-24
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] Rectangle Reasoning: A QualitativeSpatial Reasoning with Superposition2010
- Author(s)
  Kumokawa,S. and K.Takahashi.
- Organizer
  23rd Florida Artificial IntelligenceResearch Society Conference (FLAIRS-23),pp.150-151
- Place of Presentation
  Florida, U.S.A..
- Year and Date
  2010-05-19
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] Formalization of Data Conversion for Inductive Proof2009
- Author(s)
  Kazuko TAKAHASHI
- Organizer
  Tunisia-Japan Workshop on Symbolic Computation in Software Science(SCSS2009)
- Place of Presentation
  Gammarth, Tunisia
- Year and Date
  2009-09-22
- Data Source
  KAKENHI-PROJECT-19500134
[Presentation] Rectangle reasoning: A Qualitative Spatial Reasoning with Superposition2009
- Author(s)
  Kazuko TAKAHASHI
- Organizer
  23rd International Florida on Artificial Intelligence Society Conference (FLAIRS2010)
- Place of Presentation
  Daytona Beach, U.S.A.
- Year and Date
  2009-05-19
- Data Source
  KAKENHI-PROJECT-19500134
[Presentation] Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation2007
- Author(s)
  Kazuko TAKAHASHI
- Organizer
  Conference on Spatial Information Theory (COSIT'07)
- Place of Presentation
  Melbourne, Australia
- Year and Date
  2007-09-22
- Data Source
  KAKENHI-PROJECT-19500134
[Presentation] An Argumentation System with Indirect Attacks
- Author(s)
  Kazuko Takahashi
- Organizer
  Fifth International Conference on Agents and Artificial Intelligence
- Place of Presentation
  Barcelona, Spain
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] 定性空間表現PLCAのモデル化と妥当性の証明について
- Author(s)
  後藤瑞貴，高橋和子
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application
- Author(s)
  Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto
- Organizer
  Fifth International Symposium on Symbolic Computation in Software Science (SCSS2013)
- Place of Presentation
  Linz, Austria
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] 相対的な位置の高さを扱う定性空間表現と推論
- Author(s)
  榎本真也，高橋和子
- Organizer
  人工知能学会人工知能基本問題研究会
- Place of Presentation
  宮古島マリンターミナル
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] A Qualitative Framework for Deriving a Terrain Feature
- Author(s)
  Shinya Enomoto and Kazuko Takahashi
- Organizer
  27th International Workshop on Qualitative Reasoning (QR2013)
- Place of Presentation
  Bremen, Germany
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Qualitative Spatio-Temporal Representation for Event Extraction from Video Data of Football Games
- Author(s)
  Masaki Sakaida, Takanori Kiyose and Kazuko Takahashi:
- Organizer
  IASTED Artificial Intelligence and Applications 2013 (AIA2013)
- Place of Presentation
  Innsbruck, Austria
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Reasoning about Relative Relationships in 3D Space for Objects Extracted from Dynamic Image Data
- Author(s)
  Kazuko Takahashi
- Organizer
  ECAI-2012 Workshop on Spatio-Temporal Dynamics
- Place of Presentation
  Monpellier, France
- Data Source
  KAKENHI-PROJECT-22500141
[Presentation] Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant
- Author(s)
  Fadoua Ghourabi and Kazuko Takahashi
- Organizer
  日本ソフトウェア科学会第30回大会
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] 定性時空間表現を使ったサッカーの試合動画からのイベントの導出
- Author(s)
  阪井田政樹，清瀬崇則，高橋和子
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Place of Presentation
  沖縄県青年会館
- Data Source
  KAKENHI-PROJECT-25330274
[Presentation] Certified Merger for C Programs Using a Theorem Prover:A First Step
- Author(s)
  Kazuko Takahashi, Yuki Goto
- Organizer
  28th International Conference on Computers and Their Applications
- Place of Presentation
  Honolulu, Hawaii
- Data Source
  KAKENHI-PROJECT-22500141

1. MIWA Hiroyoshi (40351738)

# of Collaborated Projects: 7 results

# of Collaborated Products: 3 results
2. 増田佳代 (40280416)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. 壷井基裕 (60411774)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. ISHIURA Nagisa (60193265)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. Takai Toshinori (10425738)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. FURUSAWA Hitoshi (00357930)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. Ken Satoh (00271635)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. 松野裕 (70534220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 木藤浩之 (90705287)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 関由行 (20435655)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 狩野芳伸 (20506729)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
12. 本村陽一 (30358171)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
13. 太田勝造 (40152136)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
14. 西貝小名都 (20580400)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 井田哲雄

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

TAKAHASHI Kazuko 高橋 和子

Research Projects

Research Products

Co-Researchers

Construction of the qualitative spatial reasoning system considering the continuity of curvesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Qualitative Spatial Reasoning Based on the Shape Change of Regions and Their AdjacencyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A study on qualitative spatial representation and reasoning system focused on the change of shapesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Advanced Reasoning Support for Judicial Judgment by Artificial Intelligence

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Defining software integrity levels using argumentation theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on symbolic expression of spatial dataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on the construction of a system for a qualitative spatial reasoning and its applicationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on representation and reasoning about temporal spatial data using the framework of qualitative reasoningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Qualitative Representation and Its Reasoning for Spatial DataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on retargetable code generation for custom VLIW DSPs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Temporal Spatial Logic on the Verification of Behaviors of Multi-Agents Considering SecurityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Origami 62015

Author(s)

Publisher

Data Source

[Book] 7th International Conference, ICAART 2015, Selected Papers2015

Author(s)

Publisher

Data Source

[Book] PLCA: A Framework for Qualitative SpatialReasoning Based on Connection Patterns of Regions Qualitative Spatio-Temporal Representation and Reasoning Trends andFuture Directions Chapt 22012

Author(s)

TAKAHASHI Kazuko 高橋和子