---
title: "Who cites Recognising Textual Entailment with Logical…"
description: "The papers of the Elamur Research library that cite «Recognising Textual Entailment with Logical Inference», found in their bibliographies."
canonical: "https://research.elamur.ai/free/en/papers/bos-2005-recognising-textual-entailment-logical-inference/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/bos-2005-recognising-textual-entailment-logical-inference/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Recognising Textual Entailment with Logical…](https://md.research.elamur.ai/free/en/papers/bos-2005-recognising-textual-entailment-logical-inference/) / cited by

# 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.research.elamur.ai/free/en/papers/bos-2005-recognising-textual-entailment-logical-inference/)

1. [LSEG: A Fine-tuning Free Method for NL2FOL via Logic-Structure and Entropy Guided Inference Controlling](https://aclanthology.org/2026.findings-acl.1213/) *— 2026 · Findings of the Association for Computational Linguistics: ACL 2026*
2. [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*
3. [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*
4. [A Theorem-Proving-Based Evaluation of Neural Semantic Parsing](https://aclanthology.org/2025.blackboxnlp-1.18/) *— 2025 · Proceedings of the 8th BlackboxNLP Workshop: Analyzing and Interpreting Neural Networks for NLP*
5. [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)*
6. [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)*
7. [Can Language Models Learn Embeddings of Propositional Logic Assertions?](https://aclanthology.org/2024.lrec-main.246/) *— 2024 · Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024)*
8. [From Crowdsourced Data to High-Quality Benchmarks: Arena-Hard and BenchBuilder Pipeline](https://arxiv.org/abs/2406.11939) *— 2024 · arXiv:2406.11939*
9. [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)*
10. [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)*
11. [RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning](https://arxiv.org/abs/2410.16502) *— 2024 · arXiv:2410.16502*
12. [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*
13. [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*
14. [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*
15. [Natural Language Annotations for Reasoning about Program Semantics](https://aclanthology.org/2023.findings-emnlp.601/) *— 2023 · Findings of the Association for Computational Linguistics: EMNLP 2023*
16. [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*
17. [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*
18. [ALUE: Arabic Language Understanding Evaluation](https://aclanthology.org/2021.wanlp-1.18/) *— 2021 · Proceedings of the Sixth Arabic Natural Language Processing Workshop*
19. [Detecting Logical Relation In Contract Clauses](https://arxiv.org/abs/2111.01856) *— 2021 · arXiv:2111.01856*
20. [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*
21. [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*
22. [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*
23. [ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning](https://arxiv.org/abs/2002.04326) *— 2020 · arXiv:2002.04326*
24. [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*
25. [Combining logical and distributional methods in type-logical grammars](https://jlm.ipipan.waw.pl/index.php/JLM/article/view/231) *— 2019 · Journal of Language Modelling*
26. [EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference](https://md.research.elamur.ai/free/en/papers/ravichander-2019-equate-benchmark-evaluation-framework-quantitative/) *— our card · 2019 · Proceedings of the 23rd Conference on Computational Natural Language Learning (CoNLL)*
27. [The First Shared Task on Discourse Representation Structure Parsing](https://md.research.elamur.ai/free/en/papers/abzianidze-2019-first-shared-task-discourse-representation/) *— our card · 2019 · Proceedings of the IWCS Shared Task on Semantic Parsing*
28. [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)*
29. [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)*
30. [Adopting the Word-Pair-Dependency-Triplets with Individual Comparison for Natural Language Inference](https://aclanthology.org/C18-1035/) *— 2018 · Proceedings of the 27th International Conference on Computational Linguistics*
31. [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*
32. [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)*
33. [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*
34. [Action Languages and Question Answering](https://aclanthology.org/W17-6925/) *— 2017 · Proceedings of the 12th International Conference on Computational Semantics (IWCS) –- Short papers*
35. [HyperLex: A Large-Scale Evaluation of Graded Lexical Entailment](https://aclanthology.org/J17-4004/) *— 2017 · Computational Linguistics*
36. [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*
37. [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*
38. [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*
39. [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*
40. [A type-logical treebank for French](https://jlm.ipipan.waw.pl/index.php/JLM/article/view/92) *— 2015 · Journal of Language Modelling*
41. [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)*
42. [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*
43. [Natural Language Reasoning using Coq: Interaction and Automation](https://aclanthology.org/2015.jeptalnrecital-court.2/) *— 2015 · Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles. Articles courts*
44. [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*
45. [TATO: Leveraging on Multiple Strategies for Semantic Textual Similarity](https://aclanthology.org/S15-2034/) *— 2015 · Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015)*
46. [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*
47. [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)*
48. [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*
49. [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*
50. [Is there a place for logic in recognizing textual entailment](https://aclanthology.org/2014.lilt-9.3/) *— 2014*
51. [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)*
52. [Low-Dimensional Embeddings of Logic](https://aclanthology.org/W14-2409/) *— 2014 · Proceedings of the ACL 2014 Workshop on Semantic Parsing*
53. [The BIUTTE Research Platform for Transformation-based Textual Entailment Recognition](https://aclanthology.org/2014.lilt-9.2/) *— 2014*
54. [Towards a Semantic Model for Textual Entailment Annotation](https://aclanthology.org/2014.lilt-9.10/) *— 2014*
55. [Combined Distributional and Logical Semantics](https://aclanthology.org/Q13-1015/) *— 2013*
56. [DeepPurple: Lexical, String and Affective Feature Fusion for Sentence-Level Semantic Similarity Estimation](https://aclanthology.org/S13-1014/) *— 2013 · Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 1: Proceedings of the Main Conference and the Shared Task: Semantic Textual Similarity*
57. [Labeled Alignment for Recognizing Textual Entailment](https://aclanthology.org/I13-1069/) *— 2013 · Proceedings of the Sixth International Joint Conference on Natural Language Processing*
58. [Logic Programs vs. First-Order Formulas in Textual Inference](https://aclanthology.org/W13-0207/) *— 2013 · Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) – Short Papers*
59. [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*
60. [Semantic Annotation of Textual Entailment](https://aclanthology.org/W13-0121/) *— 2013 · Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) – Long Papers*
61. [BIUTEE: A Modular Open-Source System for Recognizing Textual Entailment](https://aclanthology.org/P12-3013/) *— 2012 · Proceedings of the ACL 2012 System Demonstrations*
62. [DeepPurple: Estimating Sentence Semantic Similarity using N-gram Regression Models and Web Snippets](https://aclanthology.org/S12-1082/) *— 2012 · *SEM 2012: The First Joint Conference on Lexical and Computational Semantics – Volume 1: Proceedings of the main conference and the shared task, and Volume 2: Proceedings of the Sixth International Workshop on Semantic Evaluation (SemEval 2012)*
63. [ICT: A Translation based Method for Cross-lingual Textual Entailment](https://aclanthology.org/S12-1108/) *— 2012 · *SEM 2012: The First Joint Conference on Lexical and Computational Semantics – Volume 1: Proceedings of the main conference and the shared task, and Volume 2: Proceedings of the Sixth International Workshop on Semantic Evaluation (SemEval 2012)*
64. [Light Textual Inference for Semantic Parsing](https://aclanthology.org/C12-2098/) *— 2012 · Proceedings of COLING 2012: Posters*
65. [Sémantique à large couverture et raisonnement spatio-temporelle Wide-coverage semantics for spatio-temporal reasoning](https://aclanthology.org/2012.tal-2.5/) *— 2012*
66. [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)*
67. [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*
68. [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*
69. [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*
70. [Towards Conversation Entailment: An Empirical Investigation](https://aclanthology.org/D10-1074/) *— 2010 · Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing*
71. [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*
72. [An Extensible Toolkit for Computational Semantics](https://aclanthology.org/W09-3712/) *— 2009 · Proceedings of the Eighth International Conference on Computational Semantics*
73. [An extended model of natural logic](https://aclanthology.org/W09-3714/) *— 2009 · Proceedings of the Eighth International Conference on Computational Semantics*
74. [What do We Know about Conversation Participants: Experiments on Conversation Entailment](https://aclanthology.org/W09-3930/) *— 2009 · Proceedings of the SIGDIAL 2009 Conference*
75. [Wide-coverage parsing of speech transcripts](https://aclanthology.org/W09-3834/) *— 2009 · Proceedings of the 11th International Conference on Parsing Technologies (IWPT'09)*
76. [Efficiently Parsing with the Product-Free Lambek Calculus](https://aclanthology.org/C08-1028/) *— 2008 · Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008)*
77. [Encoding Tree Pair-Based Graphs in Learning Algorithms: The Textual Entailment Recognition Case](https://aclanthology.org/W08-2004/) *— 2008 · Coling 2008: Proceedings of the 3rd Textgraphs workshop on Graph-based Algorithms for Natural Language Processing*
78. [The Generation of Textual Entailment with NLML in an Intelligent Dialogue system for Language Learning CSIEC](https://arxiv.org/abs/0802.4326) *— 2008 · arXiv:0802.4326*
79. [CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank](https://md.research.elamur.ai/free/en/papers/bank-2007-hockenmaier-ccgbank-corpus-ccg-derivations-dependency/) *— our card · 2007*
80. [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*
81. [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*
82. [Lexical Reference: a Semantic Matching Subtask](https://aclanthology.org/W06-1621/) *— 2006 · Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing*