Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007165718> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2007165718 endingPage "53" @default.
- W2007165718 startingPage "27" @default.
- W2007165718 abstract "The logic HiLog of Chen, Kifer, and Warren has a second order syntax, while its semantics is first order. HiLog programs with negative literals in the body are considered. A stable-model semantics and a well-founded semantics for this class of program are defined, and it is shown that these semantics generalize the stable-model semantics and the well-founded semantics, respectively, for range-restricted normal programs. A second order property called preservation under extensions is proposed and investigated. Preservation under extensions ensures that the semantics of a program is not changed when rules having no symbols in common with the program are appended to the program. It is shown that for normal programs, domain independence and preservation under extensions are equivalent, while for HiLog programs, preservation under extensions is strictly stronger. Range restrictedness is generalized to HiLog programs in two ways, and it is shown that range restricted HiLog programs are preserved under extensions with respect to the well-founded semantics. Conditions under which the well-founded semantics is two-valued are investigated, and the class of modularly stratified programs is generalized to HiLog. An extension of magic-set techniques to modularly stratified HiLog programs is described." @default.
- W2007165718 created "2016-06-24" @default.
- W2007165718 creator A5021663937 @default.
- W2007165718 date "1994-01-01" @default.
- W2007165718 modified "2023-09-27" @default.
- W2007165718 title "On negation in Hilog" @default.
- W2007165718 cites W1598891747 @default.
- W2007165718 cites W1968513265 @default.
- W2007165718 cites W1979966822 @default.
- W2007165718 cites W1998162300 @default.
- W2007165718 cites W1999734621 @default.
- W2007165718 cites W2035200997 @default.
- W2007165718 cites W2063545044 @default.
- W2007165718 cites W2099805467 @default.
- W2007165718 cites W2120127771 @default.
- W2007165718 cites W2157221482 @default.
- W2007165718 cites W4230708954 @default.
- W2007165718 doi "https://doi.org/10.1016/0743-1066(94)90040-x" @default.
- W2007165718 hasPublicationYear "1994" @default.
- W2007165718 type Work @default.
- W2007165718 sameAs 2007165718 @default.
- W2007165718 citedByCount "11" @default.
- W2007165718 countsByYear W20071657182012 @default.
- W2007165718 countsByYear W20071657182013 @default.
- W2007165718 countsByYear W20071657182015 @default.
- W2007165718 crossrefType "journal-article" @default.
- W2007165718 hasAuthorship W2007165718A5021663937 @default.
- W2007165718 hasConcept C127001435 @default.
- W2007165718 hasConcept C146499914 @default.
- W2007165718 hasConcept C154945302 @default.
- W2007165718 hasConcept C156325763 @default.
- W2007165718 hasConcept C184337299 @default.
- W2007165718 hasConcept C194146651 @default.
- W2007165718 hasConcept C199360897 @default.
- W2007165718 hasConcept C207648694 @default.
- W2007165718 hasConcept C2185349 @default.
- W2007165718 hasConcept C2777212361 @default.
- W2007165718 hasConcept C33923547 @default.
- W2007165718 hasConcept C41008148 @default.
- W2007165718 hasConcept C58041814 @default.
- W2007165718 hasConcept C89497691 @default.
- W2007165718 hasConcept C9672783 @default.
- W2007165718 hasConceptScore W2007165718C127001435 @default.
- W2007165718 hasConceptScore W2007165718C146499914 @default.
- W2007165718 hasConceptScore W2007165718C154945302 @default.
- W2007165718 hasConceptScore W2007165718C156325763 @default.
- W2007165718 hasConceptScore W2007165718C184337299 @default.
- W2007165718 hasConceptScore W2007165718C194146651 @default.
- W2007165718 hasConceptScore W2007165718C199360897 @default.
- W2007165718 hasConceptScore W2007165718C207648694 @default.
- W2007165718 hasConceptScore W2007165718C2185349 @default.
- W2007165718 hasConceptScore W2007165718C2777212361 @default.
- W2007165718 hasConceptScore W2007165718C33923547 @default.
- W2007165718 hasConceptScore W2007165718C41008148 @default.
- W2007165718 hasConceptScore W2007165718C58041814 @default.
- W2007165718 hasConceptScore W2007165718C89497691 @default.
- W2007165718 hasConceptScore W2007165718C9672783 @default.
- W2007165718 hasIssue "1" @default.
- W2007165718 hasLocation W20071657181 @default.
- W2007165718 hasOpenAccess W2007165718 @default.
- W2007165718 hasPrimaryLocation W20071657181 @default.
- W2007165718 hasRelatedWork W114547669 @default.
- W2007165718 hasRelatedWork W1601169590 @default.
- W2007165718 hasRelatedWork W1990759781 @default.
- W2007165718 hasRelatedWork W2007165718 @default.
- W2007165718 hasRelatedWork W2043182143 @default.
- W2007165718 hasRelatedWork W2548335565 @default.
- W2007165718 hasRelatedWork W271952726 @default.
- W2007165718 hasRelatedWork W2950641724 @default.
- W2007165718 hasRelatedWork W2964282976 @default.
- W2007165718 hasRelatedWork W34897425 @default.
- W2007165718 hasVolume "18" @default.
- W2007165718 isParatext "false" @default.
- W2007165718 isRetracted "false" @default.
- W2007165718 magId "2007165718" @default.
- W2007165718 workType "article" @default.