Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890107001> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2890107001 abstract "ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive. We consider abstraction as a means of over-approximation and introduce a method to automatically abstract (possibly non-ground) ASP programs that preserves their structure, while reducing the size of the problem. One particular application case is the problem of defining declarative policies for reactive agents and reasoning about them, which we illustrate on examples." @default.
- W2890107001 created "2018-09-27" @default.
- W2890107001 creator A5024232019 @default.
- W2890107001 creator A5082178480 @default.
- W2890107001 date "2018-09-18" @default.
- W2890107001 modified "2023-09-27" @default.
- W2890107001 title "Towards Abstraction in ASP with an Application on Reasoning about Agent Policies." @default.
- W2890107001 cites W1511336005 @default.
- W2890107001 cites W1597578789 @default.
- W2890107001 cites W1606891084 @default.
- W2890107001 cites W1981627423 @default.
- W2890107001 cites W2011124182 @default.
- W2890107001 cites W2072046078 @default.
- W2890107001 cites W2076698873 @default.
- W2890107001 cites W2078727257 @default.
- W2890107001 cites W2081810835 @default.
- W2890107001 cites W2105869173 @default.
- W2890107001 cites W2127574686 @default.
- W2890107001 cites W2524301860 @default.
- W2890107001 cites W2542981480 @default.
- W2890107001 cites W2574633920 @default.
- W2890107001 cites W2604896086 @default.
- W2890107001 cites W2733216687 @default.
- W2890107001 cites W2950512343 @default.
- W2890107001 cites W2055486654 @default.
- W2890107001 hasPublicationYear "2018" @default.
- W2890107001 type Work @default.
- W2890107001 sameAs 2890107001 @default.
- W2890107001 citedByCount "0" @default.
- W2890107001 crossrefType "posted-content" @default.
- W2890107001 hasAuthorship W2890107001A5024232019 @default.
- W2890107001 hasAuthorship W2890107001A5082178480 @default.
- W2890107001 hasConcept C105795698 @default.
- W2890107001 hasConcept C111472728 @default.
- W2890107001 hasConcept C111919701 @default.
- W2890107001 hasConcept C124304363 @default.
- W2890107001 hasConcept C138885662 @default.
- W2890107001 hasConcept C154945302 @default.
- W2890107001 hasConcept C199360897 @default.
- W2890107001 hasConcept C2778572836 @default.
- W2890107001 hasConcept C33923547 @default.
- W2890107001 hasConcept C41008148 @default.
- W2890107001 hasConcept C48103436 @default.
- W2890107001 hasConcept C72434380 @default.
- W2890107001 hasConcept C80444323 @default.
- W2890107001 hasConceptScore W2890107001C105795698 @default.
- W2890107001 hasConceptScore W2890107001C111472728 @default.
- W2890107001 hasConceptScore W2890107001C111919701 @default.
- W2890107001 hasConceptScore W2890107001C124304363 @default.
- W2890107001 hasConceptScore W2890107001C138885662 @default.
- W2890107001 hasConceptScore W2890107001C154945302 @default.
- W2890107001 hasConceptScore W2890107001C199360897 @default.
- W2890107001 hasConceptScore W2890107001C2778572836 @default.
- W2890107001 hasConceptScore W2890107001C33923547 @default.
- W2890107001 hasConceptScore W2890107001C41008148 @default.
- W2890107001 hasConceptScore W2890107001C48103436 @default.
- W2890107001 hasConceptScore W2890107001C72434380 @default.
- W2890107001 hasConceptScore W2890107001C80444323 @default.
- W2890107001 hasLocation W28901070011 @default.
- W2890107001 hasOpenAccess W2890107001 @default.
- W2890107001 hasPrimaryLocation W28901070011 @default.
- W2890107001 hasRelatedWork W106843314 @default.
- W2890107001 hasRelatedWork W114885797 @default.
- W2890107001 hasRelatedWork W1579960190 @default.
- W2890107001 hasRelatedWork W1607886930 @default.
- W2890107001 hasRelatedWork W181154243 @default.
- W2890107001 hasRelatedWork W1974454942 @default.
- W2890107001 hasRelatedWork W1999987460 @default.
- W2890107001 hasRelatedWork W2129979082 @default.
- W2890107001 hasRelatedWork W2146329212 @default.
- W2890107001 hasRelatedWork W2174189520 @default.
- W2890107001 hasRelatedWork W2230679712 @default.
- W2890107001 hasRelatedWork W2272418519 @default.
- W2890107001 hasRelatedWork W2757881148 @default.
- W2890107001 hasRelatedWork W2798878581 @default.
- W2890107001 hasRelatedWork W3009463690 @default.
- W2890107001 hasRelatedWork W3100740216 @default.
- W2890107001 hasRelatedWork W3105184467 @default.
- W2890107001 hasRelatedWork W3183197268 @default.
- W2890107001 hasRelatedWork W3201180658 @default.
- W2890107001 hasRelatedWork W61063146 @default.
- W2890107001 isParatext "false" @default.
- W2890107001 isRetracted "false" @default.
- W2890107001 magId "2890107001" @default.
- W2890107001 workType "article" @default.