Matches in SemOpenAlex for { <https://semopenalex.org/work/W1803882826> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1803882826 abstract "Uncertainty in Logic Programming has been investigated since about 25 years, publishing papers dealing with various approaches to semantics and different applications. This report is intended as a first step towards the investigation of qualified computations in Constraint Functional Logic Programming, including uncertain computations as a particular case. We revise an early proposal, namely van Emden's Quantitative Logic Programming, and we improve it in two ways. Firstly, we generalize van Emden's QLP to a generic scheme QLP(D) parameterized by any given Qualification Domain D, which must be a lattice satisfying certain natural axioms. We present several interesting instances for D, one of which corresponds to van Emden's QLP. Secondly, we generalize van Emden's results by providing stronger ones, concerning both semantics and goal solving. We present Qualified SLD Resolution over D, a sound and strongly complete goal solving procedure for QLP(D), which is applicable to open goals and can be efficiently implemented using CLP technology over any constraint domain CD able to deal with qualification constraints over D. We have developed a prototype implementation of some instances of the QLP(D) scheme (including van Emden's QLP) on top of the CFLP system TOY." @default.
- W1803882826 created "2016-06-24" @default.
- W1803882826 creator A5070574379 @default.
- W1803882826 creator A5071516790 @default.
- W1803882826 date "2010-08-23" @default.
- W1803882826 modified "2023-09-27" @default.
- W1803882826 title "A Generic Scheme for Qualified Logic Programming" @default.
- W1803882826 cites W1543028224 @default.
- W1803882826 cites W1560909155 @default.
- W1803882826 cites W1572346735 @default.
- W1803882826 cites W173033638 @default.
- W1803882826 cites W1966626765 @default.
- W1803882826 cites W1973470183 @default.
- W1803882826 cites W1974338077 @default.
- W1803882826 cites W2001805670 @default.
- W1803882826 cites W2028667927 @default.
- W1803882826 cites W2044640909 @default.
- W1803882826 cites W2060498389 @default.
- W1803882826 cites W2078843353 @default.
- W1803882826 cites W2108911687 @default.
- W1803882826 cites W2129802691 @default.
- W1803882826 cites W2130563808 @default.
- W1803882826 cites W2143382644 @default.
- W1803882826 cites W35631723 @default.
- W1803882826 cites W3020987166 @default.
- W1803882826 hasPublicationYear "2010" @default.
- W1803882826 type Work @default.
- W1803882826 sameAs 1803882826 @default.
- W1803882826 citedByCount "1" @default.
- W1803882826 crossrefType "posted-content" @default.
- W1803882826 hasAuthorship W1803882826A5070574379 @default.
- W1803882826 hasAuthorship W1803882826A5071516790 @default.
- W1803882826 hasConcept C11413529 @default.
- W1803882826 hasConcept C126255220 @default.
- W1803882826 hasConcept C128838566 @default.
- W1803882826 hasConcept C134306372 @default.
- W1803882826 hasConcept C137631369 @default.
- W1803882826 hasConcept C165464430 @default.
- W1803882826 hasConcept C167729594 @default.
- W1803882826 hasConcept C173404611 @default.
- W1803882826 hasConcept C184337299 @default.
- W1803882826 hasConcept C199360897 @default.
- W1803882826 hasConcept C2524010 @default.
- W1803882826 hasConcept C2776036281 @default.
- W1803882826 hasConcept C33923547 @default.
- W1803882826 hasConcept C36503486 @default.
- W1803882826 hasConcept C41008148 @default.
- W1803882826 hasConcept C45374587 @default.
- W1803882826 hasConcept C77618280 @default.
- W1803882826 hasConcept C80444323 @default.
- W1803882826 hasConceptScore W1803882826C11413529 @default.
- W1803882826 hasConceptScore W1803882826C126255220 @default.
- W1803882826 hasConceptScore W1803882826C128838566 @default.
- W1803882826 hasConceptScore W1803882826C134306372 @default.
- W1803882826 hasConceptScore W1803882826C137631369 @default.
- W1803882826 hasConceptScore W1803882826C165464430 @default.
- W1803882826 hasConceptScore W1803882826C167729594 @default.
- W1803882826 hasConceptScore W1803882826C173404611 @default.
- W1803882826 hasConceptScore W1803882826C184337299 @default.
- W1803882826 hasConceptScore W1803882826C199360897 @default.
- W1803882826 hasConceptScore W1803882826C2524010 @default.
- W1803882826 hasConceptScore W1803882826C2776036281 @default.
- W1803882826 hasConceptScore W1803882826C33923547 @default.
- W1803882826 hasConceptScore W1803882826C36503486 @default.
- W1803882826 hasConceptScore W1803882826C41008148 @default.
- W1803882826 hasConceptScore W1803882826C45374587 @default.
- W1803882826 hasConceptScore W1803882826C77618280 @default.
- W1803882826 hasConceptScore W1803882826C80444323 @default.
- W1803882826 hasLocation W18038828261 @default.
- W1803882826 hasOpenAccess W1803882826 @default.
- W1803882826 hasPrimaryLocation W18038828261 @default.
- W1803882826 hasRelatedWork W1484584685 @default.
- W1803882826 hasRelatedWork W1566324056 @default.
- W1803882826 hasRelatedWork W1585560305 @default.
- W1803882826 hasRelatedWork W1590433112 @default.
- W1803882826 hasRelatedWork W1605651526 @default.
- W1803882826 hasRelatedWork W1994179113 @default.
- W1803882826 hasRelatedWork W2005277728 @default.
- W1803882826 hasRelatedWork W2027825679 @default.
- W1803882826 hasRelatedWork W2043140417 @default.
- W1803882826 hasRelatedWork W2074845051 @default.
- W1803882826 hasRelatedWork W207722629 @default.
- W1803882826 hasRelatedWork W2082232766 @default.
- W1803882826 hasRelatedWork W2100622236 @default.
- W1803882826 hasRelatedWork W2147915179 @default.
- W1803882826 hasRelatedWork W2406205129 @default.
- W1803882826 hasRelatedWork W2566245743 @default.
- W1803882826 hasRelatedWork W2971122962 @default.
- W1803882826 hasRelatedWork W2977649848 @default.
- W1803882826 hasRelatedWork W3103318063 @default.
- W1803882826 hasRelatedWork W2769790938 @default.
- W1803882826 isParatext "false" @default.
- W1803882826 isRetracted "false" @default.
- W1803882826 magId "1803882826" @default.
- W1803882826 workType "article" @default.