A unified analysis of natural language inference based on the methods of proof theory and diagrammatic logic

基于证明论和图解逻辑方法的自然语言推理统一分析

基本信息

项目摘要

项目成果

期刊论文数量(13)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment
  • DOI:
    10.18653/v1/e17-1067
  • 发表时间:
    2017-04
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Pascual Martínez-Gómez;K. Mineshima;Yusuke Miyao;D. Bekki
  • 通讯作者:
    Pascual Martínez-Gómez;K. Mineshima;Yusuke Miyao;D. Bekki
Visual Denotations for Recognizing Textual Entailment
  • DOI:
    10.18653/v1/d17-1305
  • 发表时间:
    2017-09
  • 期刊:
  • 影响因子:
    0
  • 作者:
    D. Han;Pascual Martínez-Gómez;K. Mineshima
  • 通讯作者:
    D. Han;Pascual Martínez-Gómez;K. Mineshima
Diagrams for logics
逻辑图
Computational Semantics in the Era of Bigdata
大数据时代的计算语义
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Masashi Yoshikawa;Koji Mineshima;Hiroshi Noji;and Daisuke Bekki;峯島宏次;Koji Mineshima
  • 通讯作者:
    Koji Mineshima
Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation
  • DOI:
    10.18653/v1/p19-1013
  • 发表时间:
    2019-06
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Masashi Yoshikawa;Hiroshi Noji;K. Mineshima;D. Bekki
  • 通讯作者:
    Masashi Yoshikawa;Hiroshi Noji;K. Mineshima;D. Bekki
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Mineshima Koji其他文献

Memory-two strategies forming symmetric mutual reinforcement learning equilibrium in repeated prisoners’ dilemma game
重复囚徒困境博弈中记忆-两种策略形成对称互强化学习均衡
  • DOI:
    10.1016/j.amc.2022.127819
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    4
  • 作者:
    Yanaka Hitomi;Mineshima Koji;Inui Kentaro;Masashi Tsubaki and Teruyasu Mizoguchi;Haoran Xie;Ueda Masahiko
  • 通讯作者:
    Ueda Masahiko
王座とブラフマン神
王位与婆罗门
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井 正人
  • 通讯作者:
    藤井 正人
【対談】江戸に学ぶサステナブルな都市のあり方
[对话]从江户了解可持续城市
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井 正人;松村一男;岡本賢吾;Enrico Fongaro;アズビー・ブラウン/板東洋介
  • 通讯作者:
    アズビー・ブラウン/板東洋介
Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology
正式系统的公平、诚信和透明:技术日益主导的社会面临的挑战
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Suzuki Riko;Yanaka Hitomi;Yoshikawa Masashi;Mineshima Koji;Bekki Daisuke;Katsuhiko Sano;Benedikt Loewe・岡田光弘
  • 通讯作者:
    Benedikt Loewe・岡田光弘
浜通りにおけるいわき市の位置づけと震災被害
磐城市对滨通和地震灾害的立场

Mineshima Koji的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Mineshima Koji', 18)}}的其他基金

An integrated study of natural language inference and diagrammatic inference using logical methods
使用逻辑方法进行自然语言推理和图解推理的综合研究
  • 批准号:
    26770009
  • 财政年份:
    2014
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)

相似海外基金

科学哲学の基礎としての数理論理学の展開
作为科学哲学基础的数理逻辑的发展
  • 批准号:
    24K03357
  • 财政年份:
    2024
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Heidegger's Intuition Thesis in Kant and the Problem of Metaphysics
海德格尔康德的直觉命题与形而上学问题
  • 批准号:
    2882315
  • 财政年份:
    2023
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Studentship
ヘーゲル論理学における「概念」の哲学史的再解釈を通じた存在と当為の区別の再考
通过对黑格尔逻辑中“概念”的哲学历史重新解释来重新思考存在与应当的区别
  • 批准号:
    22KJ2034
  • 财政年份:
    2023
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
仏教論理学における関係実在論批判の研究:ダルマキールティと注釈者の批判をめぐって
佛教逻辑中关系实在论的批判研究——论法称及其论者的批判
  • 批准号:
    23KJ0264
  • 财政年份:
    2023
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
17世紀オランダ・デカルト主義の論理学との比較を通じたスピノザ初期思想の研究
通过与17世纪荷兰笛卡尔主义逻辑的比较来研究斯宾诺莎的早期思想
  • 批准号:
    23KJ1677
  • 财政年份:
    2023
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Toward Broader Applications of the Metaphysics of Non-Being
走向非存在形而上学的更广泛应用
  • 批准号:
    23KJ0826
  • 财政年份:
    2023
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
チョムデン・リクペーレルティの『論理学七部論書荘厳華』第2章の翻訳および思想研究
乔姆登·里克佩雷尔蒂《逻辑七论·庄干卡》第二章的翻译与思想研究
  • 批准号:
    22K12971
  • 财政年份:
    2022
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
古典外延的メレオロジーの可能性と限界に関する論理学的・形而上学的探究
对经典扩张分体学的可能性和局限性的逻辑和形而上学探索
  • 批准号:
    21K12827
  • 财政年份:
    2021
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Comprehensive Research on Sufism: Through Metaphysics, Literature, Music and Ritual
苏菲主义综合研究:通过形而上学、文学、音乐和仪式
  • 批准号:
    21KK0001
  • 财政年份:
    2021
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
Inventing Time: Past, Present, and Future in British Metaphysics 1878-1938
发明时间:1878-1938 年英国形而上学的过去、现在和未来
  • 批准号:
    AH/S005226/1
  • 财政年份:
    2020
  • 资助金额:
    $ 2.58万
  • 项目类别:
    Fellowship
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了