Matches in SemOpenAlex for { <https://semopenalex.org/work/W2944794753> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2944794753 abstract "Answer Set Programming (ASP) has seen several extensions by generalizing the notion of atom used in these programs, for example dl-atoms, aggregate atoms, HEX atoms, generalized quantifiers, and abstract constraints, referred to collectively as generalized atoms in this paper. The idea common to all of these constructs is that their satisfaction depends on the truth values of a set of (non-generalized) atoms, rather than the truth value of a single (non-generalized) atom. In a previous work, it was argued that for some of the more intricate generalized atoms, the previously suggested semantics provide unintuitive results, and an alternative semantics called supportedly stable was suggested. Unfortunately, this semantics had a few issues on its own and also did not have a particularly natural definition. In this paper, we present a family of semantics called Chain Answer Sets, which has a simple, but somewhat unusual definition. We show several properties of the new semantics, including the computational complexity of the associated reasoning tasks." @default.
- W2944794753 created "2019-05-16" @default.
- W2944794753 creator A5017101409 @default.
- W2944794753 creator A5039882261 @default.
- W2944794753 date "2019-01-01" @default.
- W2944794753 modified "2023-09-27" @default.
- W2944794753 title "Chain Answer Sets for Logic Programs with Generalized Atoms" @default.
- W2944794753 cites W1174953579 @default.
- W2944794753 cites W1481719343 @default.
- W2944794753 cites W1500460229 @default.
- W2944794753 cites W1503635106 @default.
- W2944794753 cites W1577827016 @default.
- W2944794753 cites W165019675 @default.
- W2944794753 cites W1961824217 @default.
- W2944794753 cites W2029702617 @default.
- W2944794753 cites W2049791401 @default.
- W2944794753 cites W2050890691 @default.
- W2944794753 cites W2064864283 @default.
- W2944794753 cites W2066812801 @default.
- W2944794753 cites W2069156007 @default.
- W2944794753 cites W2100983017 @default.
- W2944794753 cites W2105869173 @default.
- W2944794753 cites W2106500031 @default.
- W2944794753 cites W2151485489 @default.
- W2944794753 cites W3104588709 @default.
- W2944794753 cites W50549667 @default.
- W2944794753 doi "https://doi.org/10.1007/978-3-030-19570-0_30" @default.
- W2944794753 hasPublicationYear "2019" @default.
- W2944794753 type Work @default.
- W2944794753 sameAs 2944794753 @default.
- W2944794753 citedByCount "2" @default.
- W2944794753 countsByYear W29447947532020 @default.
- W2944794753 countsByYear W29447947532022 @default.
- W2944794753 crossrefType "book-chapter" @default.
- W2944794753 hasAuthorship W2944794753A5017101409 @default.
- W2944794753 hasAuthorship W2944794753A5039882261 @default.
- W2944794753 hasConcept C111472728 @default.
- W2944794753 hasConcept C138885662 @default.
- W2944794753 hasConcept C149635348 @default.
- W2944794753 hasConcept C156325763 @default.
- W2944794753 hasConcept C177264268 @default.
- W2944794753 hasConcept C182620335 @default.
- W2944794753 hasConcept C184337299 @default.
- W2944794753 hasConcept C199360897 @default.
- W2944794753 hasConcept C207648694 @default.
- W2944794753 hasConcept C2780586882 @default.
- W2944794753 hasConcept C41008148 @default.
- W2944794753 hasConcept C46274116 @default.
- W2944794753 hasConcept C58312451 @default.
- W2944794753 hasConcept C80444323 @default.
- W2944794753 hasConcept C89497691 @default.
- W2944794753 hasConceptScore W2944794753C111472728 @default.
- W2944794753 hasConceptScore W2944794753C138885662 @default.
- W2944794753 hasConceptScore W2944794753C149635348 @default.
- W2944794753 hasConceptScore W2944794753C156325763 @default.
- W2944794753 hasConceptScore W2944794753C177264268 @default.
- W2944794753 hasConceptScore W2944794753C182620335 @default.
- W2944794753 hasConceptScore W2944794753C184337299 @default.
- W2944794753 hasConceptScore W2944794753C199360897 @default.
- W2944794753 hasConceptScore W2944794753C207648694 @default.
- W2944794753 hasConceptScore W2944794753C2780586882 @default.
- W2944794753 hasConceptScore W2944794753C41008148 @default.
- W2944794753 hasConceptScore W2944794753C46274116 @default.
- W2944794753 hasConceptScore W2944794753C58312451 @default.
- W2944794753 hasConceptScore W2944794753C80444323 @default.
- W2944794753 hasConceptScore W2944794753C89497691 @default.
- W2944794753 hasLocation W29447947531 @default.
- W2944794753 hasOpenAccess W2944794753 @default.
- W2944794753 hasPrimaryLocation W29447947531 @default.
- W2944794753 hasRelatedWork W1122782392 @default.
- W2944794753 hasRelatedWork W114126544 @default.
- W2944794753 hasRelatedWork W1549565700 @default.
- W2944794753 hasRelatedWork W1555633628 @default.
- W2944794753 hasRelatedWork W1621236257 @default.
- W2944794753 hasRelatedWork W2104448458 @default.
- W2944794753 hasRelatedWork W2109826876 @default.
- W2944794753 hasRelatedWork W2144561707 @default.
- W2944794753 hasRelatedWork W2301736536 @default.
- W2944794753 hasRelatedWork W2331472954 @default.
- W2944794753 hasRelatedWork W2405720308 @default.
- W2944794753 hasRelatedWork W2465565760 @default.
- W2944794753 hasRelatedWork W2485906690 @default.
- W2944794753 hasRelatedWork W2577100700 @default.
- W2944794753 hasRelatedWork W2951547617 @default.
- W2944794753 hasRelatedWork W2963311843 @default.
- W2944794753 hasRelatedWork W2970818529 @default.
- W2944794753 hasRelatedWork W2971182099 @default.
- W2944794753 hasRelatedWork W3007856094 @default.
- W2944794753 hasRelatedWork W1592744966 @default.
- W2944794753 isParatext "false" @default.
- W2944794753 isRetracted "false" @default.
- W2944794753 magId "2944794753" @default.
- W2944794753 workType "book-chapter" @default.