We stand with Ukraine

We stand with Ukraine

Koji Mineshima

Orcid: 0000-0002-2801-9171

According to our database¹, Koji Mineshima authored at least 56 papers between 2007 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations.

[BibT_eX]

[DOI]

,

,

Cogn. Sci., March, 2023

Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases.

[BibT_eX]

[DOI]

,

Takanobu Morishita

,

,

,

Mitsuhiro Okada

CoRR, 2023

Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar.

[BibT_eX]

[DOI]

Hayate Funakura

,

Proceedings of the 37th Pacific Asia Conference on Language, 2023

Can Machines and Humans Use Negation When Describing Images?

[BibT_eX]

[DOI]

,

Proceedings of the Human and Artificial Rationalities - Second International Conference, 2023

2022

Compositional Evaluation on Japanese Textual Entailment and Similarity.

[BibT_eX]

[DOI]

,

Trans. Assoc. Comput. Linguistics, 2022

Implementing Natural Language Inference for comparatives.

[BibT_eX]

[DOI]

,

,

J. Lang. Model., 2022

Visually Analyzing Universal Quantifiers in Photograph Captions.

[BibT_eX]

[DOI]

,

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Building a Video-and-Language Dataset with Human Actions for Multimodal Logical Inference.

[BibT_eX]

[DOI]

,

,

,

CoRR, 2021

Visual representation of negation: Real world data analysis on comic image design.

[BibT_eX]

[DOI]

,

,

CoRR, 2021

Talking with the Theorem Prover to Interactively Solve Natural Language Inference.

[BibT_eX]

[DOI]

,

,

Proceedings of the 35th Pacific Asia Conference on Language, Information and Computation, 2021

Exploring Transitivity in Neural NLI Models through Veridicality.

[BibT_eX]

[DOI]

,

,

Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 2021

Can Humans and Machines Classify Photographs as Depicting Negation?

[BibT_eX]

[DOI]

,

Proceedings of the Diagrammatic Representation and Inference, 2021

Assessing the Generalization Capacity of Pre-trained Language Models through Japanese Adversarial Natural Language Inference.

[BibT_eX]

[DOI]

,

Proceedings of the Fourth BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, 2021

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics.

[BibT_eX]

[DOI]

,

,

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

2020

Development of a General-Purpose Categorial Grammar Treebank.

[BibT_eX]

[DOI]

,

,

Noritsugu Hayashi

,

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary Analysis.

[BibT_eX]

[DOI]

,

Proceedings of the Diagrammatic Representation and Inference, 2020

Combining Event Semantics and Degree Semantics for Natural Language Inference.

[BibT_eX]

[DOI]

,

,

Proceedings of the 28th International Conference on Computational Linguistics, 2020

Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

Logical Inferences with Comparatives and Generalized Quantifiers.

[BibT_eX]

[DOI]

,

,

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop, 2020

2019

Variable Handling and Compositionality: Comparing DRT and DTS.

[BibT_eX]

[DOI]

,

,

J. Log. Lang. Inf., 2019

A CCG-based Compositional Semantics and Inference System for Comparatives.

[BibT_eX]

[DOI]

,

,

CoRR, 2019

HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning.

[BibT_eX]

[DOI]

,

,

,

,

,

Lasha Abzianidze

,

Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, 2019

Can Neural Networks Understand Monotonicity Reasoning?

[BibT_eX]

[DOI]

,

,

,

,

,

Lasha Abzianidze

,

Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, 2019

Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation.

[BibT_eX]

[DOI]

Masashi Yoshikawa

,

,

,

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Multimodal Logical Inference System for Visual-Textual Entailment.

[BibT_eX]

[DOI]

,

,

Masashi Yoshikawa

,

,

Proceedings of the 57th Conference of the Association for Computational Linguistics, 2019

Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference.

[BibT_eX]

[DOI]

Masashi Yoshikawa

,

,

,

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning.

[BibT_eX]

[DOI]

Masashi Yoshikawa

,

,

,

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Acquisition of Phrase Correspondences Using Natural Deduction Proofs.

[BibT_eX]

[DOI]

,

,

Pascual Martínez-Gómez

,

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Neural sentence generation from formal semantics.

[BibT_eX]

[DOI]

,

Masashi Yoshikawa

,

,

Pascual Martínez-Gómez

,

,

Proceedings of the 11th International Conference on Natural Language Generation, 2018

2017

Factivity and presupposition in Dependent Type Semantics.

[BibT_eX]

[DOI]

,

,

J. Lang. Model., 2017

The Challenge of Composition in Distributional and Formal Semantics.

[BibT_eX]

[DOI]

,

,

Pascual Martínez-Gómez

Proceedings of the IJCNLP 2017, Taipei, Taiwan, November 27, 2017

Determining Semantic Textual Similarity using Natural Deduction Proofs.

[BibT_eX]

[DOI]

,

,

Pascual Martínez-Gómez

,

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

Visual Denotations for Recognizing Textual Entailment.

[BibT_eX]

[DOI]

,

Pascual Martínez-Gómez

,

Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017

On-demand Injection of Lexical Knowledge for Recognising Textual Entailment.

[BibT_eX]

[DOI]

Pascual Martínez-Gómez

,

,

,

Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017

2016

On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting.

[BibT_eX]

[DOI]

,

,

Proceedings of the New Frontiers in Artificial Intelligence, 2016

An Analysis of Selectional Restrictions with Dependent Type Semantics.

[BibT_eX]

[DOI]

Eriko Kinoshita

,

,

Proceedings of the New Frontiers in Artificial Intelligence, 2016

Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser.

[BibT_eX]

[DOI]

,

,

Pascual Martínez-Gómez

,

,

Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, 2016

Human Reasoning with Proportional Quantifiers and Its Support by Diagrams.

[BibT_eX]

[DOI]

,

Proceedings of the Diagrammatic Representation and Inference, 2016

ccg2lambda: A Compositional Semantics System.

[BibT_eX]

[DOI]

Pascual Martínez-Gómez

,

,

,

Proceedings of ACL-2016 System Demonstrations, Berlin, Germany, August 7-12, 2016, 2016

Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 12th Workshop on Asian Language Resources, 2016

2015

How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.

[BibT_eX]

[DOI]

,

J. Log. Lang. Inf., 2015

An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics.

[BibT_eX]

[DOI]

,

,

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Higher-order logical inference with compositional semantics.

[BibT_eX]

[DOI]

,

Pascual Martínez-Gómez

,

,

Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

2014

Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective.

[BibT_eX]

[DOI]

,

,

,

Mitsuhiro Okada

J. Vis. Lang. Comput., 2014

Resolving Modal Anaphora in Dependent Type Semantics.

[BibT_eX]

[DOI]

,

,

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Logic and Engineering of Natural Language Semantics (LENLS) 11.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2014

2012

A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.

[BibT_eX]

[DOI]

,

Mitsuhiro Okada

,

Stud Logica, 2012

A Diagrammatic Inference System with Euler Circles.

[BibT_eX]

[DOI]

,

Mitsuhiro Okada

,

J. Log. Lang. Inf., 2012

On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective.

[BibT_eX]

[DOI]

,

,

,

Mitsuhiro Okada

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams.

[BibT_eX]

[DOI]

,

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations.

[BibT_eX]

[DOI]

,

,

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings.

[BibT_eX]

[DOI]

,

,

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style.

[BibT_eX]

[DOI]

,

Mitsuhiro Okada

,

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2008

Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design.

[BibT_eX]

[DOI]

,

Mitsuhiro Okada

,

,

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

A Presuppositional Analysis of Definite Descriptions in Proof Theory.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2007

Loading...