Matches in SemOpenAlex for { <https://semopenalex.org/work/W2404213164> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2404213164 endingPage "730" @default.
- W2404213164 startingPage "724" @default.
- W2404213164 abstract "We provide reformulations and generalizations of both the semantics of logic programs by Faber, Leone and Pfeifer and its extension to arbitrary propositional formulas by Truszczynski. Unlike the previous definitions, our generalizations refer neither to grounding nor to fixpoints, and apply to first-order formulas containing aggregate expressions. In the same spirit as the first-order stable model semantics proposed by Ferraris, Lee and Lifschitz, the semantics proposed here are based on syntactic transformations that are similar to circumscription. The reformulations provide useful insights into the FLP semantics and its relationship to circumscription and the first-order stable model semantics." @default.
- W2404213164 created "2016-06-24" @default.
- W2404213164 creator A5017332670 @default.
- W2404213164 creator A5058103665 @default.
- W2404213164 creator A5088456432 @default.
- W2404213164 date "2011-07-16" @default.
- W2404213164 modified "2023-09-23" @default.
- W2404213164 title "First-order extension of the FLP stable model semantics via modified circumscription" @default.
- W2404213164 cites W108139873 @default.
- W2404213164 cites W1487774137 @default.
- W2404213164 cites W1488326671 @default.
- W2404213164 cites W1498546115 @default.
- W2404213164 cites W1511906506 @default.
- W2404213164 cites W1519247154 @default.
- W2404213164 cites W1593909902 @default.
- W2404213164 cites W1601726121 @default.
- W2404213164 cites W1627528933 @default.
- W2404213164 cites W1672891595 @default.
- W2404213164 cites W1800801472 @default.
- W2404213164 cites W1985274317 @default.
- W2404213164 cites W2064864283 @default.
- W2404213164 cites W2072190298 @default.
- W2404213164 cites W2082880188 @default.
- W2404213164 cites W2105869173 @default.
- W2404213164 cites W2111422218 @default.
- W2404213164 cites W2134039900 @default.
- W2404213164 cites W2228065639 @default.
- W2404213164 cites W2945259913 @default.
- W2404213164 doi "https://doi.org/10.5591/978-1-57735-516-8/ijcai11-128" @default.
- W2404213164 hasPublicationYear "2011" @default.
- W2404213164 type Work @default.
- W2404213164 sameAs 2404213164 @default.
- W2404213164 citedByCount "7" @default.
- W2404213164 countsByYear W24042131642012 @default.
- W2404213164 countsByYear W24042131642013 @default.
- W2404213164 countsByYear W24042131642015 @default.
- W2404213164 countsByYear W24042131642017 @default.
- W2404213164 countsByYear W24042131642021 @default.
- W2404213164 crossrefType "proceedings-article" @default.
- W2404213164 hasAuthorship W2404213164A5017332670 @default.
- W2404213164 hasAuthorship W2404213164A5058103665 @default.
- W2404213164 hasAuthorship W2404213164A5088456432 @default.
- W2404213164 hasConcept C127001435 @default.
- W2404213164 hasConcept C136119220 @default.
- W2404213164 hasConcept C154945302 @default.
- W2404213164 hasConcept C156325763 @default.
- W2404213164 hasConcept C159032336 @default.
- W2404213164 hasConcept C184337299 @default.
- W2404213164 hasConcept C199360897 @default.
- W2404213164 hasConcept C202444582 @default.
- W2404213164 hasConcept C207648694 @default.
- W2404213164 hasConcept C2778029271 @default.
- W2404213164 hasConcept C33923547 @default.
- W2404213164 hasConcept C41008148 @default.
- W2404213164 hasConcept C62360110 @default.
- W2404213164 hasConcept C89497691 @default.
- W2404213164 hasConceptScore W2404213164C127001435 @default.
- W2404213164 hasConceptScore W2404213164C136119220 @default.
- W2404213164 hasConceptScore W2404213164C154945302 @default.
- W2404213164 hasConceptScore W2404213164C156325763 @default.
- W2404213164 hasConceptScore W2404213164C159032336 @default.
- W2404213164 hasConceptScore W2404213164C184337299 @default.
- W2404213164 hasConceptScore W2404213164C199360897 @default.
- W2404213164 hasConceptScore W2404213164C202444582 @default.
- W2404213164 hasConceptScore W2404213164C207648694 @default.
- W2404213164 hasConceptScore W2404213164C2778029271 @default.
- W2404213164 hasConceptScore W2404213164C33923547 @default.
- W2404213164 hasConceptScore W2404213164C41008148 @default.
- W2404213164 hasConceptScore W2404213164C62360110 @default.
- W2404213164 hasConceptScore W2404213164C89497691 @default.
- W2404213164 hasLocation W24042131641 @default.
- W2404213164 hasOpenAccess W2404213164 @default.
- W2404213164 hasPrimaryLocation W24042131641 @default.
- W2404213164 hasRelatedWork W1498546115 @default.
- W2404213164 hasRelatedWork W1507973825 @default.
- W2404213164 hasRelatedWork W1511906506 @default.
- W2404213164 hasRelatedWork W1593909902 @default.
- W2404213164 hasRelatedWork W1601726121 @default.
- W2404213164 hasRelatedWork W1606891084 @default.
- W2404213164 hasRelatedWork W1639901403 @default.
- W2404213164 hasRelatedWork W1672891595 @default.
- W2404213164 hasRelatedWork W1800801472 @default.
- W2404213164 hasRelatedWork W2064864283 @default.
- W2404213164 hasRelatedWork W2069156007 @default.
- W2404213164 hasRelatedWork W2072190298 @default.
- W2404213164 hasRelatedWork W2076698873 @default.
- W2404213164 hasRelatedWork W2100983017 @default.
- W2404213164 hasRelatedWork W2105869173 @default.
- W2404213164 hasRelatedWork W2134039900 @default.
- W2404213164 hasRelatedWork W2151485489 @default.
- W2404213164 hasRelatedWork W2152131859 @default.
- W2404213164 hasRelatedWork W2171987376 @default.
- W2404213164 hasRelatedWork W2399343913 @default.
- W2404213164 isParatext "false" @default.
- W2404213164 isRetracted "false" @default.
- W2404213164 magId "2404213164" @default.
- W2404213164 workType "article" @default.