Personnel Information

写真b

TAKAHASHI Kazuko

Title
Professor
Research Fields, Keywords
knowledge representation, reasoning, modal logic, computer science
SDGs Related Goals

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

Studying abroad experiences 【 display / non-display

  • Name of institution: University of Bremen
    Name of job or career: visitiing researcher
    Study abroad period: 2016.04 - 2017.03

Degree 【 display / non-display

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

Campus Career 【 display / non-display

  • Job function organization:Kwansei Gakuin University School of Science and Technology Department of Informatics
    Career:Professor
    Duties period:2000.04 -

Field of expertise (Grants-in-aid for Scientific Research classification) 【 display / non-display

  • Field of expertise (Grants-in-aid for Scientific Research classification):Intelligent informatics

 

Thesis for a degree 【 display / non-display

  • Written language: English
    Title of paper: Parallel Problem Solving with Logic Programming
    Date of degree awarded: 1994.03
    Name of author(s): Kazuko Takahashi

    Co-author classification: Single Work

Papers 【 display / non-display

  • Written language: English
    Title of paper:  On a Formal Treatment of Deception in Argumentative Dialogues
    Publication title: Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016
    Date of issue: 2017.03
    Name of author(s): Kazuko Takahashi, Shizuka Yokohama

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: Verification of Content-Centric Networking using Proof Assistant
    Publication title: IEICE Transactions on Information and Systems
    Date of issue: 2016.11
    Name of author(s): Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

    Type of publication: Research paper (scientific journal)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: What Should an Agent Know Not to Fail in Persuasion?
    Publication title: Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015
    Date of issue: 2016.04
    Name of author(s): Shizuka Yokohama, Kazuko Takahashi

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data
    Publication title: Agents and Artificial Intelligence, 7th International Conference, ICAART 2015
    Date of issue: 2015.01
    Name of author(s): Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: Formalizing Polygonal Knot Origami
    Publication title: Journal of Symbolic Computation
    Date of issue: 2014.09
    Name of author(s): Tesuo Ida, Fadoua Ghourabi, Kazuko Takahashi

    Type of publication: Research paper (scientific journal)
    Co-author classification: Joint Work

display all >>

Books 【 display / non-display

  • Written language: English
    Book 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's name: IGI Publishers
    Date of issue: 2012.05
    Name of author(s): Takahashi,K

    Type of books: Scholarly Book
    Form of book: Single Work

Grant-in-Aid for Scientific Research 【 display / non-display

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2021.04 - 2024.03

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2018.04 - 2021.03

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2013.04 - 2016.03

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2010.10 - 2013.03

Presentations 【 display / non-display

  • Presentation (Written) language: English
    Conference Name: 日本ソフトウェア科学会第30回大会
    Conference classification: Internal meeting
    Meeting period: 2013.09
    Topic / Session title: Formalization of the Qualitative Spatial Reasoning of Superposition of Rectangles in Proof Assistant
    Form of presentation: Oral Presentation(general)