Elamur Research
☰
home / papers / Recognising Textual Entailment with Logical… / 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

  1. LSEG: A Fine-tuning Free Method for NL2FOL via Logic-Structure and Entropy Guided Inference Controlling — 2026 · Findings of the Association for Computational Linguistics: ACL 2026
  2. Logic Jailbreak: Efficiently Unlocking LLM Safety Restrictions Through Formal Logical Expression — 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 — 2026 · Findings of the Association for Computational Linguistics: EACL 2026
  4. A Theorem-Proving-Based Evaluation of Neural Semantic Parsing — 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 — 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 — 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? — 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 — 2024 · arXiv:2406.11939
  9. 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)
  10. Paraphrase Identification via Textual Inference — 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 — 2024 · arXiv:2410.16502
  12. AMR4NLI: Interpretable and robust NLI measures from semantic graphs — 2023 · Proceedings of the 15th International Conference on Computational Semantics
  13. Exploring the Impact of Model Scaling on Parameter-Efficient Tuning — 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 — 2023 · Findings of the Association for Computational Linguistics: ACL 2023
  15. Natural Language Annotations for Reasoning about Program Semantics — 2023 · Findings of the Association for Computational Linguistics: EMNLP 2023
  16. 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
  17. Analyzing Dynamic Adversarial Training Data in the Limit — 2022 · Findings of the Association for Computational Linguistics: ACL 2022
  18. ALUE: Arabic Language Understanding Evaluation — 2021 · Proceedings of the Sixth Arabic Natural Language Processing Workshop
  19. Detecting Logical Relation In Contract Clauses — 2021 · arXiv:2111.01856
  20. 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
  21. Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference — 2020 · Proceedings of the Ninth Joint Conference on Lexical and Computational Semantics
  22. MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity — 2020 · Proceedings of the Society for Computation in Linguistics 2020
  23. ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning — 2020 · arXiv:2002.04326
  24. Towards the Necessity for Debiasing Natural Language Inference Datasets — 2020 · Proceedings of the Twelfth Language Resources and Evaluation Conference
  25. Combining logical and distributional methods in type-logical grammars — 2019 · Journal of Language Modelling
  26. 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)
  27. The First Shared Task on Discourse Representation Structure Parsing — our card · 2019 · Proceedings of the IWCS Shared Task on Semantic Parsing
  28. 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)
  29. 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)
  30. Adopting the Word-Pair-Dependency-Triplets with Individual Comparison for Natural Language Inference — 2018 · Proceedings of the 27th International Conference on Computational Linguistics
  31. Ensure the Correctness of the Summary: Incorporate Entailment Knowledge into Abstractive Sentence Summarization — 2018 · Proceedings of the 27th International Conference on Computational Linguistics
  32. 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)
  33. 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
  34. Action Languages and Question Answering — 2017 · Proceedings of the 12th International Conference on Computational Semantics (IWCS) –- Short papers
  35. HyperLex: A Large-Scale Evaluation of Graded Lexical Entailment — 2017 · Computational Linguistics
  36. 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
  37. 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
  38. A Tableau Prover for Natural Logic and Language — 2015 · Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
  39. A large annotated corpus for learning natural language inference — 2015 · Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing
  40. A type-logical treebank for French — 2015 · Journal of Language Modelling
  41. 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)
  42. 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
  43. Natural Language Reasoning using Coq: Interaction and Automation — 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 — 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 — 2015 · Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015)
  46. Distributional Lexical Entailment by Topic Coherence — 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 — 2014 · Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014)
  48. Exploiting Timegraphs in Temporal Relation Classification — 2014 · Proceedings of TextGraphs-9: the workshop on Graph-based Methods for Natural Language Processing
  49. Fact Checking: Task definition and dataset construction — 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 — 2014
  51. Logical Inference on Dependency-based Compositional Semantics — 2014 · Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)
  52. Low-Dimensional Embeddings of Logic — 2014 · Proceedings of the ACL 2014 Workshop on Semantic Parsing
  53. The BIUTTE Research Platform for Transformation-based Textual Entailment Recognition — 2014
  54. Towards a Semantic Model for Textual Entailment Annotation — 2014
  55. Combined Distributional and Logical Semantics — 2013
  56. DeepPurple: Lexical, String and Affective Feature Fusion for Sentence-Level Semantic Similarity Estimation — 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 — 2013 · Proceedings of the Sixth International Joint Conference on Natural Language Processing
  58. Logic Programs vs. First-Order Formulas in Textual Inference — 2013 · Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) – Short Papers
  59. 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
  60. Semantic Annotation of Textual Entailment — 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 — 2012 · Proceedings of the ACL 2012 System Demonstrations
  62. DeepPurple: Estimating Sentence Semantic Similarity using N-gram Regression Models and Web Snippets — 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 — 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 — 2012 · Proceedings of COLING 2012: Posters
  65. Sémantique à large couverture et raisonnement spatio-temporelle [Wide-coverage semantics for spatio-temporal reasoning] — 2012
  66. Integrating Logical Representations with Probabilistic Information using Markov Logic — 2011 · Proceedings of the Ninth International Conference on Computational Semantics (IWCS 2011)
  67. Semantic Representation of Negation Using Focus Detection — 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 — 2010 · Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
  69. 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
  70. Towards Conversation Entailment: An Empirical Investigation — 2010 · Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing
  71. 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
  72. An Extensible Toolkit for Computational Semantics — 2009 · Proceedings of the Eighth International Conference on Computational Semantics
  73. An extended model of natural logic — 2009 · Proceedings of the Eighth International Conference on Computational Semantics
  74. What do We Know about Conversation Participants: Experiments on Conversation Entailment — 2009 · Proceedings of the SIGDIAL 2009 Conference
  75. Wide-coverage parsing of speech transcripts — 2009 · Proceedings of the 11th International Conference on Parsing Technologies (IWPT'09)
  76. Efficiently Parsing with the Product-Free Lambek Calculus — 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 — 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 — 2008 · arXiv:0802.4326
  79. CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank — our card · 2007
  80. 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
  81. Learning to recognize features of valid textual entailments — 2006 · Proceedings of the Human Language Technology Conference of the NAACL, Main Conference
  82. Lexical Reference: a Semantic Matching Subtask — 2006 · Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing