Personnel Information

写真b

TAKAHASHI Kazuko

Organization
School of Engineering Program of Computer Science
Research Fields, Keywords
知識表現, 推論, 様相論理, 計算機科学, knowledge representation, reasoning, modal logic, computer science
Teaching and Research Fields
数理論理学をベースとして問題を形式化し、計算機にそれを効率よく解かせる手法の研究を行なっている。具体的には、時空間データをシンボリックに扱う定性空間推論の研究、ディベートや説得などの議論の論理構造を明確化したモデルの生成およびその応用、システムの動作記述や計算機上のツールを使った仕様の検証など。
URL
http://ist.ksc.kwansei.ac.jp/~ktaka/LABO/
Syllabus information URL
https://syllabus.kwansei.ac.jp/uniasv2/UnSSOLoginControlFree?REQ_ACTION_DO=/AGA030PLS01Action.do?REQ_FUNCTION_JUMP_START_FLG=1&SLB_LINK_DISP_FLG=8&TCH_NO=000200&REQ_PRFR_FUNC_ID=AGA030
SDGs Related Goals
To the head of this page.▲

Graduating School 【 display / non-display 】

  • Graduating School:Kyoto University
    Faculty:Faculty of Science

    Kind of school:University
    Date of graduation:1982.03
    Completion status:Graduated
    Country location code:Japan

To the head of this page.▲

Studying abroad experiences 【 display / non-display 】

  • Name of institution: University of Bremen
    Name of job or career: visitiing researcher
    Date: 2016.04 - 2017.03

To the head of this page.▲

Degree 【 display / non-display 】

  • Degree name:Doctor of Engineering
    Classified degree field:Informatics / Intelligent informatics
    Conferring institution:Kyoto University
    Acquisition way:Thesis
    Date of acquisition:1994.03

  • Degree name:理学学士
    Classified degree field:Informatics / Software
    Conferring institution:Kyoto University
    Acquisition way:Coursework
    Date of acquisition:1982.03

To the head of this page.▲

Career 【 display / non-display 】

  • Affiliation:Kwansei Gakuin University
    Department:School of Science and Technology Department of Informatics
    Title:Professor
    Date:2000.04 -

To the head of this page.▲

Association Memberships 【 display / non-display 】

  • Academic society name:日本ソフトウェア科学会
    Academic country located:Japan

  • Academic society name:電子情報通信学会
    Academic country located:Japan

  • Academic society name:情報処理学会
    Academic country located:Japan

  • Academic society name:人工知能学会
    Academic country located:Japan

To the head of this page.▲

Research Areas 【 display / non-display 】

  • Research field:Informatics / Intelligent informatics

To the head of this page.▲

Papers 【 display / non-display 】

  • Language: English
    Title: Spatial Representation and Reasoning about Fold Strata: A Qualitative Approach
    Journal name: 15th International Conference, ICAART 2023, Revised Selected Papers. LNCS 14546  (p.244 - 266)
    Date of publication: 2024
    Author(s): Taniuchi, Y. and K. Takahashi

    Type of publication: Research paper (international conference proceedings)

  • Title:  Topological Conditions and Solutions for Repairing Argumentation Frameworks
    Journal name: 5th International Conference on Logic and Argumentation (CLAR2023), LNAI 14156  (p.101 - 118)
    Date of publication: 2023.09
    Author(s): Takahashi, K.and H.Miwa

  • Language: Japanese
    Title: 議論学
    Journal name: 人工知能と法律  (p.138 - 162)
    Date of publication: 2022
    Author(s): 高橋　和子

    Type of publication: Part of collection (book)

  • Language: English
    Title: Reasoning by a Bipolar Argumentation Framework for PROLEG
    Journal name: New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018, Revised Selected Papers. LNCS 11717  (p.115 - 130)
    Date of publication: 2019
    Author(s): Kawasaki,T., S.Moriguchi and K.Takahashi

    Type of publication: Research paper (international conference proceedings)

  • Language: English
    Title: What does the qualitative spatial knowledge tell about the origami geometric folds?
    Journal name: Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings, LNCS 11110  (p.139 - 154)
    Date of publication: 2018.09
    Author(s): Ghourabi,F. and K.Takahashi

    Type of publication: Research paper (international conference proceedings)
    Field of experts:Informatics / Intelligent informatics

display all >>

To the head of this page.▲

Books 【 display / non-display 】

  • Language: English
    Title: ``PLCA: A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions,'' Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, S.Hazarika(ed.), Chapt 2, pp.63-96
    Publisher: IGI Publishers
    Date of publication: 2012.05
    Author(s): Takahashi,K

    Type of books: Scholarly book
    Authorship：Sole author

To the head of this page.▲

Industrial Property Rights 【 display / non-display 】

  • Property type:Patent
    Title:法的推論提示方法、法的推論提示プログラム及び法的推論提示システム
    Inventor(s)/Creator(s):高橋和子

    Application number:特願2019-155281, 2019.08.28
    Country:Japan

To the head of this page.▲

Research Projects 【 display / non-display 】

  • Research category:Grant-in-Aid for Scientific Research(C)
    Project year：2021.04 - 2024.03
    Title:領域の形状変化と隣接関係に着目した定性空間推論

  • Research category:Grant-in-Aid for Scientific Research(C)
    Project year：2018.04 - 2021.03
    Title:形状の変化を対象とする定性空間表現および推論システムの研究

  • Research category:Grant-in-Aid for Scientific Research(C)
    Project year：2013.04 - 2016.03
    Title:空間データの記号表現に関する研究

    　 Show links to external sites

  • Research category:Grant-in-Aid for Scientific Research(C)
    Project year：2010.10 - 2013.03
    Title:定性時空間推論の体系の構築とその応用に関する研究

    　 Show links to external sites

To the head of this page.▲

Presentations 【 display / non-display 】

  • Language:Japanese
    Conference name:日本ソフトウェア科学会第30回大会
    International/Domestic presentation:Domestic presentation
    Holding date：2013.09
    Title:定性空間表現PLCAのモデル化と妥当性の証明について
    Presentation type:Oral presentation (general)

  • Language:English
    Conference name:日本ソフトウェア科学会第30回大会
    International/Domestic presentation:Domestic presentation
    Holding date：2013.09
    Title:Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant
    Presentation type:Oral presentation (general)

  • Language:Japanese
    Conference name:人工知能学会第28回全国大会
    International/Domestic presentation:Domestic presentation
    Holding date：2013.06
    Title:定性空間表現上での位置の高低を考慮した経路探索システム
    Presentation type:Oral presentation (general)

  • Language:Japanese
    Conference name:人工知能学会第28回全国大会
    International/Domestic presentation:Domestic presentation
    Holding date：2013.06
    Title:定性時空間推論の枠組みを用いた動画からのイベント推論について
    Presentation type:Oral presentation (general)

  • Language:Japanese
    Conference name:人工知能学会研究会資料, SIG-FPAI-B203, pp.1-7
    International/Domestic presentation:Domestic presentation
    Holding date：2013.01
    Title:間接的攻撃をもつ議論システム
    Presentation type:Oral presentation (general)

display all >>

To the head of this page.▲

Committee Memberships 【 display / non-display 】

  • Organization name:情報処理学会
    Committee name:プログラミング研究会 運営委員
    Date：2008.04

  • Organization name:日本ソフトウェア科学会
    Committee name:理事
    Date：2008.04

To the head of this page.▲

Social Contribution 【 display / non-display 】

  • Title:Program committee of the 9th IEEE/ACIS International Conference on Computer and Information Science
    Date：2009.11

To the head of this page.▲