[Mova](https://md.mova.elamur.ai/free/en/) · [this page in HTML](https://mova.elamur.ai/free/en/docs/papers/cited-by/bos-2005-recognising-textual-entailment-logical-inference/)

[home](https://md.mova.elamur.ai/free/en/) / [docs](https://md.mova.elamur.ai/free/en/docs/) / [papers](https://md.mova.elamur.ai/free/en/docs/papers/) / [cited-by](https://md.mova.elamur.ai/free/en/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](https://md.mova.elamur.ai/free/en/docs/papers/bos-2005-recognising-textual-entailment-logical-inference/)

1. [Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression](https://aclanthology.org/2026.findings-acl.25/) *— 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](https://aclanthology.org/2026.findings-eacl.317/) *— 2026 · Findings of the Association for Computational Linguistics: EACL 2026*
3. [Entailment-Preserving First-order Logic Representations in Natural Language Entailment](https://aclanthology.org/2025.acl-long.286/) *— 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](https://aclanthology.org/2025.naacl-long.547/) *— 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](https://arxiv.org/abs/2406.11939) *— 2024 · arXiv:2406.11939*
6. [Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation](https://aclanthology.org/2024.acl-long.375/) *— 2024 · Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)*
7. [Paraphrase Identification via Textual Inference](https://aclanthology.org/2024.starsem-1.11/) *— 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](https://arxiv.org/abs/2410.16502) *— 2024 · arXiv:2410.16502*
9. [AMR4NLI: Interpretable and robust NLI measures from semantic graphs](https://aclanthology.org/2023.iwcs-1.29/) *— 2023 · Proceedings of the 15th International Conference on Computational Semantics*
10. [Exploring the Impact of Model Scaling on Parameter-Efficient Tuning](https://aclanthology.org/2023.emnlp-main.931/) *— 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](https://aclanthology.org/2023.findings-acl.148/) *— 2023 · Findings of the Association for Computational Linguistics: ACL 2023*
12. [A Multilingual Perspective Towards the Evaluation of Attribution Methods in Natural Language Inference](https://aclanthology.org/2022.emnlp-main.101/) *— 2022 · Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing*
13. [Analyzing Dynamic Adversarial Training Data in the Limit](https://aclanthology.org/2022.findings-acl.18/) *— 2022 · Findings of the Association for Computational Linguistics: ACL 2022*
14. [ALUE: Arabic Language Understanding Evaluation](https://aclanthology.org/2021.wanlp-1.18/) *— 2021 · Proceedings of the Sixth Arabic Natural Language Processing Workshop*
15. [Detecting Logical Relation In Contract Clauses](https://arxiv.org/abs/2111.01856) *— 2021 · arXiv:2111.01856*
16. [ERNIE-NLI: Analyzing the Impact of Domain-Specific External Knowledge on Enhanced Representations for NLI](https://aclanthology.org/2021.deelio-1.7/) *— 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](https://aclanthology.org/2020.starsem-1.3/) *— 2020 · Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics*
18. [MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity](https://aclanthology.org/2020.scil-1.40/) *— 2020 · Proceedings of the Society for Computation in Linguistics 2020*
19. [ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning](https://arxiv.org/abs/2002.04326) *— 2020 · arXiv:2002.04326*
20. [Towards the Necessity for Debiasing Natural Language Inference Datasets](https://aclanthology.org/2020.lrec-1.850/) *— 2020 · Proceedings of the Twelfth Language Resources and Evaluation Conference*
21. [EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference](https://md.mova.elamur.ai/free/en/docs/papers/ravichander-2019-equate-benchmark-evaluation-framework-quantitative/) *— our card · 2019 · Proceedings of the 23rd Conference on Computational Natural Language Learning (CoNLL)*
22. [The First Shared Task on Discourse Representation Structure Parsing](https://md.mova.elamur.ai/free/en/docs/papers/abzianidze-2019-first-shared-task-discourse-representation/) *— our card · 2019 · Proceedings of the IWCS Shared Task on Semantic Parsing*
23. [A Broad-Coverage Challenge Corpus for Sentence Understanding through Inference](https://aclanthology.org/N18-1101/) *— 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](https://aclanthology.org/N18-1041/) *— 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](https://aclanthology.org/C18-1121/) *— 2018 · Proceedings of the 27th International Conference on Computational Linguistics*
26. [Performance Impact Caused by Hidden Bias of Training Data for Recognizing Textual Entailment](https://aclanthology.org/L18-1239/) *— 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](https://aclanthology.org/W17-6801/) *— 2017 · Proceedings of the 12th International Conference on Computational Semantics (IWCS) –- Long papers*
28. [HyperLex: A Large-Scale Evaluation of Graded Lexical Entailment](https://aclanthology.org/J17-4004/) *— 2017 · Computational Linguistics*
29. [On-demand Injection of Lexical Knowledge for Recognising Textual Entailment](https://aclanthology.org/E17-1067/) *— 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](https://aclanthology.org/D16-1242/) *— 2016 · Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing*
31. [A Tableau Prover for Natural Logic and Language](https://aclanthology.org/D15-1296/) *— 2015 · Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing*
32. [A large annotated corpus for learning natural language inference](https://aclanthology.org/D15-1075/) *— 2015 · Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing*
33. [A type-logical treebank for French](https://jlm.ipipan.waw.pl/index.php/JLM/article/view/92) *— 2015 · Journal of Language Modelling*
34. [Exploiting Image Generality for Lexical Entailment Detection](https://aclanthology.org/P15-2020/) *— 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](https://aclanthology.org/N15-1118/) *— 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](https://aclanthology.org/N15-2020/) *— 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](https://aclanthology.org/E14-1054/) *— 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](https://aclanthology.org/S14-2044/) *— 2014 · Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014)*
39. [Exploiting Timegraphs in Temporal Relation Classification](https://aclanthology.org/W14-3702/) *— 2014 · Proceedings of TextGraphs-9: the workshop on Graph-based Methods for Natural Language Processing*
40. [Fact Checking: Task definition and dataset construction](https://aclanthology.org/W14-2508/) *— 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](https://aclanthology.org/2014.lilt-9.3/) *— 2014*
42. [Logical Inference on Dependency-based Compositional Semantics](https://aclanthology.org/P14-1008/) *— 2014 · Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)*
43. [Low-Dimensional Embeddings of Logic](https://aclanthology.org/W14-2409/) *— 2014 · Proceedings of the ACL 2014 Workshop on Semantic Parsing*
44. [Towards a Semantic Model for Textual Entailment Annotation](https://aclanthology.org/2014.lilt-9.10/) *— 2014*
45. [Combined Distributional and Logical Semantics](https://aclanthology.org/Q13-1015/) *— 2013*
46. [Labeled Alignment for Recognizing Textual Entailment](https://aclanthology.org/I13-1069/) *— 2013 · Proceedings of the Sixth International Joint Conference on Natural Language Processing*
47. [Montague Meets Markov: Deep Semantics with Probabilistic Logical Form](https://aclanthology.org/S13-1002/) *— 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](https://aclanthology.org/W13-0121/) *— 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](https://aclanthology.org/P12-3013/) *— 2012 · Proceedings of the ACL 2012 System Demonstrations*
50. [Integrating Logical Representations with Probabilistic Information using Markov Logic](https://aclanthology.org/W11-0112/) *— 2011 · Proceedings of the Ninth International Conference on Computational Semantics (IWCS 2011)*
51. [Semantic Representation of Negation Using Focus Detection](https://aclanthology.org/P11-1059/) *— 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](https://aclanthology.org/P10-1123/) *— 2010 · Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics*
53. [Syntactic/Semantic Structures for Textual Entailment Recognition](https://aclanthology.org/N10-1146/) *— 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](https://aclanthology.org/D10-1074/) *— 2010 · Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing*
55. [A Survey of Paraphrasing and Textual Entailment Methods](https://arxiv.org/abs/0912.3747) *— 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](https://aclanthology.org/W09-3712/) *— 2009 · Proceedings of the Eighth International Conference on Computational Semantics*
57. [An extended model of natural logic](https://aclanthology.org/W09-3714/) *— 2009 · Proceedings of the Eighth International Conference on Computational Semantics*
58. [What do We Know about Conversation Participants: Experiments on Conversation Entailment](https://aclanthology.org/W09-3930/) *— 2009 · Proceedings of the SIGDIAL 2009 Conference*
59. [CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank](https://md.mova.elamur.ai/free/en/docs/papers/bank-2007-hockenmaier-ccgbank-corpus-ccg-derivations-dependency/) *— our card · 2007*
60. [Automatic Learning of Textual Entailments with Cross-Pair Similarities](https://aclanthology.org/P06-1051/) *— 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](https://aclanthology.org/N06-1006/) *— 2006 · Proceedings of the Human Language Technology Conference of the NAACL, Main Conference*
62. [Lexical Reference: a Semantic Matching Subtask](https://aclanthology.org/W06-1621/) *— 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
- [← previous Who cites «Presupposition & VP-Ellipsis»](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/bos-1994-presupposition-vp-ellipsis/)
- [next → Who cites «Squib: Expressive Power of Abstract Meaning Representations»](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/bos-2016-squib-expressive-power-abstract-meaning/)
- [↑ back to papers/cited-by/](https://md.mova.elamur.ai/free/en/docs/papers/cited-by/)