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

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

基本信息

项目摘要

项目成果

期刊论文数量（13）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
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
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
Diagrams for logics
逻辑图
HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning
  • DOI：
    10.18653/v1/s19-1027
  • 发表时间：
    2019-04
  • 期刊：
    ArXiv
  • 影响因子：
    0
  • 作者：
    Hitomi Yanaka;K. Mineshima;D. Bekki;Kentaro Inui;S. Sekine;Lasha Abzianidze;Johan Bos
  • 通讯作者：
    Hitomi Yanaka;K. Mineshima;D. Bekki;Kentaro Inui;S. Sekine;Lasha Abzianidze;Johan Bos
Combining Event Semantics and Degree Semantics for Natural Language Inference
  • DOI：
    10.18653/v1/2020.coling-main.156
  • 发表时间：
    2020-11
  • 期刊：
    ArXiv
  • 影响因子：
    0
  • 作者：
    Izumi Haruta;K. Mineshima;D. Bekki
  • 通讯作者：
    Izumi Haruta;K. Mineshima;D. Bekki
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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
  • 期刊：
    Applied Mathematics and Computation
  • 影响因子：
    4
  • 作者：
    Yanaka Hitomi;Mineshima Koji;Inui Kentaro;Masashi Tsubaki and Teruyasu Mizoguchi;Haoran Xie;Ueda Masahiko
  • 通讯作者：
    Ueda Masahiko
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・岡田光弘
【対談】江戸に学ぶサステナブルな都市のあり方
[对话]从江户了解可持续城市
  • DOI：
  • 发表时间：
    2017
  • 期刊：
    Cel
  • 影响因子：
    0
  • 作者：
    Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井　正人;松村一男;岡本賢吾;Enrico Fongaro;アズビー・ブラウン／板東洋介
  • 通讯作者：
    アズビー・ブラウン／板東洋介
王座とブラフマン神
王位与婆罗门
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Watanabe Kazuki;Mineshima Koji;Bekki Daisuke;稲場圭信;藤井　正人
  • 通讯作者：
    藤井　正人
浜通りにおけるいわき市の位置づけと震災被害
磐城市对滨通和地震灾害的立场

Mineshima Koji的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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)

相似国自然基金

Fibered纽结的自同胚、Floer同调与4维亏格
  • 批准号：
    12301086
  • 批准年份：
    2023
  • 资助金额：
    30.00 万元
  • 项目类别：
    青年科学基金项目
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
  • 批准号：
    82371997
  • 批准年份：
    2023
  • 资助金额：
    48.00 万元
  • 项目类别：
    面上项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 批准年份：
    2022
  • 资助金额：
    18.00 万元
  • 项目类别：
    专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号：
  • 批准年份：
    2022
  • 资助金额：
    55 万元
  • 项目类别：
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号：
    12272344
  • 批准年份：
    2022
  • 资助金额：
    55.00 万元
  • 项目类别：

相似海外基金

Research of formal provability by means of the investigation of incompleteness theorems
通过不完备性定理的研究来研究形式可证明性
  • 批准号：
    19K14586
  • 财政年份：
    2019
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
形式主義の哲学の新展開：竹内外史の論理哲学の解明を通じて
形式主义哲学的新发展——通过竹内文逻辑哲学的阐释
  • 批准号：
    19K00022
  • 财政年份：
    2019
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
証明論的手法による論理定項の特徴づけ
使用证明理论方法表征逻辑常数
  • 批准号：
    18K00036
  • 财政年份：
    2018
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Study on Design Intellect focusing of the Semantic Structure and Practical Roles of Symbol Operation in Design Thought
设计思维研究关注语义结构和符号操作在设计思维中的实际作用
  • 批准号：
    16H03014
  • 财政年份：
    2016
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Reexamination of Brouwer's intuitionism by proof-theoretic methods
用证明论方法重新审视布劳威尔的直觉主义
  • 批准号：
    16K16690
  • 财政年份：
    2016
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了