Matches in SemOpenAlex for { <https://semopenalex.org/work/W237647712> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W237647712 endingPage "28" @default.
- W237647712 startingPage "1" @default.
- W237647712 abstract "Stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This article focuses on the expressiveness of normal and disjunctive logic programs under general stable model semantics. A translation from disjunctive logic programs to normal logic programs is proposed for infinite structures. Over finite structures, some disjunctive logic programs are proved to be intranslatable to normal logic programs if the arities of auxiliary predicates and functions are bounded in a certain way. The equivalence of the expressiveness of normal logic programs and disjunctive logic programs over arbitrary structures is also shown to coincide with that over finite structures and coincide with whether the complexity class NP is closed under complement. Moreover, to obtain a more explicit picture of the expressiveness, some intertranslatability results between logic program classes, and fragments of second-order logic are established." @default.
- W237647712 created "2016-06-24" @default.
- W237647712 creator A5033420215 @default.
- W237647712 creator A5086664284 @default.
- W237647712 date "2017-04-30" @default.
- W237647712 modified "2023-09-24" @default.
- W237647712 title "Expressiveness of Logic Programs under the General Stable Model Semantics" @default.
- W237647712 cites W1968490853 @default.
- W237647712 cites W1969965298 @default.
- W237647712 cites W1971924127 @default.
- W237647712 cites W2004414305 @default.
- W237647712 cites W2005957522 @default.
- W237647712 cites W2006484856 @default.
- W237647712 cites W2014272228 @default.
- W237647712 cites W2023141722 @default.
- W237647712 cites W2026352889 @default.
- W237647712 cites W2036656440 @default.
- W237647712 cites W2037991309 @default.
- W237647712 cites W2041075536 @default.
- W237647712 cites W2043182143 @default.
- W237647712 cites W2050842068 @default.
- W237647712 cites W2065251436 @default.
- W237647712 cites W207962917 @default.
- W237647712 cites W2079745007 @default.
- W237647712 cites W2132012728 @default.
- W237647712 cites W2134039900 @default.
- W237647712 cites W2295882966 @default.
- W237647712 cites W4236835455 @default.
- W237647712 doi "https://doi.org/10.1145/3039244" @default.
- W237647712 hasPublicationYear "2017" @default.
- W237647712 type Work @default.
- W237647712 sameAs 237647712 @default.
- W237647712 citedByCount "0" @default.
- W237647712 crossrefType "journal-article" @default.
- W237647712 hasAuthorship W237647712A5033420215 @default.
- W237647712 hasAuthorship W237647712A5086664284 @default.
- W237647712 hasBestOaLocation W2376477122 @default.
- W237647712 hasConcept C102993220 @default.
- W237647712 hasConcept C118615104 @default.
- W237647712 hasConcept C127001435 @default.
- W237647712 hasConcept C128838566 @default.
- W237647712 hasConcept C169896238 @default.
- W237647712 hasConcept C199360897 @default.
- W237647712 hasConcept C203659156 @default.
- W237647712 hasConcept C2780069185 @default.
- W237647712 hasConcept C2987117450 @default.
- W237647712 hasConcept C33203268 @default.
- W237647712 hasConcept C33923547 @default.
- W237647712 hasConcept C41008148 @default.
- W237647712 hasConcept C80444323 @default.
- W237647712 hasConceptScore W237647712C102993220 @default.
- W237647712 hasConceptScore W237647712C118615104 @default.
- W237647712 hasConceptScore W237647712C127001435 @default.
- W237647712 hasConceptScore W237647712C128838566 @default.
- W237647712 hasConceptScore W237647712C169896238 @default.
- W237647712 hasConceptScore W237647712C199360897 @default.
- W237647712 hasConceptScore W237647712C203659156 @default.
- W237647712 hasConceptScore W237647712C2780069185 @default.
- W237647712 hasConceptScore W237647712C2987117450 @default.
- W237647712 hasConceptScore W237647712C33203268 @default.
- W237647712 hasConceptScore W237647712C33923547 @default.
- W237647712 hasConceptScore W237647712C41008148 @default.
- W237647712 hasConceptScore W237647712C80444323 @default.
- W237647712 hasFunder F4320321001 @default.
- W237647712 hasFunder F4320321883 @default.
- W237647712 hasIssue "2" @default.
- W237647712 hasLocation W2376477121 @default.
- W237647712 hasLocation W2376477122 @default.
- W237647712 hasOpenAccess W237647712 @default.
- W237647712 hasPrimaryLocation W2376477121 @default.
- W237647712 hasRelatedWork W1484234566 @default.
- W237647712 hasRelatedWork W1557086397 @default.
- W237647712 hasRelatedWork W1603220362 @default.
- W237647712 hasRelatedWork W1607710732 @default.
- W237647712 hasRelatedWork W1985274317 @default.
- W237647712 hasRelatedWork W2043198854 @default.
- W237647712 hasRelatedWork W2136479831 @default.
- W237647712 hasRelatedWork W237647712 @default.
- W237647712 hasRelatedWork W2408462438 @default.
- W237647712 hasRelatedWork W2972694183 @default.
- W237647712 hasVolume "18" @default.
- W237647712 isParatext "false" @default.
- W237647712 isRetracted "false" @default.
- W237647712 magId "237647712" @default.
- W237647712 workType "article" @default.