Results 231 to 235 of about 1,899 (235)

David Makinson. An alternative characterisation of first-degree entailment. Logique et analyse, n.s. vol. 8 (1965), pp. 308–311. (See Errata, ibid., vol. 9, p. 394.)

Journal of Symbolic Logic, 1971
openaire   +1 more source

Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary

Web Semantics, 2005
exaly  

Explicit and Implicit Belief in First Degree Entailment with Strict Implication

Igor Sedlár, Pietro Vigiani
openaire   +1 more source

First-degree Entailment and Binary Consequence Systems.

FLAP, 2020
openaire   +1 more source

A WordNet-based semantic approach to textual entailment and cross-lingual textual entailment

International Journal of Machine Learning and Cybernetics, 2011
exaly