FRINK Linked Data Fragments server

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

• W25684183 abstract "Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this report we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions." @default.
• W25684183 created "2016-06-24" @default.
• W25684183 creator A5070574379 @default.
• W25684183 creator A5071516790 @default.
• W25684183 date "2010-09-10" @default.
• W25684183 modified "2023-09-27" @default.
• W25684183 title "Fixpoint & Proof-theoretic Semantics for CLP with Qualification and Proximity" @default.
• W25684183 cites W1524273089 @default.
• W25684183 cites W1540782103 @default.
• W25684183 cites W1541434994 @default.
• W25684183 cites W1543028224 @default.
• W25684183 cites W1583295953 @default.
• W25684183 cites W1590783430 @default.
• W25684183 cites W1601478483 @default.
• W25684183 cites W1920589666 @default.
• W25684183 cites W1974338077 @default.
• W25684183 cites W1983937740 @default.
• W25684183 cites W1984723670 @default.
• W25684183 cites W1988066322 @default.
• W25684183 cites W2005863443 @default.
• W25684183 cites W2010711074 @default.
• W25684183 cites W2018700088 @default.
• W25684183 cites W2019529630 @default.
• W25684183 cites W2026305352 @default.
• W25684183 cites W2044640909 @default.
• W25684183 cites W2054839338 @default.
• W25684183 cites W2055807110 @default.
• W25684183 cites W2056640187 @default.
• W25684183 cites W2060498389 @default.
• W25684183 cites W2063727779 @default.
• W25684183 cites W2078843353 @default.
• W25684183 cites W2084254022 @default.
• W25684183 cites W2089111669 @default.
• W25684183 cites W2108911687 @default.
• W25684183 cites W2110182592 @default.
• W25684183 cites W2123396057 @default.
• W25684183 cites W2141538006 @default.
• W25684183 cites W2143382644 @default.
• W25684183 cites W2147915179 @default.
• W25684183 cites W2164833657 @default.
• W25684183 cites W2229774222 @default.
• W25684183 cites W2330022088 @default.
• W25684183 cites W2547031885 @default.
• W25684183 cites W2569549435 @default.
• W25684183 cites W2612793397 @default.
• W25684183 cites W2912565176 @default.
• W25684183 cites W166900864 @default.
• W25684183 cites W1977760557 @default.
• W25684183 cites W2585806884 @default.
• W25684183 hasPublicationYear "2010" @default.
• W25684183 type Work @default.
• W25684183 sameAs 25684183 @default.
• W25684183 citedByCount "0" @default.
• W25684183 crossrefType "posted-content" @default.
• W25684183 hasAuthorship W25684183A5070574379 @default.
• W25684183 hasAuthorship W25684183A5071516790 @default.
• W25684183 hasConcept C128838566 @default.
• W25684183 hasConcept C134306372 @default.
• W25684183 hasConcept C156325763 @default.
• W25684183 hasConcept C177148314 @default.
• W25684183 hasConcept C184337299 @default.
• W25684183 hasConcept C199360897 @default.
• W25684183 hasConcept C207648694 @default.
• W25684183 hasConcept C2778029271 @default.
• W25684183 hasConcept C33923547 @default.
• W25684183 hasConcept C41008148 @default.
• W25684183 hasConcept C45374587 @default.
• W25684183 hasConcept C46274116 @default.
• W25684183 hasConcept C61151141 @default.
• W25684183 hasConcept C77618280 @default.
• W25684183 hasConcept C80444323 @default.
• W25684183 hasConcept C96146094 @default.
• W25684183 hasConceptScore W25684183C128838566 @default.
• W25684183 hasConceptScore W25684183C134306372 @default.
• W25684183 hasConceptScore W25684183C156325763 @default.
• W25684183 hasConceptScore W25684183C177148314 @default.
• W25684183 hasConceptScore W25684183C184337299 @default.
• W25684183 hasConceptScore W25684183C199360897 @default.
• W25684183 hasConceptScore W25684183C207648694 @default.
• W25684183 hasConceptScore W25684183C2778029271 @default.
• W25684183 hasConceptScore W25684183C33923547 @default.
• W25684183 hasConceptScore W25684183C41008148 @default.
• W25684183 hasConceptScore W25684183C45374587 @default.
• W25684183 hasConceptScore W25684183C46274116 @default.
• W25684183 hasConceptScore W25684183C61151141 @default.
• W25684183 hasConceptScore W25684183C77618280 @default.
• W25684183 hasConceptScore W25684183C80444323 @default.
• W25684183 hasConceptScore W25684183C96146094 @default.
• W25684183 hasLocation W256841831 @default.
• W25684183 hasOpenAccess W25684183 @default.
• W25684183 hasPrimaryLocation W256841831 @default.
• W25684183 hasRelatedWork W1493799155 @default.
• W25684183 hasRelatedWork W1578725873 @default.
• W25684183 hasRelatedWork W1585132271 @default.
• W25684183 hasRelatedWork W1603383066 @default.
• W25684183 hasRelatedWork W1886302555 @default.
• W25684183 hasRelatedWork W191799166 @default.
• W25684183 hasRelatedWork W2010291760 @default.
• W25684183 hasRelatedWork W2028127317 @default.
• W25684183 hasRelatedWork W2123396057 @default.

• next