Results 31 to 40 of about 6,523 (306)
Defining Textual Entailment [PDF]
, 2018 Textual entailment is a relationship that obtains between fragments of text when one fragment in some sense implies the other fragment. The automation of textual entailment recognition supports a wide variety of text-based tasks, including information ...
Renear, Allen H +9 more
core +1 more source
Explainable Semantic Text Relations: A Question-Answering Framework for Comparing Document Content
InformationUnderstanding semantic relations between two texts is crucial for many information and document management tasks, in which one must determine whether the content fully overlaps, is completely superseded by another document, or overlaps only partially ...
Yehudit Aperstein +3 more
doaj +1 more source
On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency
Axioms, 2016 In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus.
Urszula Wybraniec-Skardowska
doaj +1 more source
A set of semantic and pragmatic criteria for descriptive vs. metalinguistic negation
Glossa, 2018 This article is about metalinguistic negation and the types of criteria making a straightforward distinction between descriptive (DN) and metalinguistic negation (MN). First, I will distinguish three types of negation: one type of DN and two types of MN,
Jacques Moeschler
doaj +2 more sources
Algorithmic definitions for KLM-style defeasible disjunctive Datalog
South African Computer Journal, 2020 Datalog is a declarative logic programming language that uses classical logical reasoning as its basic form of reasoning. Defeasible reasoning is a form of non-classical reasoning that is able to deal with exceptions to general assertions in a formal ...
Matthew Morris, Tala Ross, Thomas Meyer
doaj +1 more source
The Semantics of Entailment Omega
Notre Dame Journal of Formal Logic, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dezani-Ciancaglini, Mariangiola +2 more
openaire +2 more sources
Updating RDFS ABoxes and TBoxes in SPARQL
, 2014 Updates in RDF stores have recently been standardised in the SPARQL 1.1 Update specification. However, computing answers entailed by ontologies in triple stores is usually treated orthogonal to updates. Even the W3C's recent SPARQL 1.1 Update language
Axel Polleres +5 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background 131I‐metaiodobenzylguanidine (131I‐MIBG) radiotherapy is a key treatment for relapsed and refractory (R/R) neuroblastoma (NB). Patients with R/R disease treated in the modern era are increasingly exposed to anti‐GD2 immunotherapy, which exerts selective pressure and may modify both tumor cell state and microenvironment.
Benjamin J. Lerman +7 more
wiley +1 more source
Glossa, 2019 In this response to Erlewine & Gould (2016), we argue that an account of internally-headed relative clauses using Inverse Trace Conversion and the maximal informativeness semantics for definites of von Fintel et al.
Junko Shimoyama, Keir Moulton
doaj +2 more sources
Entailment among probabilistic implications [PDF]
, 2015 We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective, the semantics of this sort of implication is defined in ...
Balcázar Navarro, José Luis +3 more
core +1 more source