FRINK Linked Data Fragments server

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

• W2028127317 endingPage "642" @default.
• W2028127317 startingPage "627" @default.
• W2028127317 abstract "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 paper 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.
• W2028127317 created "2016-06-24" @default.
• W2028127317 creator A5070574379 @default.
• W2028127317 creator A5071516790 @default.
• W2028127317 date "2010-07-01" @default.
• W2028127317 modified "2023-10-03" @default.
• W2028127317 title "A declarative semantics for CLP with qualification and proximity" @default.
• W2028127317 cites W1540782103 @default.
• W2028127317 cites W1577536563 @default.
• W2028127317 cites W1830530871 @default.
• W2028127317 cites W1974338077 @default.
• W2028127317 cites W1984723670 @default.
• W2028127317 cites W1988066322 @default.
• W2028127317 cites W2005863443 @default.
• W2028127317 cites W2007452568 @default.
• W2028127317 cites W2019529630 @default.
• W2028127317 cites W2028127317 @default.
• W2028127317 cites W2056640187 @default.
• W2028127317 cites W2060498389 @default.
• W2028127317 cites W2078843353 @default.
• W2028127317 cites W2079127545 @default.
• W2028127317 cites W2084254022 @default.
• W2028127317 cites W2113788696 @default.
• W2028127317 cites W2123396057 @default.
• W2028127317 cites W2129802691 @default.
• W2028127317 cites W2141538006 @default.
• W2028127317 cites W2229774222 @default.
• W2028127317 cites W2569549435 @default.
• W2028127317 cites W4242972422 @default.
• W2028127317 cites W4246030335 @default.
• W2028127317 doi "https://doi.org/10.1017/s1471068410000323" @default.
• W2028127317 hasPublicationYear "2010" @default.
• W2028127317 type Work @default.
• W2028127317 sameAs 2028127317 @default.
• W2028127317 citedByCount "12" @default.
• W2028127317 countsByYear W20281273172012 @default.
• W2028127317 countsByYear W20281273172014 @default.
• W2028127317 countsByYear W20281273172015 @default.
• W2028127317 countsByYear W20281273172017 @default.
• W2028127317 countsByYear W20281273172018 @default.
• W2028127317 countsByYear W20281273172023 @default.
• W2028127317 crossrefType "journal-article" @default.
• W2028127317 hasAuthorship W2028127317A5070574379 @default.
• W2028127317 hasAuthorship W2028127317A5071516790 @default.
• W2028127317 hasBestOaLocation W20281273172 @default.
• W2028127317 hasConcept C127001435 @default.
• W2028127317 hasConcept C128838566 @default.
• W2028127317 hasConcept C134306372 @default.
• W2028127317 hasConcept C146206909 @default.
• W2028127317 hasConcept C156325763 @default.
• W2028127317 hasConcept C177148314 @default.
• W2028127317 hasConcept C182620335 @default.
• W2028127317 hasConcept C184337299 @default.
• W2028127317 hasConcept C199360897 @default.
• W2028127317 hasConcept C2778029271 @default.
• W2028127317 hasConcept C33923547 @default.
• W2028127317 hasConcept C34165917 @default.
• W2028127317 hasConcept C41008148 @default.
• W2028127317 hasConcept C45374587 @default.
• W2028127317 hasConcept C46274116 @default.
• W2028127317 hasConcept C50033165 @default.
• W2028127317 hasConcept C77618280 @default.
• W2028127317 hasConcept C80444323 @default.
• W2028127317 hasConcept C96146094 @default.
• W2028127317 hasConceptScore W2028127317C127001435 @default.
• W2028127317 hasConceptScore W2028127317C128838566 @default.
• W2028127317 hasConceptScore W2028127317C134306372 @default.
• W2028127317 hasConceptScore W2028127317C146206909 @default.
• W2028127317 hasConceptScore W2028127317C156325763 @default.
• W2028127317 hasConceptScore W2028127317C177148314 @default.
• W2028127317 hasConceptScore W2028127317C182620335 @default.
• W2028127317 hasConceptScore W2028127317C184337299 @default.
• W2028127317 hasConceptScore W2028127317C199360897 @default.
• W2028127317 hasConceptScore W2028127317C2778029271 @default.
• W2028127317 hasConceptScore W2028127317C33923547 @default.
• W2028127317 hasConceptScore W2028127317C34165917 @default.
• W2028127317 hasConceptScore W2028127317C41008148 @default.
• W2028127317 hasConceptScore W2028127317C45374587 @default.
• W2028127317 hasConceptScore W2028127317C46274116 @default.
• W2028127317 hasConceptScore W2028127317C50033165 @default.
• W2028127317 hasConceptScore W2028127317C77618280 @default.
• W2028127317 hasConceptScore W2028127317C80444323 @default.
• W2028127317 hasConceptScore W2028127317C96146094 @default.
• W2028127317 hasIssue "4-6" @default.
• W2028127317 hasLocation W20281273171 @default.
• W2028127317 hasLocation W20281273172 @default.
• W2028127317 hasLocation W20281273173 @default.
• W2028127317 hasLocation W20281273174 @default.
• W2028127317 hasOpenAccess W2028127317 @default.
• W2028127317 hasPrimaryLocation W20281273171 @default.
• W2028127317 hasRelatedWork W1517132137 @default.
• W2028127317 hasRelatedWork W1535706669 @default.
• W2028127317 hasRelatedWork W2028127317 @default.
• W2028127317 hasRelatedWork W2071557240 @default.
• W2028127317 hasRelatedWork W2121389878 @default.
• W2028127317 hasRelatedWork W2157541508 @default.
• W2028127317 hasRelatedWork W3046611983 @default.
• W2028127317 hasRelatedWork W3097190819 @default.

• next