Mova0.5 pre-release⌕
☰
home / docs / papers / cited-by / Who cites «Recognising Textual Entailment with Logical Inference»

Who cites «Recognising Textual Entailment with Logical Inference»

82 papers of our library cite it, newest first: found in their bibliographies, which we read ourselves. ← the card

  1. Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression — 2026 · Findings of the Association for Computational Linguistics: ACL 2026
  2. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models — 2026 · Findings of the Association for Computational Linguistics: EACL 2026
  3. Entailment-Preserving First-order Logic Representations in Natural Language Entailment — 2025 · Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
  4. Few-Shot Natural Language to First-Order Logic Translation via Code Generation — 2025 · Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)
  5. From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder Pipeline — 2024 · arXiv:2406.11939
  6. Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation — 2024 · Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
  7. Paraphrase Identification via Textual Inference — 2024 · Proceedings of the 13th Joint Conference on Lexical and Computational Semantics (*SEM 2024)
  8. RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning — 2024 · arXiv:2410.16502
  9. AMR4NLI: Interpretable and robust NLI measures from semantic graphs — 2023 · Proceedings of the 15th International Conference on Computational Semantics
  10. Exploring the Impact of Model Scaling on Parameter-Efficient Tuning — 2023 · Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing
  11. Hence, Socrates is mortal: A Benchmark for Natural Language Syllogistic Reasoning — 2023 · Findings of the Association for Computational Linguistics: ACL 2023
  12. A Multilingual Perspective Towards the Evaluation of Attribution Methods in Natural Language Inference — 2022 · Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing
  13. Analyzing Dynamic Adversarial Training Data in the Limit — 2022 · Findings of the Association for Computational Linguistics: ACL 2022
  14. ALUE: Arabic Language Understanding Evaluation — 2021 · Proceedings of the Sixth Arabic Natural Language Processing Workshop
  15. Detecting Logical Relation In Contract Clauses — 2021 · arXiv:2111.01856
  16. ERNIE-NLI: Analyzing the Impact of Domain-Specific External Knowledge on Enhanced Representations for NLI — 2021 · Proceedings of Deep Learning Inside Out (DeeLIO): The 2nd Workshop on Knowledge Extraction and Integration for Deep Learning Architectures
  17. Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference — 2020 · Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics
  18. MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity — 2020 · Proceedings of the Society for Computation in Linguistics 2020
  19. ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning — 2020 · arXiv:2002.04326
  20. Towards the Necessity for Debiasing Natural Language Inference Datasets — 2020 · Proceedings of the Twelfth Language Resources and Evaluation Conference
  21. EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference — our card · 2019 · Proceedings of the 23rd Conference on Computational Natural Language Learning (CoNLL)
  22. The First Shared Task on Discourse Representation Structure Parsing — our card · 2019 · Proceedings of the IWCS Shared Task on Semantic Parsing
  23. A Broad-Coverage Challenge Corpus for Sentence Understanding through Inference — 2018 · Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)
  24. Abstract Meaning Representation for Paraphrase Detection — 2018 · Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers)
  25. Ensure the Correctness of the Summary: Incorporate Entailment Knowledge into Abstractive Sentence Summarization — 2018 · Proceedings of the 27th International Conference on Computational Linguistics
  26. Performance Impact Caused by Hidden Bias of Training Data for Recognizing Textual Entailment — 2018 · Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018)
  27. A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq — 2017 · Proceedings of the 12th International Conference on Computational Semantics (IWCS) –- Long papers
  28. HyperLex: A Large-Scale Evaluation of Graded Lexical Entailment — 2017 · Computational Linguistics
  29. On-demand Injection of Lexical Knowledge for Recognising Textual Entailment — 2017 · Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers
  30. Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser — 2016 · Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing
  31. A Tableau Prover for Natural Logic and Language — 2015 · Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
  32. A large annotated corpus for learning natural language inference — 2015 · Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
  33. A type-logical treebank for French — 2015 · Journal of Language Modelling
  34. Exploiting Image Generality for Lexical Entailment Detection — 2015 · Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 2: Short Papers)
  35. Injecting Logical Background Knowledge into Embeddings for Relation Extraction — 2015 · Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
  36. Recognizing Textual Entailment using Dependency Analysis and Machine Learning — 2015 · Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Student Research Workshop
  37. Distributional Lexical Entailment by Topic Coherence — 2014 · Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics
  38. ECNU: One Stone Two Birds: Ensemble of Heterogenous Measures for Semantic Relatedness and Textual Entailment — 2014 · Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014)
  39. Exploiting Timegraphs in Temporal Relation Classification — 2014 · Proceedings of TextGraphs-9: the workshop on Graph-based Methods for Natural Language Processing
  40. Fact Checking: Task definition and dataset construction — 2014 · Proceedings of the ACL 2014 Workshop on Language Technologies and Computational Social Science
  41. Is there a place for logic in recognizing textual entailment — 2014
  42. Logical Inference on Dependency-based Compositional Semantics — 2014 · Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
  43. Low-Dimensional Embeddings of Logic — 2014 · Proceedings of the ACL 2014 Workshop on Semantic Parsing
  44. Towards a Semantic Model for Textual Entailment Annotation — 2014
  45. Combined Distributional and Logical Semantics — 2013
  46. Labeled Alignment for Recognizing Textual Entailment — 2013 · Proceedings of the Sixth International Joint Conference on Natural Language Processing
  47. Montague Meets Markov: Deep Semantics with Probabilistic Logical Form — 2013 · Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 1: Proceedings of the Main Conference and the Shared Task: Semantic Textual Similarity
  48. Semantic Annotation of Textual Entailment — 2013 · Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) – Long Papers
  49. BIUTEE: A Modular Open-Source System for Recognizing Textual Entailment — 2012 · Proceedings of the ACL 2012 System Demonstrations
  50. Integrating Logical Representations with Probabilistic Information using Markov Logic — 2011 · Proceedings of the Ninth International Conference on Computational Semantics (IWCS 2011)
  51. Semantic Representation of Negation Using Focus Detection — 2011 · Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies
  52. Assessing the Role of Discourse References in Entailment Inference — 2010 · Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
  53. Syntactic/Semantic Structures for Textual Entailment Recognition — 2010 · Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
  54. Towards Conversation Entailment: An Empirical Investigation — 2010 · Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing
  55. A Survey of Paraphrasing and Textual Entailment Methods — 2009 · I. Androutsopoulos and P. Malakasiotis, "A Survey of Paraphrasing and Textual Entailment Methods". Journal of Artificial Intelligence Research, 38:135-187, 2010
  56. An Extensible Toolkit for Computational Semantics — 2009 · Proceedings of the Eighth International Conference on Computational Semantics
  57. An extended model of natural logic — 2009 · Proceedings of the Eighth International Conference on Computational Semantics
  58. What do We Know about Conversation Participants: Experiments on Conversation Entailment — 2009 · Proceedings of the SIGDIAL 2009 Conference
  59. CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank — our card · 2007
  60. Automatic Learning of Textual Entailments with Cross-Pair Similarities — 2006 · Proceedings of the 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics
  61. Learning to recognize features of valid textual entailments — 2006 · Proceedings of the Human Language Technology Conference of the NAACL, Main Conference
  62. Lexical Reference: a Semantic Matching Subtask — 2006 · Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing
  63. ariyani-2024-can-language-models-learn-embeddings
  64. chatzikyriakidis-2015-natural-language-reasoning-coq-interaction
  65. du-2018-adopting-word-pair-dependency-triplets
  66. fowler-2008-efficiently-parsing-product-free-lambek
  67. funakura-2025-theorem-proving-based-evaluation-neural
  68. geertzen-2009-wide-coverage-parsing-speech-transcripts
  69. huang-2026-lseg-fine-tuning-free-method
  70. jia-2008-generation-textual-entailment-nlml-intelligent
  71. lierler-2013-logic-programs-vs-first-order
  72. lierler-2017-action-languages-question-answering
  73. malandrakis-2012-deeppurple-estimating-sentence-semantic-similarity
  74. malandrakis-2013-deeppurple-lexical-string-affective-feature
  75. meng-2012-ict-translation-based-method-cross
  76. moot-2012-semantique-large-couverture-et-raisonnement
  77. moot-2019-combining-logical-distributional-methods-type
  78. moschitti-2008-encoding-tree-pair-based-graphs
  79. richardson-2012-light-textual-inference-semantic-parsing
  80. stern-2014-biutte-research-platform-transformation-based
  81. vu-2015-tato-leveraging-multiple-strategies-semantic
  82. zocca-2023-natural-language-annotations-reasoning-about

This page in Markdown → https://md.mova.elamur.ai/free/en/docs/papers/cited-by/bos-2005-recognising-textual-entailment-logical-inference/