• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高橋 和子  TAKAHASHI Kazuko

ORCIDORCID連携する *注記
研究者番号 30330400
その他のID
外部サイト
所属 (現在) 2025年度: 関西学院大学, 工学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2021年度 – 2024年度: 関西学院大学, 工学部, 教授
2006年度 – 2020年度: 関西学院大学, 理工学部, 教授
2002年度 – 2006年度: 関西学院大学, 理工学部, 助教授
審査区分/研究分野
研究代表者
小区分61030:知能情報学関連 / 知能情報学 / 知能情報学 / 知能情報学
研究代表者以外
知能情報学 / ソフトウェア / 計算機システム・ネットワーク
キーワード
研究代表者
時空間推論 / 定性空間推論 / ソフトウェア学 / 定性推論 / 人工知能 / トポロジー / 論理推論 / 構造地質学 / RCC / トポロジ … もっと見る / 状態遷移系 / 発生生物学 / software science / qualitative reasoning / artificial intelligence / spatial temporal reasoning / process / verification system / knowledge representation / temporal spatial reasoning / security / multiagents / プロセス / 検証系 / 知識表現 / セキュリティ / マルチエージェント / ソフトウェア工学 / 計算モデル … もっと見る
研究代表者以外
議論フレームワーク / ASIP Meister / DSP / 議論枠組み / 裁判支援 / juris-informatics / 裁判過程 / 論理プログラミング / 要件事実論 / 判決推論 / 事実認定 / あてはめ / 人工知能の社会進出への影響 / 自然言語処理 / ベイジアンネットワーク / 法的推論 / 推論アルゴリズム / 論理 / 消費者向けシステム / リスク共有 / ソフトウェア受け入れテスト / インテグリティレベル / 双極対話議論 / 数理議論学 / アシュアランス / 抽象対話議論 / ゴール構造化表記法 / 議論 / 論証 / アシュアランスケース / Embedded System / Custom Processor / VLIW Architecture / Retargetable Compiler / 組込みプロセッサ / カスタムプロセッサ / VLIWアーキテクチャ / リターゲッタブルコンパイラ 隠す
  • 研究課題

    (11件)
  • 研究成果

    (119件)
  • 共同研究者

    (15人)
  •  曲線の連続性を考慮した定性空間推論体系の構築研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2024 – 2026
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分61030:知能情報学関連
    • 研究機関
      関西学院大学
  •  領域の形状変化と隣接関係に着目した定性空間推論研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2021 – 2023
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分61030:知能情報学関連
    • 研究機関
      関西学院大学
  •  形状の変化を対象とする定性空間表現および推論システムの研究研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2018 – 2022
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分61030:知能情報学関連
    • 研究機関
      関西学院大学
  •  裁判過程における人工知能による高次推論支援

    • 研究代表者
      佐藤 健
    • 研究期間 (年度)
      2017 – 2021
    • 研究種目
      基盤研究(S)
    • 研究分野
      知能情報学
    • 研究機関
      国立情報学研究所
  •  議論学を応用したソフトウェアインテグリティレベルの提案

    • 研究代表者
      高井 利憲
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      奈良先端科学技術大学院大学
  •  空間データの記号表現に関する研究研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      関西学院大学
  •  定性時空間推論の体系の構築とその応用に関する研究研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2010 – 2012
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      関西学院大学
  •  定性推論の枠組みによる時空間データの表現および推論に関する研究研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      関西学院大学
  •  空間データの定性的表現およびその推論に関する研究研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2005 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      関西学院大学
  •  VLIW型カスタムDSP用リターゲッタブルコンパイラのコード生成に関する研究

    • 研究代表者
      石浦 菜岐佐
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      関西学院大学
  •  セキュリティを考慮したマルチエージェントの振る舞いの検証に関する時空間論理の研究研究代表者

    • 研究代表者
      高橋 和子
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(C)
    • 研究分野
      知能情報学
    • 研究機関
      関西学院大学

すべて 2024 2023 2022 2021 2020 2019 2018 2016 2015 2014 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表 図書 産業財産権

  • [図書] Origami 62015

    • 著者名/発表者名
      Fadoua Ghourabi, Tetsuo Ida and KazukoTakahashi
    • 出版者
      American Mathematical Society
    • データソース
      KAKENHI-PROJECT-25330274
  • [図書] 7th International Conference, ICAART 2015, Selected Papers2015

    • 著者名/発表者名
      Kazuko Takahashi, Mizuki Goto and Hiroyoshi Miwa
    • 出版者
      Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data
    • データソース
      KAKENHI-PROJECT-25330274
  • [図書] PLCA: A Framework for Qualitative SpatialReasoning Based on Connection Patterns of Regions Qualitative Spatio-Temporal Representation and Reasoning Trends andFuture Directions Chapt 22012

    • 著者名/発表者名
      Hazarika,S.(ed.), K.Takahashi
    • 出版者
      IGIPublishers
    • データソース
      KAKENHI-PROJECT-22500141
  • [図書] Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions2012

    • 著者名/発表者名
      Shyamanta Hazarika(ed), Kazauko Takahashi
    • 出版者
      IGI Publishers
    • データソース
      KAKENHI-PROJECT-22500141
  • [雑誌論文] Spatial Representation and Reasoning about Fold Strata: A Qualitative Approach2024

    • 著者名/発表者名
      Yuta Taniuchi and Kazuko Takahashi
    • 雑誌名

      15th International Conference, ICAART 2023, Revised Selected Papers

      巻: 14546 ページ: 244-266

    • DOI

      10.1007/978-3-031-55326-4_12

    • ISBN
      9783031553257, 9783031553264
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K12020
  • [雑誌論文] Qualitative Spatial Representation and Reasoning about Fold Strata2023

    • 著者名/発表者名
      Yuta Taniuchi and Kazuko Takahashi
    • 雑誌名

      Proceedings of 5th International Conference on Agents and Artificial Intelligence

      巻: 2 ページ: 211-220

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21K12020
  • [雑誌論文] Qualitative Spatial Representation and Reasoning about Fold Strata2023

    • 著者名/発表者名
      Yuta Taniuchi and Kazuko Takahashi
    • 雑誌名

      Proceedings of the 15th International Conference on Agents and Artificial Intelligence

      巻: 2 ページ: 211-220

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11453
  • [雑誌論文] Topological Conditions and Solutions for Repairing Argumentation Frameworks2023

    • 著者名/発表者名
      Kazuko Takahashi and Hiroyoshi Miwa
    • 雑誌名

      5th International Conference on Logic and Argumentation

      巻: 14157 ページ: 101-118

    • DOI

      10.1007/978-3-031-40875-5_7

    • ISBN
      9783031408748, 9783031408755
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21K12020
  • [雑誌論文] How Can You Resolve a Trilemma? - A Topological Approach -2021

    • 著者名/発表者名
      Takahashi Kazuko、Okubo Tamon
    • 雑誌名

      Proc. of 4th International Conference on Logic and Argumentation (CLAR2021)

      巻: LNCS13040 ページ: 397-416

    • DOI

      10.1007/978-3-030-89391-0_22

    • ISBN
      9783030893903, 9783030893910
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] 重み付き双極議論フレームワークにおける論証の信頼性について2021

    • 著者名/発表者名
      西鼻 洸佑、江守 広行、高橋 和子
    • 雑誌名

      情報処理学会第83回全国大会講演論文集

      巻: 2021 ページ: 475-476

    • NAID

      170000187019

    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Interactive system for arranging issues based on PROLEG in civil litigation2021

    • 著者名/発表者名
      Satoh Ken、Takahashi Kazuko、Kawasaki Tatsuki
    • 雑誌名

      ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law

      巻: 2021 ページ: 273-274

    • DOI

      10.1145/3462757.3466096

    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K20406, KAKENHI-PROJECT-17H06103
  • [雑誌論文] 法律適用の議論のための推論システム2021

    • 著者名/発表者名
      高橋和子、福原慶、江守広行
    • 雑誌名

      情報処理学会第83回全国大会講演論文集

      巻: 2021 ページ: 53-54

    • NAID

      170000187223

    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] 議論フレームワークを利用したオンライン議論のユーザインタフェース2020

    • 著者名/発表者名
      仁科 慧、新田 克己、高橋 和子
    • 雑誌名

      人工知能学会全国大会論文集

      巻: JSAI2020 号: 0 ページ: 3O1GS1302-3O1GS1302

    • DOI

      10.11517/pjsai.JSAI2020.0_3O1GS1302

    • NAID

      130007857156

    • 言語
      日本語
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Towards a Qualitative Reasoning on Shape Change and Object Division2019

    • 著者名/発表者名
      Momo Tosue and Kazuko Takahashi
    • 雑誌名

      14th International Conference on Spatial Information Theory (COSIT 2019)

      巻: 1

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-18K11453
  • [雑誌論文] Hybrid Reasoning on a Bipolar Argumentation Framework2019

    • 著者名/発表者名
      Kawasaki Tatsuki、Moriguchi Sosuke、Takahashi Kazuko
    • 雑誌名

      Prof. of The 13th international conference on Scalable Uncertainty Management (SUM 2019)

      巻: LNCS 11940 ページ: 79-92

    • DOI

      10.1007/978-3-030-35514-2_7

    • ISBN
      9783030355135, 9783030355142
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Reasoning by a Bipolar Argumentation Framework for PROLEG2019

    • 著者名/発表者名
      Kawasaki Tatsuki、Moriguchi Sosuke、Takahashi Kazuko
    • 雑誌名

      New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers

      巻: LNCS 11717 ページ: 115-130

    • DOI

      10.1007/978-3-030-31605-1_10

    • ISBN
      9783030316044, 9783030316051
    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Transformation from PROLEG to a Bipolar Argumentation Framework2018

    • 著者名/発表者名
      Kawasaki,T., S.Moriguchi and K.Takahashi
    • 雑誌名

      Proc. of the 2nd international workshop on systems and algorithms for formal argumentation

      巻: 2 ページ: 36-47

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Evaluation of Dishonest Argumentation Based on an Opponent Model: A Preliminary Report2018

    • 著者名/発表者名
      K., Kokusho, Takahashi, K.,
    • 雑誌名

      Proc. of 10th International Conference on Agents and Artificial Intelligence (Volume 1)

      巻: 10 ページ: 268-275

    • DOI

      10.5220/0006648402680275

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] What does the qualitative spatial knowledge tell about the origami geometric folds?2018

    • 著者名/発表者名
      Ghhourabi Fadoua, Kazuko Takahashi
    • 雑誌名

      Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Proceedings

      巻: 1 ページ: 139-154

    • DOI

      10.1007/978-3-319-99957-9_9

    • ISBN
      9783319999562, 9783319999579
    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11453
  • [雑誌論文] Expressing the Characteristics of an Argumentation Framework2018

    • 著者名/発表者名
      Moriguchi,S. and K.Takahashi
    • 雑誌名

      Proc. of the 2nd international workshop on systems and algorithms for formal argumentation

      巻: 2 ページ: 60-71

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17H06103
  • [雑誌論文] Towards Verified Construction for Planar Class of a Qualitative Spatial Representation2016

    • 著者名/発表者名
      Sosuke Moriguchi, Mizuki Goto and Kazuko Takahashi
    • 雑誌名

      EPiC Series in Computing

      巻: 39 ページ: 117-129

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-25330274
  • [雑誌論文] Formalization of the Behavior of Content-Centric Networking2015

    • 著者名/発表者名
      Sosuke Moriguchi, Takashi Morishima, Mizuki Goto and Kazuko Takahashi
    • 雑誌名

      Procedia Computer Science

      巻: 56 ページ: 197-204

    • DOI

      10.1016/j.procs.2015.07.197

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-25330274
  • [雑誌論文] Formalizing Polygonal Knot Origami2014

    • 著者名/発表者名
      Tetsuo Ida and Fadoua Ghourabi and Kazuko Takahashi
    • 雑誌名

      Journal of Symbolic Computation

      巻: 69 ページ: 93-108

    • DOI

      10.1016/j.jsc.2014.09.031

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-25330007, KAKENHI-PROJECT-25330274
  • [雑誌論文] Superposition of Rectangles with Visibility Requirement: A Qualitative Approach2012

    • 著者名/発表者名
      Kazuko Takahashi, Takako Konishi
    • 雑誌名

      International Journal On Advances in Software

      巻: 4 ページ: 422-433

    • データソース
      KAKENHI-PROJECT-22500141
  • [雑誌論文] Superposition of Rectangles withVisibility Requirement: A Qualitative Approach2012

    • 著者名/発表者名
      Konishi,T. and K.Takahashi.
    • 雑誌名

      International Journal On Advances in Software

      巻: Vol.4, No.3&4 ページ: 422-433

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22500141
  • [雑誌論文] Probabilistic Symmetry Reduction for a System with Ring Buffer2011

    • 著者名/発表者名
      Kazuko TAKAHASHI, Toshifumi SEKIZAWA
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E94-D ページ: 967-975

    • NAID

      10029506938

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22500141
  • [雑誌論文] On Embedding a Qualitative Representation in a Two-Dimensional Plane2008

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      Spatial Cognition and Computation 8

      ページ: 4-26

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500134
  • [雑誌論文] On Embedding a Qualitative Representation in a Two-Dimensional Plane2008

    • 著者名/発表者名
      Kazuko TAKAHASHI, Shou KUMOKAWA
    • 雑誌名

      Spatial Cognition and Computation Vol.8

      ページ: 4-26

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500134
  • [雑誌論文] The Qualitative Treatment of Spatial Data2007

    • 著者名/発表者名
      Kazuko TAKAHASHI, Takao SUMITOMO, Izumi TAKEUTI
    • 雑誌名

      International Journal on Artificial Intelligence Tools Vol.16

      ページ: 661-682

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500134
  • [雑誌論文] The Qualitative Treatment of Spatial Data2007

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      International Journal of Artificial Intelligent Tools (To appear)

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] On Embedding a Qualitative Representation in a Two-Dimensional Plane,2007

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      IJCAI-07 Workshop on Spatial and Temporal Reasoning

      ページ: 101-109

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] The Qualitative Treatment of Spatial Data,2007

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      International Journal of Artificial Intelligent Tools (to appear)

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] On Embedding a Qualitative Representation in a Two-Dimensional Plane2007

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      IJCAI-07 Workshop on Spatial and Temporal Reasoning

      ページ: 101-109

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] The Qualitative Treatment of Spatial Data2007

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      International Journal on Artificial Intelligence Tools 16

      ページ: 661-682

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500134
  • [雑誌論文] On Embedding a Qualitative Representation in a Two-Dimensional Plane2007

    • 著者名/発表者名
      Kazuko Takahashi
    • 雑誌名

      IJCAI-07 Workshop on Spatial and Temporal Reasoning

      ページ: 101-109

    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] 定性空間表現の二次元平面への埋め込みについて2006

    • 著者名/発表者名
      高橋和子
    • 雑誌名

      信学技報 COMP2006-11

      ページ: 9-15

    • NAID

      10018162809

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] Embedding of a Qualitative Representation Language on a Two-Dimensional Plane,2006

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      The IEICE Technical Report COMP2006-11

      ページ: 9-15

    • NAID

      10018162809

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions,2005

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      IJCAI-05 Workshop on Spatial and Temporal Reasoning

      ページ: 57-62

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] 定性空間推論の新しい枠組DLCSとその上での操作2005

    • 著者名/発表者名
      住友孝郎, 高橋和子
    • 雑誌名

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

    • NAID

      110002769817

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] ボードゲームBAOにおける周期的動作の解析2005

    • 著者名/発表者名
      稲畑康博, 高橋和子
    • 雑誌名

      情報処理学会研究報告2005-MPS-53

      ページ: 29-32

    • NAID

      110002950932

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] An Analysis of Cyclic Behavior of Board Game BAO2005

    • 著者名/発表者名
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • 雑誌名

      IPSJ SIG Notes 2005-MPS-53 March

      ページ: 29-32

    • NAID

      110002950932

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions2005

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      IJCAI-05 Workshop on Spatial and Temporal Reasoning

      ページ: 57-62

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] A Novel Framework DLCS for Qualitative Spatial Reasoning and Its Operations2005

    • 著者名/発表者名
      Takao SUMITOMO, Kazuko TAKAHASHI
    • 雑誌名

      IPSJ SIG Technical Report PRO-52 January

    • NAID

      110002769817

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions2005

    • 著者名/発表者名
      K.Takahashi
    • 雑誌名

      IJCAI-05 Workshop on Spatial and Temporal Reasoning

      ページ: 57-62

    • データソース
      KAKENHI-PROJECT-17500101
  • [雑誌論文] Reasoning on Spatial Constraints over Regions2004

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      Computer Software Vol.21,No.4

      ページ: 37-42

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] 性質の伝播に関する定性空間推論2004

    • 著者名/発表者名
      高橋和子
    • 雑誌名

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

      ページ: 37-42

    • NAID

      130004549020

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Reasoning on Spatial Constraints over Regions2004

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      Proceedings of the Seventeenth International Florida Arificial Intelligence Research Society Conference May

      ページ: 801-806

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Representation and Analysis of Board Game BAO Using CCS2004

    • 著者名/発表者名
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • 雑誌名

      IPSJ SIG Technical Report, PRO-48 March

    • NAID

      110002768486

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study2004

    • 著者名/発表者名
      高橋和子, 川島千明
    • 雑誌名

      K.G.Studies in Computer Science, Kwansei Gakuin University 18

      ページ: 3-11

    • NAID

      110002963112

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Reasoning on Spatial Constraints over Regions2004

    • 著者名/発表者名
      高橋和子
    • 雑誌名

      Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference

      ページ: 801-806

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] DLCS:空間の定性的な表現方法2004

    • 著者名/発表者名
      住友孝郎, 高橋和子
    • 雑誌名

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

    • NAID

      130005006614

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004

    • 著者名/発表者名
      高橋和子, 川島千明
    • 雑誌名

      IASTED Artificial Intelligence and Applications 2004

      ページ: 166-171

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] ボードゲームBAOの動作の解析とモデルチェッカによる検証2004

    • 著者名/発表者名
      稲畑康博, 高橋和子
    • 雑誌名

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

      ページ: 151-158

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] ボードゲームBAOのCCSによる記述と解析2004

    • 著者名/発表者名
      稲畑康博, 高橋和子
    • 雑誌名

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

    • NAID

      110002768486

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] 性質の伝播に関する定性空間推論2004

    • 著者名/発表者名
      高橋和子
    • 雑誌名

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

      ページ: 37-42

    • NAID

      130004549020

    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004

    • 著者名/発表者名
      K.Takahashi
    • 雑誌名

      IASTED Artificial Intelligence and Applications 2004

      ページ: 166-171

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15500055
  • [雑誌論文] Analysis of Cyclic Behavior of Board Game BAO and Its Verification Using Model Checker2004

    • 著者名/発表者名
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • 雑誌名

      The 9th Game Programming Workshop November

      ページ: 151-158

    • NAID

      170000080233

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] DLCS : Qualitative Representation for Spatial Data2004

    • 著者名/発表者名
      Takao SUMITOMO, Kazuko TAKAHASHI
    • 雑誌名

      Proceedings of the 21st Annual Meeting of Japan Society for Software Science and Technology September(CD-R)

    • NAID

      130005006614

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004

    • 著者名/発表者名
      Kazuko TAKAHASHI, Chiaki KAWASHIMA
    • 雑誌名

      IASTED Artificial Intelligence and Applications 2004 February

      ページ: 166-171

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study2004

    • 著者名/発表者名
      Kazuko TAKAHASHI, Chiaki KAWASHIMA
    • 雑誌名

      K.G.Studies in Computer Science, Kwansei Gakuin University No.18 March

      ページ: 3-11

    • NAID

      110002963112

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Scheduling by Multiagent Negotiation Using a Chain of Changes2003

    • 著者名/発表者名
      Tomoya MASUMURA, Kazuko TAKAHASHI
    • 雑誌名

      IEICE/IPSJ Forum on Information Technology (FIT) 2003 September

      ページ: 411-412

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] 強相互作用を持つマルチエージェントによる効率的な問題解決方法2003

    • 著者名/発表者名
      川島千明, 高橋和子
    • 雑誌名

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

      ページ: 301-302

    • NAID

      170000168476

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Reasoning about Propagation of Properties over Regions2003

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      Journal of Universal Computer Science Vol.9,No.9

      ページ: 1030-1045

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] A Problem Solving by Multiagent in the Environment with Dense Interaction2003

    • 著者名/発表者名
      Chiaki KAWASHIMA, Kazuko TAKAHASHI
    • 雑誌名

      Proceedings of the 64th IPSJ Annual Convention March

      ページ: 301-302

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] An Extension of the Dynamic Network Routing System Using Mobile Agents2003

    • 著者名/発表者名
      Kensuke KAWARAZAKI, Kazuko TAKAHASHI
    • 雑誌名

      The IEICE Transactions on Communications Vol.J86-B, No.11

      ページ: 2433-2436

    • NAID

      110003170379

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] 性質の伝播に関する定性空間推論2003

    • 著者名/発表者名
      高橋和子
    • 雑誌名

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

    • NAID

      130004549020

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張および効率化2003

    • 著者名/発表者名
      河原崎兼介, 高橋和子
    • 雑誌名

      電子情報通信学会論文誌 J86-B,11

      ページ: 2433-2436

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Qualitative Spatial Reasoning about Propagation of Properties2003

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 雑誌名

      Proceedings of the 20th Annual Meeting of Japan Society for Software Science and Technology September(CD-R)

    • NAID

      130004549020

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] モバイルエージェントを用いた動的ネットワークルーティングシステムの拡張および効率化2003

    • 著者名/発表者名
      河原崎兼介, 高橋和子
    • 雑誌名

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

      ページ: 311-312

    • NAID

      170000168481

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] ボードゲームBAOの対戦戦略の解析と評価2003

    • 著者名/発表者名
      稲畑康博, 高橋和子
    • 雑誌名

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

      ページ: 271-273

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Reasoning about Propagation of Properties over Regions2003

    • 著者名/発表者名
      高橋和子
    • 雑誌名

      Journal of Universal Computer Science 9,9

      ページ: 1030-1045

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] マルチエージェント間の交渉による修正の連鎖を用いたスケジュール作成2003

    • 著者名/発表者名
      桝村友哉, 高橋和子
    • 雑誌名

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

      ページ: 411-412

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] Analysis and Evaluation of the Strategies for Board Game BAO2003

    • 著者名/発表者名
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • 雑誌名

      IEICE/IPSJ Forum on Information Technology (FIT) 2003 September

      ページ: 271-273

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [雑誌論文] An Extension of Dynamic Routing Systems Using Mobile Agents2003

    • 著者名/発表者名
      Kensuke KAWARAZAKI, Kazuko TAKAHASHI
    • 雑誌名

      Proceedings of the 64th IPSJ Annual Convention March

      ページ: 311-312

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14580434
  • [産業財産権] 法的推論提示方法、法的推論提示プログラム及び法的推論提示システム2019

    • 発明者名
      佐藤健, 高橋和子
    • 権利者名
      佐藤健, 高橋和子
    • 産業財産権種類
      特許
    • 産業財産権番号
      2019-155281
    • 出願年月日
      2019
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] 地層の傾きに関する3次元上での定性的な推論について2023

    • 著者名/発表者名
      谷内勇太,高橋和子
    • 学会等名
      第22回情報科学技術フォーラム
    • データソース
      KAKENHI-PROJECT-21K12020
  • [学会発表] 定性的形状に基づく2次元平面上の曲線分の表現およびその連結に関する推論2023

    • 著者名/発表者名
      高橋和子,谷内勇太,森田凌平,黒岩杏衣
    • 学会等名
      第128回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-21K12020
  • [学会発表] 地層データの定性表現とその上での推論方法について2022

    • 著者名/発表者名
      谷内勇太,高橋和子
    • 学会等名
      第21回情報科学技術フォーラム
    • データソース
      KAKENHI-PROJECT-21K12020
  • [学会発表] 地層データの定性空間表現について2022

    • 著者名/発表者名
      高橋和子, 守安諒祐
    • 学会等名
      情報処理学会第84回全国大会
    • データソース
      KAKENHI-PROJECT-21K12020
  • [学会発表] 法律適用の議論のための推論システム2021

    • 著者名/発表者名
      (39)高橋和子,福原慶,江守広行
    • 学会等名
      情報処理学会第83回全国大会
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] 裁判過程における人工知能による高次推論支援2021

    • 著者名/発表者名
      (31)佐藤健, 狩野芳伸, 本村陽一, 高岡 昂太, 高橋和子, 太田勝造, 新田克己
    • 学会等名
      人工知能学会全国大会
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Finding a Route without an Intersection2021

    • 著者名/発表者名
      東末桃,高橋和子
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • データソース
      KAKENHI-PROJECT-18K11453
  • [学会発表] Set-support をもつ重み付き双極議論フレームワーク上の評価値計算2021

    • 著者名/発表者名
      西鼻洸佑,高橋和子
    • 学会等名
      人工知能学会研究会, SIG-FPAI-117
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] 重み付き双極議論フレームワークにおける論証の信頼性について2021

    • 著者名/発表者名
      西鼻洸佑,高橋和子
    • 学会等名
      情報処理学会第83回全国大会
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] Hybrid Reasoning Using Weighted Bipolar Argumentation Framework for Legal Simulation2021

    • 著者名/発表者名
      Nishihana, K., Nomura, S., and Takahashi, K.
    • 学会等名
      23th International Workshop on Juris-informatics (JURISIN2021)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17H06103
  • [学会発表] 接点を持つ閉曲線の記号表現の提案とその性質について2020

    • 著者名/発表者名
      東末 桃,高橋 和子
    • 学会等名
      人工知能学会第111回人工知能基本問題研究会
    • データソース
      KAKENHI-PROJECT-18K11453
  • [学会発表] Process-Grammarに基づく形状変化の記述方式の提案2019

    • 著者名/発表者名
      東末 桃,高橋 和子
    • 学会等名
      人工知能学会第33回全国大会
    • データソース
      KAKENHI-PROJECT-18K11453
  • [学会発表] Qualitative Shape Representation and Reasoning Based on Concavity and Tangent Point2018

    • 著者名/発表者名
      Momo Tosue, Sosuke Moriguchi, KazukoTakahashi
    • 学会等名
      QR'18 - 31st International Workshop on Qualitative Reasoning (QR2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11453
  • [学会発表] Operations for Shape Transformations Based on Angles2018

    • 著者名/発表者名
      Momo Tosue, Sosuke Moriguchi, KazukoTakahashi
    • 学会等名
      The 11th International Conference on Agents and Artificial Intelligence (ICAART2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11453
  • [学会発表] 議論構造の変化の形式的表現--秘密を持つエージェントとの対話--2015

    • 著者名/発表者名
      横浜静夏,高橋和子
    • 学会等名
      人工知能学会第29回全国大会
    • 発表場所
      はこだて未来大学(函館,北海道)
    • 年月日
      2015-05-30
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Generalization of Superposition of Rectangles Based on Direction Relations2015

    • 著者名/発表者名
      Fadoua Ghourabi and Kazuko Takahashi
    • 学会等名
      The 28th International Workshop on Qualitative Reasoning (QR2015)
    • 発表場所
      Mineapolis, MN, U.S.A.
    • 年月日
      2015-08-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] 定性空間表現の Coq による形式化およびその平面性の証明2015

    • 著者名/発表者名
      後藤瑞貴,森口草介,高橋和子
    • 学会等名
      情報処理学会第103回PRO研究会
    • 発表場所
      産業技術総合研究所臨海都心センター(東京)
    • 年月日
      2015-03-10
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL2015

    • 著者名/発表者名
      Fadoua Ghourabi and Kazuko Takahashi
    • 学会等名
      Seventh International Conference on Agents and Artificial Intelligence (ICAART15)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2015-01-10
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] What should an agent know not to fail in persuasion?2015

    • 著者名/発表者名
      Shizuka Yokohama and KazukoTakahashi
    • 学会等名
      13th European Conference on Multi-Agent Systems (EUMAS-AT2015)
    • 発表場所
      Athens, Greek
    • 年月日
      2015-12-17
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] レコードの拡張を許す対話的修正機構2015

    • 著者名/発表者名
      森口草介, 高橋和子
    • 学会等名
      第17回プログラミングおよびプログラミング言語ワークショップ
    • 発表場所
      道後プリンスホテル(松山・愛媛)
    • 年月日
      2015-03-04
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] A Qualitative Representation of a Figure and Construction of Its Planar Class2015

    • 著者名/発表者名
      Kazuko Takahashi, Mizuki Goto and Hiroyoshi Miwa
    • 学会等名
      Seventh International Conference on Agents and Artificial Intelligence (ICAART15)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2015-01-11
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Coqを使ったツリー型ネットワークトポロジー上でのCCNのモデル化と検証について2015

    • 著者名/発表者名
      森嶋崇,後藤瑞貴,森口草介,高橋和子
    • 学会等名
      情報処理学会第103回PRO研究会
    • 発表場所
      産業技術総合研究所臨海都心センター(東京)
    • 年月日
      2015-03-10
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] 証明支援系Coqを使ったCCNのモデル化と検証について2014

    • 著者名/発表者名
      森嶋崇,後藤瑞貴,高橋和子
    • 学会等名
      情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      国立情報学研究所(東京)
    • 年月日
      2014-04-25
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] 対話的修正と対象プログラムの合成手法2014

    • 著者名/発表者名
      森口草介,高橋和子
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      名古屋大学(名古屋・愛知)
    • 年月日
      2014-09-10
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Automated Construction and Proving of Knot Fold by EOS System2014

    • 著者名/発表者名
      Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi
    • 学会等名
      The 6th International Conference on Origami in Science, Mathematics and Education and Folding Convention (6OSME)
    • 発表場所
      東京大学(東京)
    • 年月日
      2014-08-13
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Reasoning about RelativeRelationships in 3D Space for Objects Extracted from Dynamic Image Data2012

    • 著者名/発表者名
      Takahashi,K.
    • 学会等名
      ECAI-2012 Workshop on Spatio-Temporal Dynamics (STeDy 2012).
    • 発表場所
      Montpellier, France.
    • 年月日
      2012-08-28
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012

    • 著者名/発表者名
      小西貴子,高橋和子
    • 学会等名
      電子情報通信学会技術研究報告:知能ソフトウェア工学研究会,KBSE2011-69
    • 発表場所
      名古屋
    • 年月日
      2012-03-15
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] 矩形同士の重ね合わせについての定性空間推論システムの拡張2011

    • 著者名/発表者名
      小西貴子,高橋和子
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄
    • 年月日
      2011-09-27
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] Symbolic Representation and Reasoning for Rectangles with Superposition2011

    • 著者名/発表者名
      Konishi,T. and K.Takahashi.
    • 学会等名
      The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), pp.71-76
    • 発表場所
      St.Maarten, The Neitherlands Antilles (Best Paper Award).
    • 年月日
      2011-06-25
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] 矩形同士の重ね合わせについての定性空間推論2010

    • 著者名/発表者名
      小西貴子,高橋和子
    • 学会等名
      人工知能学会研究会資料SIG-FPAI-B002
    • 発表場所
      北海道
    • 年月日
      2010-09-24
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] Rectangle Reasoning: A QualitativeSpatial Reasoning with Superposition2010

    • 著者名/発表者名
      Kumokawa,S. and K.Takahashi.
    • 学会等名
      23rd Florida Artificial IntelligenceResearch Society Conference (FLAIRS-23),pp.150-151
    • 発表場所
      Florida, U.S.A..
    • 年月日
      2010-05-19
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] Formalization of Data Conversion for Inductive Proof2009

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 学会等名
      Tunisia-Japan Workshop on Symbolic Computation in Software Science(SCSS2009)
    • 発表場所
      Gammarth, Tunisia
    • 年月日
      2009-09-22
    • データソース
      KAKENHI-PROJECT-19500134
  • [学会発表] Rectangle reasoning: A Qualitative Spatial Reasoning with Superposition2009

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 学会等名
      23rd International Florida on Artificial Intelligence Society Conference (FLAIRS2010)
    • 発表場所
      Daytona Beach, U.S.A.
    • 年月日
      2009-05-19
    • データソース
      KAKENHI-PROJECT-19500134
  • [学会発表] Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation2007

    • 著者名/発表者名
      Kazuko TAKAHASHI
    • 学会等名
      Conference on Spatial Information Theory (COSIT'07)
    • 発表場所
      Melbourne, Australia
    • 年月日
      2007-09-22
    • データソース
      KAKENHI-PROJECT-19500134
  • [学会発表] An Argumentation System with Indirect Attacks

    • 著者名/発表者名
      Kazuko Takahashi
    • 学会等名
      Fifth International Conference on Agents and Artificial Intelligence
    • 発表場所
      Barcelona, Spain
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] 定性空間表現PLCAのモデル化と妥当性の証明について

    • 著者名/発表者名
      後藤瑞貴,高橋和子
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学本郷キャンパス
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application

    • 著者名/発表者名
      Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto
    • 学会等名
      Fifth International Symposium on Symbolic Computation in Software Science (SCSS2013)
    • 発表場所
      Linz, Austria
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] 相対的な位置の高さを扱う定性空間表現と推論

    • 著者名/発表者名
      榎本真也,高橋和子
    • 学会等名
      人工知能学会人工知能基本問題研究会
    • 発表場所
      宮古島マリンターミナル
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] A Qualitative Framework for Deriving a Terrain Feature

    • 著者名/発表者名
      Shinya Enomoto and Kazuko Takahashi
    • 学会等名
      27th International Workshop on Qualitative Reasoning (QR2013)
    • 発表場所
      Bremen, Germany
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Qualitative Spatio-Temporal Representation for Event Extraction from Video Data of Football Games

    • 著者名/発表者名
      Masaki Sakaida, Takanori Kiyose and Kazuko Takahashi:
    • 学会等名
      IASTED Artificial Intelligence and Applications 2013 (AIA2013)
    • 発表場所
      Innsbruck, Austria
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Reasoning about Relative Relationships in 3D Space for Objects Extracted from Dynamic Image Data

    • 著者名/発表者名
      Kazuko Takahashi
    • 学会等名
      ECAI-2012 Workshop on Spatio-Temporal Dynamics
    • 発表場所
      Monpellier, France
    • データソース
      KAKENHI-PROJECT-22500141
  • [学会発表] Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant

    • 著者名/発表者名
      Fadoua Ghourabi and Kazuko Takahashi
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学本郷キャンパス
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] 定性時空間表現を使ったサッカーの試合動画からのイベントの導出

    • 著者名/発表者名
      阪井田政樹,清瀬崇則,高橋和子
    • 学会等名
      電子情報通信学会知能ソフトウェア工学研究会
    • 発表場所
      沖縄県青年会館
    • データソース
      KAKENHI-PROJECT-25330274
  • [学会発表] Certified Merger for C Programs Using a Theorem Prover:A First Step

    • 著者名/発表者名
      Kazuko Takahashi, Yuki Goto
    • 学会等名
      28th International Conference on Computers and Their Applications
    • 発表場所
      Honolulu, Hawaii
    • データソース
      KAKENHI-PROJECT-22500141
  • 1.  巳波 弘佳 (40351738)
    共同の研究課題数: 7件
    共同の研究成果数: 3件
  • 2.  増田 佳代 (40280416)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  壷井 基裕 (60411774)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  石浦 菜岐佐 (60193265)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  高井 利憲 (10425738)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  古澤 仁 (00357930)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  佐藤 健 (00271635)
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 8.  松野 裕 (70534220)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  木藤 浩之 (90705287)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  関 由行 (20435655)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  狩野 芳伸 (20506729)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 12.  本村 陽一 (30358171)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 13.  太田 勝造 (40152136)
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 14.  西貝 小名都 (20580400)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  井田 哲雄
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi