Matches in SemOpenAlex for { <https://semopenalex.org/work/W1726550585> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1726550585 abstract "We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduct instead of referring to the SM operator in the original definitions. Also, we extend the FLP stable model semantics to allow generalized quantifiers by referring to an operator that is similar to the $sm$ operator. For a reasonable syntactic class of logic programs, we show that the two stable model semantics of generalized quantifiers are interchangeable." @default.
- W1726550585 created "2016-06-24" @default.
- W1726550585 creator A5017332670 @default.
- W1726550585 creator A5088456432 @default.
- W1726550585 date "2013-01-08" @default.
- W1726550585 modified "2023-09-27" @default.
- W1726550585 title "Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers" @default.
- W1726550585 cites W1498546115 @default.
- W1726550585 cites W1568877586 @default.
- W1726550585 cites W1593909902 @default.
- W1726550585 cites W1627528933 @default.
- W1726550585 cites W1800801472 @default.
- W1726550585 cites W1854994931 @default.
- W1726550585 cites W2064864283 @default.
- W1726550585 cites W2100983017 @default.
- W1726550585 cites W2105869173 @default.
- W1726550585 cites W2115872603 @default.
- W1726550585 cites W2134039900 @default.
- W1726550585 hasPublicationYear "2013" @default.
- W1726550585 type Work @default.
- W1726550585 sameAs 1726550585 @default.
- W1726550585 citedByCount "0" @default.
- W1726550585 crossrefType "posted-content" @default.
- W1726550585 hasAuthorship W1726550585A5017332670 @default.
- W1726550585 hasAuthorship W1726550585A5088456432 @default.
- W1726550585 hasConcept C104317684 @default.
- W1726550585 hasConcept C127001435 @default.
- W1726550585 hasConcept C136119220 @default.
- W1726550585 hasConcept C154945302 @default.
- W1726550585 hasConcept C156325763 @default.
- W1726550585 hasConcept C158448853 @default.
- W1726550585 hasConcept C17020691 @default.
- W1726550585 hasConcept C184337299 @default.
- W1726550585 hasConcept C185592680 @default.
- W1726550585 hasConcept C199360897 @default.
- W1726550585 hasConcept C202444582 @default.
- W1726550585 hasConcept C2777212361 @default.
- W1726550585 hasConcept C2778029271 @default.
- W1726550585 hasConcept C2780432614 @default.
- W1726550585 hasConcept C33923547 @default.
- W1726550585 hasConcept C41008148 @default.
- W1726550585 hasConcept C55493867 @default.
- W1726550585 hasConcept C80444323 @default.
- W1726550585 hasConcept C86339819 @default.
- W1726550585 hasConceptScore W1726550585C104317684 @default.
- W1726550585 hasConceptScore W1726550585C127001435 @default.
- W1726550585 hasConceptScore W1726550585C136119220 @default.
- W1726550585 hasConceptScore W1726550585C154945302 @default.
- W1726550585 hasConceptScore W1726550585C156325763 @default.
- W1726550585 hasConceptScore W1726550585C158448853 @default.
- W1726550585 hasConceptScore W1726550585C17020691 @default.
- W1726550585 hasConceptScore W1726550585C184337299 @default.
- W1726550585 hasConceptScore W1726550585C185592680 @default.
- W1726550585 hasConceptScore W1726550585C199360897 @default.
- W1726550585 hasConceptScore W1726550585C202444582 @default.
- W1726550585 hasConceptScore W1726550585C2777212361 @default.
- W1726550585 hasConceptScore W1726550585C2778029271 @default.
- W1726550585 hasConceptScore W1726550585C2780432614 @default.
- W1726550585 hasConceptScore W1726550585C33923547 @default.
- W1726550585 hasConceptScore W1726550585C41008148 @default.
- W1726550585 hasConceptScore W1726550585C55493867 @default.
- W1726550585 hasConceptScore W1726550585C80444323 @default.
- W1726550585 hasConceptScore W1726550585C86339819 @default.
- W1726550585 hasLocation W17265505851 @default.
- W1726550585 hasOpenAccess W1726550585 @default.
- W1726550585 hasPrimaryLocation W17265505851 @default.
- W1726550585 hasRelatedWork W1488493186 @default.
- W1726550585 hasRelatedWork W1585954935 @default.
- W1726550585 hasRelatedWork W1602563381 @default.
- W1726550585 hasRelatedWork W1996152169 @default.
- W1726550585 hasRelatedWork W2107239627 @default.
- W1726550585 hasRelatedWork W2178463746 @default.
- W1726550585 hasRelatedWork W2220468947 @default.
- W1726550585 hasRelatedWork W2256886837 @default.
- W1726550585 hasRelatedWork W2288650278 @default.
- W1726550585 hasRelatedWork W2294527179 @default.
- W1726550585 hasRelatedWork W2517851471 @default.
- W1726550585 hasRelatedWork W2548439728 @default.
- W1726550585 hasRelatedWork W2799169538 @default.
- W1726550585 hasRelatedWork W2914651966 @default.
- W1726550585 hasRelatedWork W2952451744 @default.
- W1726550585 hasRelatedWork W3021042532 @default.
- W1726550585 hasRelatedWork W3047106363 @default.
- W1726550585 hasRelatedWork W3089232200 @default.
- W1726550585 hasRelatedWork W3146192750 @default.
- W1726550585 hasRelatedWork W92930600 @default.
- W1726550585 isParatext "false" @default.
- W1726550585 isRetracted "false" @default.
- W1726550585 magId "1726550585" @default.
- W1726550585 workType "article" @default.