Results 91 to 100 of about 9,375 (201)

Connecting lexicographic with maximum entropy entailment

open access: yes, 1999
. This paper reviews and relates two default reasoning mech-anisms, lexicographic (lex) and maximum entropy (me) entailment. Me-entailment requires that defaults be assigned specic strengths and it is shown that lex-entailment can be equated to me ...
Rachel A. Bourne, Simon Parsons
core  

On the Relation between Argumentation and Non-monotonic

open access: yes, 2008
I he purpose of this paper is to discuss and compare two types of methods for reasoning with inconsistent belief bases coherence based approaches to non monolonic entailment based on the selection and management of consistent subbascs and argumentation ...
Coherence-based Entailment   +1 more
core  

An Orthonormal Basis for Entailment

open access: yes, 2005
Entailment is a logical relationship in which the truth of a proposition implies the truth of another proposition. The ability to detect entailment has applications in IR, QA, and many other areas.
Zhiqiang Cai   +3 more
core  

The COLIEE 2025 Competition on Legal Information Extraction and Entailment: Overview, Discussion, and Dataset Expansion. [PDF]

open access: yesRev Socionetwork Strateg
Goebel R   +7 more
europepmc   +1 more source

Entailment and proof.

open access: yesNotre Dame Journal of Formal Logic, 1979
openaire   +2 more sources

MODELS FOR OFFICIAL ENTAILMENT

open access: yesThe Review of Symbolic Logic
Abstract This paper shows how to set up Fine’s “theory-application” type semantics so as to model the use-unrestricted “Official” consequence relation for a range of relevant logics. The frame condition matching the axiom $
openaire   +2 more sources

Fundamental limits incorporating logical reasoning into Shannon's information theory. [PDF]

open access: yesProc Natl Acad Sci U S A
Lastras LA   +7 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy