Personnel Information

写真b

TAKAHASHI Kazuko

Organization
School of Engineering Program of Computer Science
Research Fields, Keywords
知識表現, 推論, 様相論理, 計算機科学, knowledge representation, reasoning, modal logic, computer science
Profile
数理論理学をベースとして問題を形式化し、計算機にそれを効率よく解かせる手法の研究を行なっている。具体的には、時空間データをシンボリックに扱う定性空間推論の研究、ディベートや説得などの議論の論理構造を明確化したモデルの生成およびその応用、システムの動作記述や計算機上のツールを使った仕様の検証など。
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:  On a Formal Treatment of Deception in Argumentative Dialogues
    Journal name: Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016
    Date of publication: 2017.03
    Author(s): Kazuko Takahashi, Shizuka Yokohama

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: Verification of Content-Centric Networking using Proof Assistant
    Journal name: IEICE Transactions on Information and Systems
    Date of publication: 2016.11
    Author(s): Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

    Type of publication: Research paper (scientific journal)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: What Should an Agent Know Not to Fail in Persuasion?
    Journal name: Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015
    Date of publication: 2016.04
    Author(s): Shizuka Yokohama, Kazuko Takahashi

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data
    Journal name: Agents and Artificial Intelligence, 7th International Conference, ICAART 2015
    Date of publication: 2015.01
    Author(s): Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: Formalizing Polygonal Knot Origami
    Journal name: Journal of Symbolic Computation
    Date of publication: 2014.09
    Author(s): Tesuo Ida, Fadoua Ghourabi, Kazuko Takahashi

    Type of publication: Research paper (scientific journal)
    Co-author classification: Multiple Authorship

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.▲

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.▲