Matches in SemOpenAlex for { <https://semopenalex.org/work/W2944250761> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2944250761 endingPage "592" @default.
- W2944250761 startingPage "576" @default.
- W2944250761 abstract "We address the issue of abstraction, a widely used notion to simplify problems, in the context of Answer Set Programming (ASP), which is a highly expressive formalism and a convenient tool for declarative problem solving. We introduce a method to automatically abstract non-ground ASP programs given an abstraction over the domain, which ensures that each original answer set is mapped to some abstract answer set. We discuss abstraction possibilities on several examples and show the use of abstraction to gain insight into problem instances, e.g., domain details irrelevant for problem solving; this makes abstraction attractive for getting to the essence of the problem. We also provide a tool implementing automatic abstraction from an input program." @default.
- W2944250761 created "2019-05-16" @default.
- W2944250761 creator A5024232019 @default.
- W2944250761 creator A5074339594 @default.
- W2944250761 creator A5082178480 @default.
- W2944250761 date "2019-01-01" @default.
- W2944250761 modified "2023-09-27" @default.
- W2944250761 title "Abstraction for Non-ground Answer Set Programs" @default.
- W2944250761 cites W1482532598 @default.
- W2944250761 cites W1488478372 @default.
- W2944250761 cites W1501758783 @default.
- W2944250761 cites W1981627423 @default.
- W2944250761 cites W1995876561 @default.
- W2944250761 cites W2056850725 @default.
- W2944250761 cites W2080593426 @default.
- W2944250761 cites W2081810835 @default.
- W2944250761 cites W2091138122 @default.
- W2944250761 cites W2105869173 @default.
- W2944250761 cites W2143303446 @default.
- W2944250761 cites W2160761160 @default.
- W2944250761 cites W2254622818 @default.
- W2944250761 cites W2507704646 @default.
- W2944250761 cites W2604896086 @default.
- W2944250761 cites W2733216687 @default.
- W2944250761 cites W2904811519 @default.
- W2944250761 cites W4254300114 @default.
- W2944250761 doi "https://doi.org/10.1007/978-3-030-19570-0_38" @default.
- W2944250761 hasPublicationYear "2019" @default.
- W2944250761 type Work @default.
- W2944250761 sameAs 2944250761 @default.
- W2944250761 citedByCount "8" @default.
- W2944250761 countsByYear W29442507612019 @default.
- W2944250761 countsByYear W29442507612020 @default.
- W2944250761 countsByYear W29442507612021 @default.
- W2944250761 crossrefType "book-chapter" @default.
- W2944250761 hasAuthorship W2944250761A5024232019 @default.
- W2944250761 hasAuthorship W2944250761A5074339594 @default.
- W2944250761 hasAuthorship W2944250761A5082178480 @default.
- W2944250761 hasBestOaLocation W29442507612 @default.
- W2944250761 hasConcept C111472728 @default.
- W2944250761 hasConcept C124304363 @default.
- W2944250761 hasConcept C134306372 @default.
- W2944250761 hasConcept C138885662 @default.
- W2944250761 hasConcept C142362112 @default.
- W2944250761 hasConcept C151730666 @default.
- W2944250761 hasConcept C153349607 @default.
- W2944250761 hasConcept C177264268 @default.
- W2944250761 hasConcept C182620335 @default.
- W2944250761 hasConcept C199360897 @default.
- W2944250761 hasConcept C2779343474 @default.
- W2944250761 hasConcept C33923547 @default.
- W2944250761 hasConcept C36503486 @default.
- W2944250761 hasConcept C41008148 @default.
- W2944250761 hasConcept C558565934 @default.
- W2944250761 hasConcept C73301696 @default.
- W2944250761 hasConcept C80444323 @default.
- W2944250761 hasConcept C86803240 @default.
- W2944250761 hasConceptScore W2944250761C111472728 @default.
- W2944250761 hasConceptScore W2944250761C124304363 @default.
- W2944250761 hasConceptScore W2944250761C134306372 @default.
- W2944250761 hasConceptScore W2944250761C138885662 @default.
- W2944250761 hasConceptScore W2944250761C142362112 @default.
- W2944250761 hasConceptScore W2944250761C151730666 @default.
- W2944250761 hasConceptScore W2944250761C153349607 @default.
- W2944250761 hasConceptScore W2944250761C177264268 @default.
- W2944250761 hasConceptScore W2944250761C182620335 @default.
- W2944250761 hasConceptScore W2944250761C199360897 @default.
- W2944250761 hasConceptScore W2944250761C2779343474 @default.
- W2944250761 hasConceptScore W2944250761C33923547 @default.
- W2944250761 hasConceptScore W2944250761C36503486 @default.
- W2944250761 hasConceptScore W2944250761C41008148 @default.
- W2944250761 hasConceptScore W2944250761C558565934 @default.
- W2944250761 hasConceptScore W2944250761C73301696 @default.
- W2944250761 hasConceptScore W2944250761C80444323 @default.
- W2944250761 hasConceptScore W2944250761C86803240 @default.
- W2944250761 hasLocation W29442507611 @default.
- W2944250761 hasLocation W29442507612 @default.
- W2944250761 hasOpenAccess W2944250761 @default.
- W2944250761 hasPrimaryLocation W29442507611 @default.
- W2944250761 hasRelatedWork W2171836055 @default.
- W2944250761 hasRelatedWork W2274161097 @default.
- W2944250761 hasRelatedWork W2587729645 @default.
- W2944250761 hasRelatedWork W2746825172 @default.
- W2944250761 hasRelatedWork W2898772359 @default.
- W2944250761 hasRelatedWork W2914892239 @default.
- W2944250761 hasRelatedWork W2944250761 @default.
- W2944250761 hasRelatedWork W3101458312 @default.
- W2944250761 hasRelatedWork W3160136729 @default.
- W2944250761 hasRelatedWork W3183197268 @default.
- W2944250761 isParatext "false" @default.
- W2944250761 isRetracted "false" @default.
- W2944250761 magId "2944250761" @default.
- W2944250761 workType "book-chapter" @default.