Matches in SemOpenAlex for { <https://semopenalex.org/work/W1661776970> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1661776970 abstract "We address the problem of integrating information coming from different sources. The information consists of facts that a central server collects and tries to combine using (a) a set of logical rules, i.e. a logic program, and (b) a hypothesis representing the server's own estimates. In such a setting incomplete information from a source or contradictory information from different sources necessitate the use of many-valued logics in which programs can be evaluated and hypotheses can be tested. To carry out such activities we propose a formal framework based on bilattices such as Belnap's four-valued logics. In this framework we work with the class of programs defined by Fitting and we develop a theory for information integration. We also establish an intuitively appealing connection between our hypothesis testing mechanism on the one hand, and the well-founded semantics and Kripke-Kleene semantics of Datalog programs with negation, on the other hand." @default.
- W1661776970 created "2016-06-24" @default.
- W1661776970 creator A5015986059 @default.
- W1661776970 creator A5034372518 @default.
- W1661776970 creator A5069649514 @default.
- W1661776970 date "2001-11-27" @default.
- W1661776970 modified "2023-09-26" @default.
- W1661776970 title "Hypotheses Founded Semantics of Logic Programs for Information Integration in Multi-Valued Logics" @default.
- W1661776970 cites W1487409515 @default.
- W1661776970 cites W1569949931 @default.
- W1661776970 cites W1601625095 @default.
- W1661776970 cites W1672891595 @default.
- W1661776970 cites W176216235 @default.
- W1661776970 cites W194413726 @default.
- W1661776970 cites W1968513265 @default.
- W1661776970 cites W1979129485 @default.
- W1661776970 cites W2001805670 @default.
- W1661776970 cites W2003531456 @default.
- W1661776970 cites W2010160994 @default.
- W1661776970 cites W2048333161 @default.
- W1661776970 cites W2066837227 @default.
- W1661776970 cites W2068886974 @default.
- W1661776970 cites W2093713825 @default.
- W1661776970 cites W2109160451 @default.
- W1661776970 cites W2132745831 @default.
- W1661776970 cites W2788901193 @default.
- W1661776970 hasPublicationYear "2001" @default.
- W1661776970 type Work @default.
- W1661776970 sameAs 1661776970 @default.
- W1661776970 citedByCount "0" @default.
- W1661776970 crossrefType "posted-content" @default.
- W1661776970 hasAuthorship W1661776970A5015986059 @default.
- W1661776970 hasAuthorship W1661776970A5034372518 @default.
- W1661776970 hasAuthorship W1661776970A5069649514 @default.
- W1661776970 hasConcept C127001435 @default.
- W1661776970 hasConcept C128838566 @default.
- W1661776970 hasConcept C148230440 @default.
- W1661776970 hasConcept C154945302 @default.
- W1661776970 hasConcept C156325763 @default.
- W1661776970 hasConcept C177264268 @default.
- W1661776970 hasConcept C184337299 @default.
- W1661776970 hasConcept C199360897 @default.
- W1661776970 hasConcept C207648694 @default.
- W1661776970 hasConcept C2185349 @default.
- W1661776970 hasConcept C2777212361 @default.
- W1661776970 hasConcept C2987117450 @default.
- W1661776970 hasConcept C32241873 @default.
- W1661776970 hasConcept C41008148 @default.
- W1661776970 hasConcept C58041814 @default.
- W1661776970 hasConcept C80444323 @default.
- W1661776970 hasConcept C89497691 @default.
- W1661776970 hasConceptScore W1661776970C127001435 @default.
- W1661776970 hasConceptScore W1661776970C128838566 @default.
- W1661776970 hasConceptScore W1661776970C148230440 @default.
- W1661776970 hasConceptScore W1661776970C154945302 @default.
- W1661776970 hasConceptScore W1661776970C156325763 @default.
- W1661776970 hasConceptScore W1661776970C177264268 @default.
- W1661776970 hasConceptScore W1661776970C184337299 @default.
- W1661776970 hasConceptScore W1661776970C199360897 @default.
- W1661776970 hasConceptScore W1661776970C207648694 @default.
- W1661776970 hasConceptScore W1661776970C2185349 @default.
- W1661776970 hasConceptScore W1661776970C2777212361 @default.
- W1661776970 hasConceptScore W1661776970C2987117450 @default.
- W1661776970 hasConceptScore W1661776970C32241873 @default.
- W1661776970 hasConceptScore W1661776970C41008148 @default.
- W1661776970 hasConceptScore W1661776970C58041814 @default.
- W1661776970 hasConceptScore W1661776970C80444323 @default.
- W1661776970 hasConceptScore W1661776970C89497691 @default.
- W1661776970 hasLocation W16617769701 @default.
- W1661776970 hasOpenAccess W1661776970 @default.
- W1661776970 hasPrimaryLocation W16617769701 @default.
- W1661776970 hasRelatedWork W135268578 @default.
- W1661776970 hasRelatedWork W1520672662 @default.
- W1661776970 hasRelatedWork W1533142698 @default.
- W1661776970 hasRelatedWork W1546571171 @default.
- W1661776970 hasRelatedWork W1585101125 @default.
- W1661776970 hasRelatedWork W1596613914 @default.
- W1661776970 hasRelatedWork W1601873068 @default.
- W1661776970 hasRelatedWork W1979017246 @default.
- W1661776970 hasRelatedWork W1986809845 @default.
- W1661776970 hasRelatedWork W2021875789 @default.
- W1661776970 hasRelatedWork W2029606887 @default.
- W1661776970 hasRelatedWork W2048333161 @default.
- W1661776970 hasRelatedWork W2089408484 @default.
- W1661776970 hasRelatedWork W2103909532 @default.
- W1661776970 hasRelatedWork W2145154541 @default.
- W1661776970 hasRelatedWork W2147029412 @default.
- W1661776970 hasRelatedWork W2168174363 @default.
- W1661776970 hasRelatedWork W2508720778 @default.
- W1661776970 hasRelatedWork W96088942 @default.
- W1661776970 hasRelatedWork W1836249412 @default.
- W1661776970 isParatext "false" @default.
- W1661776970 isRetracted "false" @default.
- W1661776970 magId "1661776970" @default.
- W1661776970 workType "article" @default.