Keyword

logical consequence

Description: Logical consequence is the relation in logic whereby a conclusion must be true whenever its premises are true under a given interpretation.

Primary topic: Logic, Reasoning, and Knowledge (32%)

Wikidata ID: wiki/Q374182

OpenAlex ID: keywords/logical-consequence

A large annotated corpus for learning natural language inference

2015 · Samuel R. Bowman, Gabor Angeli, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 3,379

PDF

Negation as Failure

1978 · Keith L. Clark · Springer eBooks · 2,111

Entailment : the logic of relevance and necessity

1975 · Alan Ross Anderson, Nuel Belnap, et al. · Princeton University Press eBooks · 1,548

Probabilistic logic

1986 · Nils J. Nilsson · Artificial Intelligence · 1,238

What ‘must’ and ‘can’ must and can mean

1977 · Angelika Kratzer · Linguistics and Philosophy · 1,212

Right for the Wrong Reasons: Diagnosing Syntactic Heuristics in Natural Language Inference

2019 · R. Thomas McCoy, Ellie Pavlick, et al. · Annual Meeting of the Association for Computational Linguistics (ACL) · 943

PDF

A SICK cure for the evaluation of compositional distributional semantic models

2014 · Marco Marelli, Stefano Menini, et al. · Language Resources and Evaluation Conference (LREC) · 677

PDF

Intuitive semantics for first-degree entailments and ?coupled trees?

1976 · J. Michael Dunn · Philosophical Studies · 646

Understanding Truth

1999 · Scott Soames · 598

Learned in Translation: Contextualized Word Vectors

2017 · McCann, Bryan, Bradbury, James, et al. · arXiv (Cornell University) · 571

PDF

The pragmatics of humor support

2001 · Jennifer Hay · Humor - International Journal of Humor Research · 563

Knowledge Representation and Reasoning

2004 · Elsevier eBooks · 558

A Joint Many-Task Model: Growing a Neural Network for Multiple NLP Tasks

2017 · Kazuma Hashimoto, caiming xiong, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP) · 535

PDF

Benchmarking Zero-shot Text Classification: Datasets, Evaluation and Entailment Approach

2019 · Wenpeng Yin, Jamaal Hay, et al. · 533

PDF

Hypothesis Only Baselines in Natural Language Inference

2018 · Adam Poliak, Jason Naradowsky, et al. · Joint Conference on Lexical and Computational Semantics · 485

PDF

Relevant logics and their rivals

1982 · Richard Routley, Val Plumwood, et al. · Medical Entomology and Zoology · 476

Logic in Grammar

2013 · Gennaro Chierchia · 453

The concept of logical consequence

1991 · Choice Reviews Online · 417

Logic for Equivocators

1982 · David Lewis · Noûs · 406

Informal Rigour and Completeness Proofs

1967 · Georg Kreisel · Studies in logic and the foundations of mathematics · 401

A deduction model of belief

1986 · Kurt Konolige · CERN Document Server (European Organization for Nuclear Research) · 400

A large annotated corpus for learning natural language inference

2015 · Bowman, Samuel R., Angeli, Gabor, et al. · arXiv (Cornell University) · 395

PDF

Preprocessing and Probing Techniques for Mixed Integer Programming Problems

1994 · M. W. P. Savelsbergh · INFORMS journal on computing · 384

Vagueness in Context

2006 · Stewart Shapiro · 381

Models of Data

1969 · Patrick Suppes · Springer eBooks · 330

Works count: 6,284

Citation count: 73,050