FRINK Linked Data Fragments server

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

• W2044499349 endingPage "50" @default.
• W2044499349 startingPage "5" @default.
• W2044499349 abstract "In this paper we propose a new generic scheme CFLP(D), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given constraint domain D. As in the case of the well known CLP(D) scheme for Constraint Logic Programming, D is assumed to provide domain specific data values and constraints. CFLP(D) programs are presented as sets of constrained rewrite rules that define the behaviour of possibly higher order and/or non-deterministic lazy functions over D. As the main novelty w.r.t. previous related work, we present a Constraint Rewriting Logic CRWL(D) which provides a declarative semantics for CFLP(D) programs. This logic relies on a new formalization of constraint domains and program interpretations, which allows a flexible combination of domain specific data values and user defined data constructors, as well as a functional view of constraints." @default.
• W2044499349 created "2016-06-24" @default.
• W2044499349 creator A5019077673 @default.
• W2044499349 creator A5070574379 @default.
• W2044499349 creator A5073297779 @default.
• W2044499349 date "2005-01-01" @default.
• W2044499349 modified "2023-09-25" @default.
• W2044499349 title "Constraint Functional Logic Programming Revisited" @default.
• W2044499349 cites W1485162787 @default.
• W2044499349 cites W1814221162 @default.
• W2044499349 cites W1900652794 @default.
• W2044499349 cites W195049488 @default.
• W2044499349 cites W1968606491 @default.
• W2044499349 cites W1976195354 @default.
• W2044499349 cites W1997137822 @default.
• W2044499349 cites W1997791746 @default.
• W2044499349 cites W2004256601 @default.
• W2044499349 cites W2017122484 @default.
• W2044499349 cites W2030522691 @default.
• W2044499349 cites W2031825596 @default.
• W2044499349 cites W2046213250 @default.
• W2044499349 cites W2048748607 @default.
• W2044499349 cites W2050677448 @default.
• W2044499349 cites W2054839338 @default.
• W2044499349 cites W2055807110 @default.
• W2044499349 cites W2056640187 @default.
• W2044499349 cites W2059799630 @default.
• W2044499349 cites W2060498389 @default.
• W2044499349 cites W2063521547 @default.
• W2044499349 cites W2063727779 @default.
• W2044499349 cites W2067273780 @default.
• W2044499349 cites W2089111669 @default.
• W2044499349 cites W2104980999 @default.
• W2044499349 cites W2113740617 @default.
• W2044499349 cites W2116940213 @default.
• W2044499349 cites W2150756860 @default.
• W2044499349 cites W2166822586 @default.
• W2044499349 doi "https://doi.org/10.1016/j.entcs.2004.06.030" @default.
• W2044499349 hasPublicationYear "2005" @default.
• W2044499349 type Work @default.
• W2044499349 sameAs 2044499349 @default.
• W2044499349 citedByCount "7" @default.
• W2044499349 countsByYear W20444993492012 @default.
• W2044499349 crossrefType "journal-article" @default.
• W2044499349 hasAuthorship W2044499349A5019077673 @default.
• W2044499349 hasAuthorship W2044499349A5070574379 @default.
• W2044499349 hasAuthorship W2044499349A5073297779 @default.
• W2044499349 hasBestOaLocation W20444993491 @default.
• W2044499349 hasConcept C126255220 @default.
• W2044499349 hasConcept C128838566 @default.
• W2044499349 hasConcept C134306372 @default.
• W2044499349 hasConcept C137631369 @default.
• W2044499349 hasConcept C146206909 @default.
• W2044499349 hasConcept C154690210 @default.
• W2044499349 hasConcept C154945302 @default.
• W2044499349 hasConcept C173404611 @default.
• W2044499349 hasConcept C176783269 @default.
• W2044499349 hasConcept C184337299 @default.
• W2044499349 hasConcept C199360897 @default.
• W2044499349 hasConcept C204306468 @default.
• W2044499349 hasConcept C2524010 @default.
• W2044499349 hasConcept C2776036281 @default.
• W2044499349 hasConcept C33923547 @default.
• W2044499349 hasConcept C34165917 @default.
• W2044499349 hasConcept C36503486 @default.
• W2044499349 hasConcept C41008148 @default.
• W2044499349 hasConcept C44616089 @default.
• W2044499349 hasConcept C49937458 @default.
• W2044499349 hasConcept C50033165 @default.
• W2044499349 hasConcept C80444323 @default.
• W2044499349 hasConceptScore W2044499349C126255220 @default.
• W2044499349 hasConceptScore W2044499349C128838566 @default.
• W2044499349 hasConceptScore W2044499349C134306372 @default.
• W2044499349 hasConceptScore W2044499349C137631369 @default.
• W2044499349 hasConceptScore W2044499349C146206909 @default.
• W2044499349 hasConceptScore W2044499349C154690210 @default.
• W2044499349 hasConceptScore W2044499349C154945302 @default.
• W2044499349 hasConceptScore W2044499349C173404611 @default.
• W2044499349 hasConceptScore W2044499349C176783269 @default.
• W2044499349 hasConceptScore W2044499349C184337299 @default.
• W2044499349 hasConceptScore W2044499349C199360897 @default.
• W2044499349 hasConceptScore W2044499349C204306468 @default.
• W2044499349 hasConceptScore W2044499349C2524010 @default.
• W2044499349 hasConceptScore W2044499349C2776036281 @default.
• W2044499349 hasConceptScore W2044499349C33923547 @default.
• W2044499349 hasConceptScore W2044499349C34165917 @default.
• W2044499349 hasConceptScore W2044499349C36503486 @default.
• W2044499349 hasConceptScore W2044499349C41008148 @default.
• W2044499349 hasConceptScore W2044499349C44616089 @default.
• W2044499349 hasConceptScore W2044499349C49937458 @default.
• W2044499349 hasConceptScore W2044499349C50033165 @default.
• W2044499349 hasConceptScore W2044499349C80444323 @default.
• W2044499349 hasLocation W20444993491 @default.
• W2044499349 hasOpenAccess W2044499349 @default.
• W2044499349 hasPrimaryLocation W20444993491 @default.
• W2044499349 hasRelatedWork W1038119274 @default.
• W2044499349 hasRelatedWork W1490546714 @default.
• W2044499349 hasRelatedWork W1583555691 @default.

• next