The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Koji Mineshima" ( http://dblp.L3S.de/Authors/Koji_Mineshima )

  Author page on DBLP  Author page in RDF  Community of Koji Mineshima in ASPL-2

Publication years (Num. hits)
2007-2015 (17) 2016-2018 (19) 2019 (11)
Publication types (Num. hits)
article(15) inproceedings(29) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 48 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki Multimodal Logical Inference System for Visual-Textual Entailment. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos Can neural networks understand monotonicity reasoning? Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Izumi Haruta, Koji Mineshima, Daisuke Bekki A CCG-based Compositional Semantics and Inference System for Comparatives. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yukiko Yana, Koji Mineshima, Daisuke Bekki Variable Handling and Compositionality: Comparing DRT and DTS. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kazuhiro Kojima, Maki Sakamoto, Koji Mineshima, Ken Satoh (eds.) New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hitomi Yanaka, Koji Mineshima, Daisuke Bekki, Kentaro Inui, Satoshi Sekine, Lasha Abzianidze, Johan Bos HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. Search on Bibsonomy *SEM@NAACL-HLT The full citation details ... 2019 DBLP  BibTeX  RDF
1Masashi Yoshikawa, Hiroshi Noji, Koji Mineshima, Daisuke Bekki Automatic Generation of High Quality CCGbanks for Parser Domain Adaptation. Search on Bibsonomy ACL (1) The full citation details ... 2019 DBLP  BibTeX  RDF
1Riko Suzuki, Hitomi Yanaka, Masashi Yoshikawa, Koji Mineshima, Daisuke Bekki Multimodal Logical Inference System for Visual-Textual Entailment. Search on Bibsonomy ACL (2) The full citation details ... 2019 DBLP  BibTeX  RDF
1Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki Acquisition of Phrase Correspondences using Natural Deduction Proofs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta (eds.) New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki Acquisition of Phrase Correspondences Using Natural Deduction Proofs. Search on Bibsonomy NAACL-HLT The full citation details ... 2018 DBLP  BibTeX  RDF
1Masashi Yoshikawa, Koji Mineshima, Hiroshi Noji, Daisuke Bekki Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning. Search on Bibsonomy NAACL-HLT (2) The full citation details ... 2018 DBLP  BibTeX  RDF
1Kana Manome, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki Neural sentence generation from formal semantics. Search on Bibsonomy INLG The full citation details ... 2018 DBLP  BibTeX  RDF
1Ribeka Tanaka, Koji Mineshima, Daisuke Bekki Factivity and presupposition in Dependent Type Semantics. Search on Bibsonomy J. Language Modelling The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki Determining Semantic Textual Similarity using Natural Deduction Proofs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ran Tian, Koji Mineshima, Pascual Martínez-Gómez The Challenge of Composition in Distributional and Formal Semantics. Search on Bibsonomy IJCNLP (Tutorial Abstracts) The full citation details ... 2017 DBLP  BibTeX  RDF
1Yusuke Miyao, Pascual Martínez-Gómez, Koji Mineshima, Daisuke Bekki On-demand Injection of Lexical Knowledge for Recognising Textual Entailment. Search on Bibsonomy EACL (1) The full citation details ... 2017 DBLP  BibTeX  RDF
1Dan Han, Pascual Martínez-Gómez, Koji Mineshima Visual Denotations for Recognizing Textual Entailment. Search on Bibsonomy EMNLP The full citation details ... 2017 DBLP  BibTeX  RDF
1Hitomi Yanaka, Koji Mineshima, Pascual Martínez-Gómez, Daisuke Bekki Determining Semantic Textual Similarity using Natural Deduction Proofs. Search on Bibsonomy EMNLP The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuri Sato, Koji Mineshima Human Reasoning with Proportional Quantifiers and Its Support by Diagrams. Search on Bibsonomy Diagrams The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eriko Kinoshita, Koji Mineshima, Daisuke Bekki An Analysis of Selectional Restrictions with Dependent Type Semantics. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ribeka Tanaka, Koji Mineshima, Daisuke Bekki On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Koji Mineshima, Ribeka Tanaka, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser. Search on Bibsonomy EMNLP The full citation details ... 2016 DBLP  BibTeX  RDF
1Kimi Kaneko, Saku Sugawara, Koji Mineshima, Daisuke Bekki Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts. Search on Bibsonomy ALR@COLING The full citation details ... 2016 DBLP  BibTeX  RDF
1Pascual Martínez-Gómez, Koji Mineshima, Yusuke Miyao, Daisuke Bekki ccg2lambda: A Compositional Semantics System. Search on Bibsonomy ACL (System Demonstrations) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuri Sato, Koji Mineshima How Diagrams Can Support Syllogistic Reasoning: An Experimental Study. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ai Kawazoe, Ribeka Tanaka, Koji Mineshima, Daisuke Bekki An Inference Problem Set for Evaluating Semantic Theories and Semantic Processing Systems for Japanese. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki (eds.) New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Koji Mineshima, Pascual Martínez-Gómez, Yusuke Miyao, Daisuke Bekki Higher-order logical inference with compositional semantics. Search on Bibsonomy EMNLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Ayako Nakamura, Koji Mineshima, Daisuke Bekki Towards Modeling Natural Language Inferences with Part-Whole Relations using Formal Ontology and Lexical Semantics. Search on Bibsonomy JOWO@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Koji Mineshima, Yuri Sato, Ryo Takemura, Mitsuhiro Okada Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ribeka Tanaka, Koji Mineshima, Daisuke Bekki Resolving Modal Anaphora in Dependent Type Semantics. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Koji Mineshima Logic and Engineering of Natural Language Semantics (LENLS) 11. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Koji Mineshima, Mitsuhiro Okada, Ryo Takemura A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Koji Mineshima, Mitsuhiro Okada, Ryo Takemura A Diagrammatic Inference System with Euler Circles. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuri Sato, Koji Mineshima, Ryo Takemura, Mitsuhiro Okada On the Cognitive Efficacy of Euler Diagrams in Syllogistic Reasoning: A Relational Perspective. Search on Bibsonomy ED@Diagrams The full citation details ... 2012 DBLP  BibTeX  RDF
1Yuri Sato, Koji Mineshima The Efficacy of Diagrams in Syllogistic Reasoning: A Case of Linear Diagrams. Search on Bibsonomy Diagrams The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuri Sato, Koji Mineshima, Ryo Takemura Interpreting logic diagrams: a comparison of two formulations of diagrammatic representations. Search on Bibsonomy CogSci The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuri Sato, Koji Mineshima, Ryo Takemura The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. Search on Bibsonomy Diagrams The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Koji Mineshima, Mitsuhiro Okada, Ryo Takemura Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. Search on Bibsonomy Diagrams The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Search on Bibsonomy Diagrams The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Koji Mineshima A Presuppositional Analysis of Definite Descriptions in Proof Theory. Search on Bibsonomy JSAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license