Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952959279> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2952959279 abstract "We propose a norm of consistency for a mixed set of defeasible and strict sentences, based on a probabilistic semantics. This norm establishes a clear distinction between knowledge bases depicting exceptions and those containing outright contradictions. We then define a notion of entailment based also on probabilistic considerations and provide a characterization of the relation between consistency and entailment. We derive necessary and sufficient conditions for consistency, and provide a simple decision procedure for testing consistency and deciding whether a sentence is entailed by a database. Finally, it is shown that if al1 sentences are Horn clauses, consistency and entailment can be tested in polynomial time." @default.
- W2952959279 created "2019-06-27" @default.
- W2952959279 creator A5045809047 @default.
- W2952959279 creator A5061736835 @default.
- W2952959279 date "2013-03-27" @default.
- W2952959279 modified "2023-09-27" @default.
- W2952959279 title "Deciding Consistency of Databases Containing Defeasible and Strict Information" @default.
- W2952959279 cites W2159080219 @default.
- W2952959279 hasPublicationYear "2013" @default.
- W2952959279 type Work @default.
- W2952959279 sameAs 2952959279 @default.
- W2952959279 citedByCount "0" @default.
- W2952959279 crossrefType "posted-content" @default.
- W2952959279 hasAuthorship W2952959279A5045809047 @default.
- W2952959279 hasAuthorship W2952959279A5061736835 @default.
- W2952959279 hasConcept C134752490 @default.
- W2952959279 hasConcept C140843580 @default.
- W2952959279 hasConcept C154945302 @default.
- W2952959279 hasConcept C175652121 @default.
- W2952959279 hasConcept C17744445 @default.
- W2952959279 hasConcept C191795146 @default.
- W2952959279 hasConcept C193856179 @default.
- W2952959279 hasConcept C199539241 @default.
- W2952959279 hasConcept C204321447 @default.
- W2952959279 hasConcept C2776436953 @default.
- W2952959279 hasConcept C2777530160 @default.
- W2952959279 hasConcept C37279795 @default.
- W2952959279 hasConcept C41008148 @default.
- W2952959279 hasConcept C49937458 @default.
- W2952959279 hasConcept C77088390 @default.
- W2952959279 hasConcept C80444323 @default.
- W2952959279 hasConcept C82029504 @default.
- W2952959279 hasConcept C93361087 @default.
- W2952959279 hasConcept C95318506 @default.
- W2952959279 hasConceptScore W2952959279C134752490 @default.
- W2952959279 hasConceptScore W2952959279C140843580 @default.
- W2952959279 hasConceptScore W2952959279C154945302 @default.
- W2952959279 hasConceptScore W2952959279C175652121 @default.
- W2952959279 hasConceptScore W2952959279C17744445 @default.
- W2952959279 hasConceptScore W2952959279C191795146 @default.
- W2952959279 hasConceptScore W2952959279C193856179 @default.
- W2952959279 hasConceptScore W2952959279C199539241 @default.
- W2952959279 hasConceptScore W2952959279C204321447 @default.
- W2952959279 hasConceptScore W2952959279C2776436953 @default.
- W2952959279 hasConceptScore W2952959279C2777530160 @default.
- W2952959279 hasConceptScore W2952959279C37279795 @default.
- W2952959279 hasConceptScore W2952959279C41008148 @default.
- W2952959279 hasConceptScore W2952959279C49937458 @default.
- W2952959279 hasConceptScore W2952959279C77088390 @default.
- W2952959279 hasConceptScore W2952959279C80444323 @default.
- W2952959279 hasConceptScore W2952959279C82029504 @default.
- W2952959279 hasConceptScore W2952959279C93361087 @default.
- W2952959279 hasConceptScore W2952959279C95318506 @default.
- W2952959279 hasLocation W29529592791 @default.
- W2952959279 hasOpenAccess W2952959279 @default.
- W2952959279 hasPrimaryLocation W29529592791 @default.
- W2952959279 hasRelatedWork W1489830241 @default.
- W2952959279 hasRelatedWork W1603831098 @default.
- W2952959279 hasRelatedWork W1702467604 @default.
- W2952959279 hasRelatedWork W1784322616 @default.
- W2952959279 hasRelatedWork W1966391439 @default.
- W2952959279 hasRelatedWork W1997118757 @default.
- W2952959279 hasRelatedWork W2039699383 @default.
- W2952959279 hasRelatedWork W2046580268 @default.
- W2952959279 hasRelatedWork W2061967591 @default.
- W2952959279 hasRelatedWork W2064581668 @default.
- W2952959279 hasRelatedWork W2142820055 @default.
- W2952959279 hasRelatedWork W2155364795 @default.
- W2952959279 hasRelatedWork W2433879910 @default.
- W2952959279 hasRelatedWork W2790943123 @default.
- W2952959279 hasRelatedWork W2899405748 @default.
- W2952959279 hasRelatedWork W2912404530 @default.
- W2952959279 hasRelatedWork W2952189151 @default.
- W2952959279 hasRelatedWork W2991010830 @default.
- W2952959279 hasRelatedWork W2993788482 @default.
- W2952959279 hasRelatedWork W3021110569 @default.
- W2952959279 isParatext "false" @default.
- W2952959279 isRetracted "false" @default.
- W2952959279 magId "2952959279" @default.
- W2952959279 workType "article" @default.