Results 31 to 40 of about 9,375 (201)
Logic-Based Inference With Phrase Abduction Using Vision-and-Language Models
IEEE Access, 2023 Recognizing Textual Entailment (RTE) is among the most fundamental tasks in natural language processing applications, such as question answering and machine translation.
Akiyoshi Tomihari, Hitomi Yanaka
doaj +1 more source
Extended RDF: Computability and Complexity Issues [PDF]
, 2015 ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based
Analyti, Anastasia +3 more
core +1 more source
L’implicite et l’interface sémantique-pragmatique : où passe la frontière ?
Corela, 2018 The semantics-pragmatics interface issue appeared at the beginning of the Gricean turn, based on the concepts of non-natural meaning and implicature. The main issue is the criteria defining linguistic meaning from intended speaker’s meaning.
Jacques Moeschler
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
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
Some properties of intercategorial entailment [PDF]
, 2003 An equivalent definition of the intercategorial entailment (i.e. an entailment between expressions of different but functionally related categories) is given and some other formal properties are established.
Zuber, R.
core +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
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
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
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