Matches in SemOpenAlex for { <https://semopenalex.org/work/W2727361336> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2727361336 abstract "Answer-Set Programming (ASP) is a declarative programming paradigm. In this paper we discuss two related restrictions and present a novel modeling technique to overcome them: (1) Meta-reasoning about the collection of answer sets of a program is in general only possible by external postprocessing, but not within the program. This prohibits the direct continuation of reasoning based on the answer to the query over a (sub)program’s answer sets. (2) The saturation programming technique exploits the minimality criterion for answer sets of a disjunctive ASP program to solve co-(mathsf {NP})-hard problems, which typically involve checking if a property holds for all objects in a certain domain. However, the technique is advanced and not easily applicable by average ASP users; moreover, the use of default-negation within saturation encodings is limited." @default.
- W2727361336 created "2017-07-14" @default.
- W2727361336 creator A5065193177 @default.
- W2727361336 date "2017-01-01" @default.
- W2727361336 modified "2023-09-27" @default.
- W2727361336 title "Answer Set Programs with Queries over Subprograms" @default.
- W2727361336 cites W107062135 @default.
- W2727361336 cites W1544757461 @default.
- W2727361336 cites W1633347946 @default.
- W2727361336 cites W1772789695 @default.
- W2727361336 cites W2064864283 @default.
- W2727361336 cites W2076698873 @default.
- W2727361336 cites W2087432892 @default.
- W2727361336 cites W2496580970 @default.
- W2727361336 cites W38205587 @default.
- W2727361336 cites W4211177236 @default.
- W2727361336 doi "https://doi.org/10.1007/978-3-319-61660-5_15" @default.
- W2727361336 hasPublicationYear "2017" @default.
- W2727361336 type Work @default.
- W2727361336 sameAs 2727361336 @default.
- W2727361336 citedByCount "0" @default.
- W2727361336 crossrefType "book-chapter" @default.
- W2727361336 hasAuthorship W2727361336A5065193177 @default.
- W2727361336 hasConcept C111472728 @default.
- W2727361336 hasConcept C127001435 @default.
- W2727361336 hasConcept C128838566 @default.
- W2727361336 hasConcept C134306372 @default.
- W2727361336 hasConcept C138885662 @default.
- W2727361336 hasConcept C156325763 @default.
- W2727361336 hasConcept C165696696 @default.
- W2727361336 hasConcept C177264268 @default.
- W2727361336 hasConcept C182620335 @default.
- W2727361336 hasConcept C184337299 @default.
- W2727361336 hasConcept C189950617 @default.
- W2727361336 hasConcept C199360897 @default.
- W2727361336 hasConcept C2185349 @default.
- W2727361336 hasConcept C33923547 @default.
- W2727361336 hasConcept C36503486 @default.
- W2727361336 hasConcept C38652104 @default.
- W2727361336 hasConcept C41008148 @default.
- W2727361336 hasConcept C62360110 @default.
- W2727361336 hasConcept C80444323 @default.
- W2727361336 hasConceptScore W2727361336C111472728 @default.
- W2727361336 hasConceptScore W2727361336C127001435 @default.
- W2727361336 hasConceptScore W2727361336C128838566 @default.
- W2727361336 hasConceptScore W2727361336C134306372 @default.
- W2727361336 hasConceptScore W2727361336C138885662 @default.
- W2727361336 hasConceptScore W2727361336C156325763 @default.
- W2727361336 hasConceptScore W2727361336C165696696 @default.
- W2727361336 hasConceptScore W2727361336C177264268 @default.
- W2727361336 hasConceptScore W2727361336C182620335 @default.
- W2727361336 hasConceptScore W2727361336C184337299 @default.
- W2727361336 hasConceptScore W2727361336C189950617 @default.
- W2727361336 hasConceptScore W2727361336C199360897 @default.
- W2727361336 hasConceptScore W2727361336C2185349 @default.
- W2727361336 hasConceptScore W2727361336C33923547 @default.
- W2727361336 hasConceptScore W2727361336C36503486 @default.
- W2727361336 hasConceptScore W2727361336C38652104 @default.
- W2727361336 hasConceptScore W2727361336C41008148 @default.
- W2727361336 hasConceptScore W2727361336C62360110 @default.
- W2727361336 hasConceptScore W2727361336C80444323 @default.
- W2727361336 hasLocation W27273613361 @default.
- W2727361336 hasOpenAccess W2727361336 @default.
- W2727361336 hasPrimaryLocation W27273613361 @default.
- W2727361336 hasRelatedWork W1527693314 @default.
- W2727361336 hasRelatedWork W1530626736 @default.
- W2727361336 hasRelatedWork W1545915159 @default.
- W2727361336 hasRelatedWork W1567155055 @default.
- W2727361336 hasRelatedWork W1593530704 @default.
- W2727361336 hasRelatedWork W1676151111 @default.
- W2727361336 hasRelatedWork W1726322587 @default.
- W2727361336 hasRelatedWork W1978360813 @default.
- W2727361336 hasRelatedWork W2076569795 @default.
- W2727361336 hasRelatedWork W2101208282 @default.
- W2727361336 hasRelatedWork W2124627636 @default.
- W2727361336 hasRelatedWork W2157334516 @default.
- W2727361336 hasRelatedWork W2260375960 @default.
- W2727361336 hasRelatedWork W2269949982 @default.
- W2727361336 hasRelatedWork W2601354222 @default.
- W2727361336 hasRelatedWork W2728676088 @default.
- W2727361336 hasRelatedWork W3036407780 @default.
- W2727361336 hasRelatedWork W3101690952 @default.
- W2727361336 hasRelatedWork W3199575728 @default.
- W2727361336 hasRelatedWork W83956222 @default.
- W2727361336 isParatext "false" @default.
- W2727361336 isRetracted "false" @default.
- W2727361336 magId "2727361336" @default.
- W2727361336 workType "book-chapter" @default.