FRINK Linked Data Fragments server

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

• W2008999790 abstract "This paper is focused on a double extension of traditional Logic Programming which enhances it following two different approaches. On one hand, extending Horn logic to hereditary Harrop formulas HH), in order to improve the expressive power; on the other, incorporating constraints, in order to increase the efficiency. For this combination, called HH(C), an operational semantics exists, but no declarative semantic for it has been defined so far.One of the main features of (Constraint) Logic Programming is that the algorithmic behavior of (constraint) logic programs and its mathematical interpretations agree with each other, in the sense that the declarative meaning of a program can be interpreted operationally as a goal-oriented search for solutions. Both operational (algorithmic) and declarative (mathematical) semantics for programs are useful and widely developed in the frame of Logic Programming as well as in its extension, Constraint Logic Programming.For these reasons, HH(C) was in need of a more mathematical interpretation of programs. In this paper some fixed point semantics for HH(C) are presented. Taking as a starting point the techniques used by Miller to interpret the fragment of HH that incorporates intuitionistic implication in goals, we have formulated two novel extensions capable of dealing with the whole HH logic, including universal quantifiers, as well as with the presence of constraints. Those semantics are proved to be sound and complete w.r.t. the operational semantics of HH(C)." @default.
• W2008999790 created "2016-06-24" @default.
• W2008999790 creator A5081537440 @default.
• W2008999790 creator A5082014356 @default.
• W2008999790 date "2004-08-24" @default.
• W2008999790 modified "2023-10-18" @default.
• W2008999790 title "Providing declarative semantics for <b> <i>HH</i> </b> extended constraint logic programs" @default.
• W2008999790 cites W1814221162 @default.
• W2008999790 cites W2002343112 @default.
• W2008999790 cites W2004256601 @default.
• W2008999790 cites W2022937548 @default.
• W2008999790 cites W2046213250 @default.
• W2008999790 cites W2052436826 @default.
• W2008999790 cites W2056640187 @default.
• W2008999790 cites W2063727779 @default.
• W2008999790 cites W2068328548 @default.
• W2008999790 cites W2087505639 @default.
• W2008999790 cites W2093111544 @default.
• W2008999790 cites W2108911687 @default.
• W2008999790 cites W2151776439 @default.
• W2008999790 cites W3146306767 @default.
• W2008999790 cites W4298290503 @default.
• W2008999790 doi "https://doi.org/10.1145/1013963.1013973" @default.
• W2008999790 hasPublicationYear "2004" @default.
• W2008999790 type Work @default.
• W2008999790 sameAs 2008999790 @default.
• W2008999790 citedByCount "6" @default.
• W2008999790 countsByYear W20089997902014 @default.
• W2008999790 crossrefType "proceedings-article" @default.
• W2008999790 hasAuthorship W2008999790A5081537440 @default.
• W2008999790 hasAuthorship W2008999790A5082014356 @default.
• W2008999790 hasConcept C102993220 @default.
• W2008999790 hasConcept C126255220 @default.
• W2008999790 hasConcept C127001435 @default.
• W2008999790 hasConcept C128838566 @default.
• W2008999790 hasConcept C137631369 @default.
• W2008999790 hasConcept C154945302 @default.
• W2008999790 hasConcept C156325763 @default.
• W2008999790 hasConcept C169896238 @default.
• W2008999790 hasConcept C173404611 @default.
• W2008999790 hasConcept C176783269 @default.
• W2008999790 hasConcept C184337299 @default.
• W2008999790 hasConcept C189790780 @default.
• W2008999790 hasConcept C199360897 @default.
• W2008999790 hasConcept C204306468 @default.
• W2008999790 hasConcept C207648694 @default.
• W2008999790 hasConcept C2524010 @default.
• W2008999790 hasConcept C2776036281 @default.
• W2008999790 hasConcept C33923547 @default.
• W2008999790 hasConcept C34165917 @default.
• W2008999790 hasConcept C41008148 @default.
• W2008999790 hasConcept C44616089 @default.
• W2008999790 hasConcept C49937458 @default.
• W2008999790 hasConcept C50033165 @default.
• W2008999790 hasConcept C58041814 @default.
• W2008999790 hasConcept C80444323 @default.
• W2008999790 hasConcept C89497691 @default.
• W2008999790 hasConcept C96315309 @default.
• W2008999790 hasConceptScore W2008999790C102993220 @default.
• W2008999790 hasConceptScore W2008999790C126255220 @default.
• W2008999790 hasConceptScore W2008999790C127001435 @default.
• W2008999790 hasConceptScore W2008999790C128838566 @default.
• W2008999790 hasConceptScore W2008999790C137631369 @default.
• W2008999790 hasConceptScore W2008999790C154945302 @default.
• W2008999790 hasConceptScore W2008999790C156325763 @default.
• W2008999790 hasConceptScore W2008999790C169896238 @default.
• W2008999790 hasConceptScore W2008999790C173404611 @default.
• W2008999790 hasConceptScore W2008999790C176783269 @default.
• W2008999790 hasConceptScore W2008999790C184337299 @default.
• W2008999790 hasConceptScore W2008999790C189790780 @default.
• W2008999790 hasConceptScore W2008999790C199360897 @default.
• W2008999790 hasConceptScore W2008999790C204306468 @default.
• W2008999790 hasConceptScore W2008999790C207648694 @default.
• W2008999790 hasConceptScore W2008999790C2524010 @default.
• W2008999790 hasConceptScore W2008999790C2776036281 @default.
• W2008999790 hasConceptScore W2008999790C33923547 @default.
• W2008999790 hasConceptScore W2008999790C34165917 @default.
• W2008999790 hasConceptScore W2008999790C41008148 @default.
• W2008999790 hasConceptScore W2008999790C44616089 @default.
• W2008999790 hasConceptScore W2008999790C49937458 @default.
• W2008999790 hasConceptScore W2008999790C50033165 @default.
• W2008999790 hasConceptScore W2008999790C58041814 @default.
• W2008999790 hasConceptScore W2008999790C80444323 @default.
• W2008999790 hasConceptScore W2008999790C89497691 @default.
• W2008999790 hasConceptScore W2008999790C96315309 @default.
• W2008999790 hasLocation W20089997901 @default.
• W2008999790 hasOpenAccess W2008999790 @default.
• W2008999790 hasPrimaryLocation W20089997901 @default.
• W2008999790 hasRelatedWork W1535808278 @default.
• W2008999790 hasRelatedWork W1564303565 @default.
• W2008999790 hasRelatedWork W1578725873 @default.
• W2008999790 hasRelatedWork W1608348301 @default.
• W2008999790 hasRelatedWork W1663471753 @default.
• W2008999790 hasRelatedWork W1970571555 @default.
• W2008999790 hasRelatedWork W2116733130 @default.
• W2008999790 hasRelatedWork W2136479831 @default.
• W2008999790 hasRelatedWork W2583336106 @default.
• W2008999790 hasRelatedWork W280954255 @default.
• W2008999790 isParatext "false" @default.
• W2008999790 isRetracted "false" @default.

• next