FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1592619431> ?p ?o ?g. }

• W1592619431 endingPage "417" @default.
• W1592619431 startingPage "381" @default.
• W1592619431 abstract "We introduce a fixpoint semantics for logic programs with two kinds of negation: an explicit negation and a negation-by-failure. The programs may also be prioritized, that is, their clauses may be arranged in a partial order that reflects preferences among the corresponding rules. This yields a robust framework for representing knowledge in logic programs with a considerable expressive power. The declarative semantics for such programs is particularly suitable for reasoning with uncertainty, in the sense that it pinpoints the incomplete and inconsistent parts of the data, and regards the remaining information as classically consistent. As such, this semantics allows to draw conclusions in a non-trivial way, even in cases that the logic programs under consideration are not consistent. Finally, we show that this formalism may be regarded as a simple and flexible process for belief revision." @default.
• W1592619431 created "2016-06-24" @default.
• W1592619431 creator A5028643056 @default.
• W1592619431 date "2002-01-01" @default.
• W1592619431 modified "2023-09-27" @default.
• W1592619431 cites W1481955269 @default.
• W1592619431 cites W1483568252 @default.
• W1592619431 cites W1487409515 @default.
• W1592619431 cites W1501129163 @default.
• W1592619431 cites W1511711492 @default.
• W1592619431 cites W1513716387 @default.
• W1592619431 cites W1514150835 @default.
• W1592619431 cites W1539588200 @default.
• W1592619431 cites W1541434994 @default.
• W1592619431 cites W1596327935 @default.
• W1592619431 cites W159748828 @default.
• W1592619431 cites W1601625095 @default.
• W1592619431 cites W1604409916 @default.
• W1592619431 cites W1635116973 @default.
• W1592619431 cites W1672891595 @default.
• W1592619431 cites W169339193 @default.
• W1592619431 cites W1756530980 @default.
• W1592619431 cites W1766332311 @default.
• W1592619431 cites W1886561195 @default.
• W1592619431 cites W194816663 @default.
• W1592619431 cites W1956187187 @default.
• W1592619431 cites W1968513265 @default.
• W1592619431 cites W1979129485 @default.
• W1592619431 cites W1995375207 @default.
• W1592619431 cites W2001805670 @default.
• W1592619431 cites W2003531456 @default.
• W1592619431 cites W2022427243 @default.
• W1592619431 cites W2027379370 @default.
• W1592619431 cites W2046213250 @default.
• W1592619431 cites W2048333161 @default.
• W1592619431 cites W207571663 @default.
• W1592619431 cites W2080142817 @default.
• W1592619431 cites W2084592088 @default.
• W1592619431 cites W2087490886 @default.
• W1592619431 cites W2090798572 @default.
• W1592619431 cites W2093713825 @default.
• W1592619431 cites W2105631606 @default.
• W1592619431 cites W2108911687 @default.
• W1592619431 cites W2142616542 @default.
• W1592619431 cites W2178257282 @default.
• W1592619431 cites W2914334278 @default.
• W1592619431 cites W2950321465 @default.
• W1592619431 cites W31561947 @default.
• W1592619431 cites W35390552 @default.
• W1592619431 cites W93792258 @default.
• W1592619431 cites W99071911 @default.
• W1592619431 doi "https://doi.org/10.1023/a:1016358201013" @default.
• W1592619431 hasPublicationYear "2002" @default.
• W1592619431 type Work @default.
• W1592619431 sameAs 1592619431 @default.
• W1592619431 citedByCount "33" @default.
• W1592619431 countsByYear W15926194312012 @default.
• W1592619431 countsByYear W15926194312013 @default.
• W1592619431 countsByYear W15926194312015 @default.
• W1592619431 countsByYear W15926194312017 @default.
• W1592619431 countsByYear W15926194312021 @default.
• W1592619431 countsByYear W15926194312022 @default.
• W1592619431 crossrefType "journal-article" @default.
• W1592619431 hasAuthorship W1592619431A5028643056 @default.
• W1592619431 hasBestOaLocation W15926194312 @default.
• W1592619431 hasConcept C127001435 @default.
• W1592619431 hasConcept C142362112 @default.
• W1592619431 hasConcept C153349607 @default.
• W1592619431 hasConcept C156325763 @default.
• W1592619431 hasConcept C184337299 @default.
• W1592619431 hasConcept C194146651 @default.
• W1592619431 hasConcept C195818886 @default.
• W1592619431 hasConcept C199360897 @default.
• W1592619431 hasConcept C2185349 @default.
• W1592619431 hasConcept C33923547 @default.
• W1592619431 hasConcept C41008148 @default.
• W1592619431 hasConcept C558565934 @default.
• W1592619431 hasConcept C73301696 @default.
• W1592619431 hasConcept C80444323 @default.
• W1592619431 hasConceptScore W1592619431C127001435 @default.
• W1592619431 hasConceptScore W1592619431C142362112 @default.
• W1592619431 hasConceptScore W1592619431C153349607 @default.
• W1592619431 hasConceptScore W1592619431C156325763 @default.
• W1592619431 hasConceptScore W1592619431C184337299 @default.
• W1592619431 hasConceptScore W1592619431C194146651 @default.
• W1592619431 hasConceptScore W1592619431C195818886 @default.
• W1592619431 hasConceptScore W1592619431C199360897 @default.
• W1592619431 hasConceptScore W1592619431C2185349 @default.
• W1592619431 hasConceptScore W1592619431C33923547 @default.
• W1592619431 hasConceptScore W1592619431C41008148 @default.
• W1592619431 hasConceptScore W1592619431C558565934 @default.
• W1592619431 hasConceptScore W1592619431C73301696 @default.
• W1592619431 hasConceptScore W1592619431C80444323 @default.
• W1592619431 hasIssue "4" @default.
• W1592619431 hasLocation W15926194311 @default.
• W1592619431 hasLocation W15926194312 @default.
• W1592619431 hasOpenAccess W1592619431 @default.
• W1592619431 hasPrimaryLocation W15926194311 @default.

• next