Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045151017> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2045151017 endingPage "29" @default.
- W2045151017 startingPage "1" @default.
- W2045151017 abstract "We introduce the foundational issues involved in incorporating the NEGATION as FAILURE (NAF) rule into the framework of first-order hereditary Harrop formulae of Miller et al. This is a larger class of formulae than Horn clauses, and so the technicalities are more intricate than in the Horn clause case. As programs may grow during execution in this framework, the role of NAF and the CLOSED WORLD ASSUMPTION (CWA) need some modification, and for this reason we introduce the notion of a completely defined predicate, which may be thought of as a localisation of the CWA. We also show how this notion may be used to define a notion of NAF for a more general class of goals than literals alone. We also show how an extensional notion of universal quantification may be incorporated. This makes our framework somewhat different from that of Miller et al., but not essentially so. We also show how to construct a Kriple-like model for the extended class of programs. This is essentially a denotational semantics for logic programs, in that it provides a mapping from the program to a pair of sets of atoms that denote the success and (finite) failure sets. This is inspired by the work of Miller on the semantics on first-order hereditary Harrop formulae. Note that no restriction on the class of programs is needed in this approach, and that our construction needs no more than ω iterations. This necessitates a slight departure from the standard methods, but the important properties of the construction still hold." @default.
- W2045151017 created "2016-06-24" @default.
- W2045151017 creator A5061229280 @default.
- W2045151017 date "1993-10-01" @default.
- W2045151017 modified "2023-10-16" @default.
- W2045151017 title "Success and failure for hereditary Harrop formulae" @default.
- W2045151017 cites W1766332311 @default.
- W2045151017 cites W1982644528 @default.
- W2045151017 cites W1986404405 @default.
- W2045151017 cites W2003531456 @default.
- W2045151017 cites W2010104109 @default.
- W2045151017 cites W2035688359 @default.
- W2045151017 cites W2052436826 @default.
- W2045151017 cites W2064581668 @default.
- W2045151017 cites W2083474880 @default.
- W2045151017 cites W2093111544 @default.
- W2045151017 cites W2108911687 @default.
- W2045151017 cites W2316240422 @default.
- W2045151017 doi "https://doi.org/10.1016/0743-1066(93)90007-4" @default.
- W2045151017 hasPublicationYear "1993" @default.
- W2045151017 type Work @default.
- W2045151017 sameAs 2045151017 @default.
- W2045151017 citedByCount "11" @default.
- W2045151017 countsByYear W20451510172013 @default.
- W2045151017 countsByYear W20451510172014 @default.
- W2045151017 countsByYear W20451510172016 @default.
- W2045151017 countsByYear W20451510172017 @default.
- W2045151017 countsByYear W20451510172023 @default.
- W2045151017 crossrefType "journal-article" @default.
- W2045151017 hasAuthorship W2045151017A5061229280 @default.
- W2045151017 hasConcept C118615104 @default.
- W2045151017 hasConcept C127001435 @default.
- W2045151017 hasConcept C136119220 @default.
- W2045151017 hasConcept C140146324 @default.
- W2045151017 hasConcept C154945302 @default.
- W2045151017 hasConcept C156325763 @default.
- W2045151017 hasConcept C184337299 @default.
- W2045151017 hasConcept C189790780 @default.
- W2045151017 hasConcept C194146651 @default.
- W2045151017 hasConcept C199360897 @default.
- W2045151017 hasConcept C202444582 @default.
- W2045151017 hasConcept C2185349 @default.
- W2045151017 hasConcept C2777212361 @default.
- W2045151017 hasConcept C33923547 @default.
- W2045151017 hasConcept C41008148 @default.
- W2045151017 hasConcept C81721847 @default.
- W2045151017 hasConceptScore W2045151017C118615104 @default.
- W2045151017 hasConceptScore W2045151017C127001435 @default.
- W2045151017 hasConceptScore W2045151017C136119220 @default.
- W2045151017 hasConceptScore W2045151017C140146324 @default.
- W2045151017 hasConceptScore W2045151017C154945302 @default.
- W2045151017 hasConceptScore W2045151017C156325763 @default.
- W2045151017 hasConceptScore W2045151017C184337299 @default.
- W2045151017 hasConceptScore W2045151017C189790780 @default.
- W2045151017 hasConceptScore W2045151017C194146651 @default.
- W2045151017 hasConceptScore W2045151017C199360897 @default.
- W2045151017 hasConceptScore W2045151017C202444582 @default.
- W2045151017 hasConceptScore W2045151017C2185349 @default.
- W2045151017 hasConceptScore W2045151017C2777212361 @default.
- W2045151017 hasConceptScore W2045151017C33923547 @default.
- W2045151017 hasConceptScore W2045151017C41008148 @default.
- W2045151017 hasConceptScore W2045151017C81721847 @default.
- W2045151017 hasIssue "1" @default.
- W2045151017 hasLocation W20451510171 @default.
- W2045151017 hasOpenAccess W2045151017 @default.
- W2045151017 hasPrimaryLocation W20451510171 @default.
- W2045151017 hasRelatedWork W1596105581 @default.
- W2045151017 hasRelatedWork W1605488371 @default.
- W2045151017 hasRelatedWork W2077585551 @default.
- W2045151017 hasRelatedWork W2139420949 @default.
- W2045151017 hasRelatedWork W2388232299 @default.
- W2045151017 hasRelatedWork W286008560 @default.
- W2045151017 hasRelatedWork W3104092934 @default.
- W2045151017 hasRelatedWork W3197254143 @default.
- W2045151017 hasRelatedWork W4212824748 @default.
- W2045151017 hasRelatedWork W4214701509 @default.
- W2045151017 hasVolume "17" @default.
- W2045151017 isParatext "false" @default.
- W2045151017 isRetracted "false" @default.
- W2045151017 magId "2045151017" @default.
- W2045151017 workType "article" @default.