• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TAKAHASHI Kazuko  高橋 和子

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

    (9 results)
  • Research Products

    (97 results)
  • Co-Researchers

    (14 People)
  •  A study on qualitative spatial representation and reasoning system focused on the change of shapesPrincipal InvestigatorOngoing

    • Principal Investigator
      高橋 和子
    • Project Period (FY)
      2018 – 2020
    • 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 IntelligenceOngoing

    • Principal Investigator
      佐藤 健
    • 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

All 2020 2019 2018 2016 2015 2014 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 Other

All Journal Article Presentation Book

  • [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] Origami 62015

    • Author(s)
      Fadoua Ghourabi, Tetsuo Ida and KazukoTakahashi
    • Publisher
      American Mathematical Society
    • Data Source
      KAKENHI-PROJECT-25330274
  • [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
  • [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
  • [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] 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

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18K11453
  • [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] 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] Formalizing Polygonal Knot Origami2015

    • 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] 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] 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] 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] 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 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] 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] 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] 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 of Artificial Intelligent Tools (To appear)

    • 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] 定性空間表現の二次元平面への埋め込みについて2006

    • Author(s)
      高橋和子
    • Journal Title

      信学技報 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 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] ボードゲーム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 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] 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)
      Kazuko TAKAHASHI
    • Journal Title

      IJCAI-05 Workshop on Spatial and Temporal Reasoning

      Pages: 57-62

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-17500101
  • [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] 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] 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] ボードゲームBAOの動作の解析とモデルチェッカによる検証2004

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      第9回ゲームプログラミングワークショップ2004講演論文集

      Pages: 151-158

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14580434
  • [Journal Article] 性質の伝播に関する定性空間推論2004

    • Author(s)
      高橋和子
    • Journal Title

      日本ソフトウェア科学会論文誌 21,4

      Pages: 37-42

    • NAID

      130004638794

    • 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] 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] 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] ボードゲームBAOのCCSによる記述と解析2004

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      情報処理学会第48回プログラミング研究会発表資料

    • NAID

      110002768486

    • 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] 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] 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] 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] 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] 性質の伝播に関する定性空間推論2004

    • Author(s)
      高橋和子
    • Journal Title

      コンピュータソフトウェア 21,4

      Pages: 37-42

    • NAID

      130004638794

    • 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] 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] ボードゲームBAOの対戦戦略の解析と評価2003

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      情報科学技術フォーラム(FIT)2003論文集

      Pages: 271-273

    • 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] 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
  • [Journal Article] モバイルエージェントを用いた動的ネットワークルーティングシステムの拡張および効率化2003

    • Author(s)
      河原崎兼介, 高橋和子
    • Journal Title

      情報処理学会第64回大会講演論文集

      Pages: 311-312

    • NAID

      170000168481

    • 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] 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] 強相互作用を持つマルチエージェントによる効率的な問題解決方法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)
      高橋和子
    • 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

      電子情報通信学会論文誌 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

      130004638794

    • 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] 性質の伝播に関する定性空間推論2003

    • Author(s)
      高橋和子
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集 (CD-R)

    • NAID

      130004638794

    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-14580434
  • [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] 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] 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] 議論構造の変化の形式的表現--秘密を持つエージェントとの対話--2015

    • Author(s)
      横浜静夏,高橋和子
    • Organizer
      人工知能学会第29回全国大会
    • Place of Presentation
      はこだて未来大学(函館,北海道)
    • Year and Date
      2015-05-30
    • 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] 定性空間表現の Coq による形式化およびその平面性の証明2015

    • Author(s)
      後藤瑞貴,森口草介,高橋和子
    • Organizer
      情報処理学会第103回PRO研究会
    • Place of Presentation
      産業技術総合研究所臨海都心センター(東京)
    • Year and Date
      2015-03-10
    • 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] 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] 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を使ったツリー型ネットワークトポロジー上でのCCNのモデル化と検証について2015

    • Author(s)
      森嶋崇,後藤瑞貴,森口草介,高橋和子
    • Organizer
      情報処理学会第103回PRO研究会
    • Place of Presentation
      産業技術総合研究所臨海都心センター(東京)
    • Year and Date
      2015-03-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] 証明支援系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] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012

    • Author(s)
      小西貴子,高橋和子
    • Organizer
      電子情報通信学会技術研究報告:知能ソフトウェア工学研究会,KBSE2011-69
    • Place of Presentation
      名古屋
    • Year and Date
      2012-03-15
    • Data Source
      KAKENHI-PROJECT-22500141
  • [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] 矩形同士の重ね合わせについての定性空間推論システムの拡張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] 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] 矩形同士の重ね合わせについての定性空間推論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 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] 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] 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] 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] 定性時空間表現を使ったサッカーの試合動画からのイベントの導出

    • Author(s)
      阪井田政樹,清瀬崇則,高橋和子
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      沖縄県青年会館
    • 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] 相対的な位置の高さを扱う定性空間表現と推論

    • 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] 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] 定性空間表現PLCAのモデル化と妥当性の証明について

    • Author(s)
      後藤瑞貴,高橋和子
    • Organizer
      日本ソフトウェア科学会第30回大会
    • 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
  • [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] 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
  • 1.  MIWA Hiroyoshi (40351738)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 2 results
  • 2.  ISHIURA Nagisa (60193265)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  Takai Toshinori (10425738)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  FURUSAWA Hitoshi (00357930)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  松野 裕 (70534220)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  木藤 浩之 (90705287)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  佐藤 健 (00271635)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  本村 陽一 (30358171)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  狩野 芳伸 (20506729)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  太田 勝造 (40152136)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  西貝 小名都 (20580400)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  関 由行 (20435655)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  増田 佳代 (40280416)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  井田 哲雄
    # of Collaborated Projects: 0 results
    # of Collaborated Products: 1 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi