Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000398632> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2000398632 endingPage "141" @default.
- W2000398632 startingPage "115" @default.
- W2000398632 abstract "Databases and knowledge bases could be inconsistent in many ways. The semantical characterization of deductive databases that contain disjunctive or indefinite information has been investigated by Minker and his co-workers (1982, 1987, 1988) and by Henschen and his co-workers (1985, 1988). In both cases, there is one salient feature: the databases are assumed to consist of sentences of the form: A 1 ∨ ⋯ ∨, A n ← B 1 &⋯& B m , where each A i and each B j is an atom and n ⩾ 1. Thus, the database is implicitly assumed to be consistent (it is easy to construct a model for any set of such formulas). What we study here is a method for reasoning about such databases when they are not necessarily consistent. Intuitively, this occurs when the A i 's are restricted not just to atomic formulas, but also to negated atoms. We use the device of annotated atoms introduced by Blair and Subrahmanian (1987, 1988) to achieve this effect. Our semantics is closely related to the existing work of Newton da Costa (1974–1987), whose pioneering work on paraconsistency provides the semantical basis for our formal development." @default.
- W2000398632 created "2016-06-24" @default.
- W2000398632 creator A5038645035 @default.
- W2000398632 date "1992-02-01" @default.
- W2000398632 modified "2023-09-27" @default.
- W2000398632 title "Paraconsistent disjunctive deductive databases" @default.
- W2000398632 cites W1489133937 @default.
- W2000398632 cites W1967701834 @default.
- W2000398632 cites W1970637119 @default.
- W2000398632 cites W2029534504 @default.
- W2000398632 cites W2058656940 @default.
- W2000398632 cites W2086832424 @default.
- W2000398632 cites W2090409094 @default.
- W2000398632 cites W2098601109 @default.
- W2000398632 cites W2142616542 @default.
- W2000398632 doi "https://doi.org/10.1016/0304-3975(92)90214-z" @default.
- W2000398632 hasPublicationYear "1992" @default.
- W2000398632 type Work @default.
- W2000398632 sameAs 2000398632 @default.
- W2000398632 citedByCount "42" @default.
- W2000398632 countsByYear W20003986322012 @default.
- W2000398632 countsByYear W20003986322017 @default.
- W2000398632 countsByYear W20003986322019 @default.
- W2000398632 crossrefType "journal-article" @default.
- W2000398632 hasAuthorship W2000398632A5038645035 @default.
- W2000398632 hasBestOaLocation W20003986321 @default.
- W2000398632 hasConcept C102993220 @default.
- W2000398632 hasConcept C16796852 @default.
- W2000398632 hasConcept C199360897 @default.
- W2000398632 hasConcept C203659156 @default.
- W2000398632 hasConcept C204321447 @default.
- W2000398632 hasConcept C23123220 @default.
- W2000398632 hasConcept C2777502361 @default.
- W2000398632 hasConcept C33923547 @default.
- W2000398632 hasConcept C41008148 @default.
- W2000398632 hasConcept C77088390 @default.
- W2000398632 hasConcept C80444323 @default.
- W2000398632 hasConceptScore W2000398632C102993220 @default.
- W2000398632 hasConceptScore W2000398632C16796852 @default.
- W2000398632 hasConceptScore W2000398632C199360897 @default.
- W2000398632 hasConceptScore W2000398632C203659156 @default.
- W2000398632 hasConceptScore W2000398632C204321447 @default.
- W2000398632 hasConceptScore W2000398632C23123220 @default.
- W2000398632 hasConceptScore W2000398632C2777502361 @default.
- W2000398632 hasConceptScore W2000398632C33923547 @default.
- W2000398632 hasConceptScore W2000398632C41008148 @default.
- W2000398632 hasConceptScore W2000398632C77088390 @default.
- W2000398632 hasConceptScore W2000398632C80444323 @default.
- W2000398632 hasIssue "1" @default.
- W2000398632 hasLocation W20003986321 @default.
- W2000398632 hasOpenAccess W2000398632 @default.
- W2000398632 hasPrimaryLocation W20003986321 @default.
- W2000398632 hasRelatedWork W1508480023 @default.
- W2000398632 hasRelatedWork W1527862632 @default.
- W2000398632 hasRelatedWork W2112962394 @default.
- W2000398632 hasRelatedWork W2118300983 @default.
- W2000398632 hasRelatedWork W2135396778 @default.
- W2000398632 hasRelatedWork W2384888906 @default.
- W2000398632 hasRelatedWork W2740990710 @default.
- W2000398632 hasRelatedWork W3137189469 @default.
- W2000398632 hasRelatedWork W4235530921 @default.
- W2000398632 hasRelatedWork W4243252198 @default.
- W2000398632 hasVolume "93" @default.
- W2000398632 isParatext "false" @default.
- W2000398632 isRetracted "false" @default.
- W2000398632 magId "2000398632" @default.
- W2000398632 workType "article" @default.