Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395681936> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2395681936 endingPage "351" @default.
- W2395681936 startingPage "347" @default.
- W2395681936 abstract "Counterexample-guided abstraction refinement (CEGAR) is a method for incrementally computing abstractions of transition systems. We propose a CEGAR algorithm for computing abstraction heuristics for optimal classical planning. Starting from a coarse abstraction of the planning task, we iteratively compute an optimal abstract solution, check if and why it fails for the concrete planning task and refine the abstraction so that the same failure cannot occur in future iterations. A key ingredient of our approach is a novel class of abstractions for classical planning tasks that admits efficient and very fine-grained refinement. Our implementation performs tens of thousands of refinement steps in a few minutes and produces heuristics that are often significantly more accurate than pattern database heuristics of the same size." @default.
- W2395681936 created "2016-06-24" @default.
- W2395681936 creator A5031089257 @default.
- W2395681936 creator A5033577488 @default.
- W2395681936 date "2013-06-02" @default.
- W2395681936 modified "2023-10-05" @default.
- W2395681936 title "Counterexample-Guided Cartesian Abstraction Refinement" @default.
- W2395681936 cites W127757898 @default.
- W2395681936 cites W1481934897 @default.
- W2395681936 cites W1553858749 @default.
- W2395681936 cites W1573576464 @default.
- W2395681936 cites W1575990843 @default.
- W2395681936 cites W1773969059 @default.
- W2395681936 cites W2045526507 @default.
- W2395681936 cites W2101901809 @default.
- W2395681936 cites W2109793197 @default.
- W2395681936 cites W2125374272 @default.
- W2395681936 cites W2134029974 @default.
- W2395681936 cites W2158395308 @default.
- W2395681936 cites W2401331446 @default.
- W2395681936 cites W2962944018 @default.
- W2395681936 doi "https://doi.org/10.1609/icaps.v23i1.13605" @default.
- W2395681936 hasPublicationYear "2013" @default.
- W2395681936 type Work @default.
- W2395681936 sameAs 2395681936 @default.
- W2395681936 citedByCount "18" @default.
- W2395681936 countsByYear W23956819362013 @default.
- W2395681936 countsByYear W23956819362014 @default.
- W2395681936 countsByYear W23956819362015 @default.
- W2395681936 countsByYear W23956819362016 @default.
- W2395681936 countsByYear W23956819362017 @default.
- W2395681936 countsByYear W23956819362018 @default.
- W2395681936 countsByYear W23956819362021 @default.
- W2395681936 crossrefType "journal-article" @default.
- W2395681936 hasAuthorship W2395681936A5031089257 @default.
- W2395681936 hasAuthorship W2395681936A5033577488 @default.
- W2395681936 hasBestOaLocation W23956819361 @default.
- W2395681936 hasConcept C111472728 @default.
- W2395681936 hasConcept C111919701 @default.
- W2395681936 hasConcept C11413529 @default.
- W2395681936 hasConcept C118615104 @default.
- W2395681936 hasConcept C124304363 @default.
- W2395681936 hasConcept C127705205 @default.
- W2395681936 hasConcept C138885662 @default.
- W2395681936 hasConcept C154945302 @default.
- W2395681936 hasConcept C162324750 @default.
- W2395681936 hasConcept C162838799 @default.
- W2395681936 hasConcept C187736073 @default.
- W2395681936 hasConcept C26517878 @default.
- W2395681936 hasConcept C2777212361 @default.
- W2395681936 hasConcept C2780451532 @default.
- W2395681936 hasConcept C33923547 @default.
- W2395681936 hasConcept C38652104 @default.
- W2395681936 hasConcept C41008148 @default.
- W2395681936 hasConcept C45374587 @default.
- W2395681936 hasConcept C80444323 @default.
- W2395681936 hasConceptScore W2395681936C111472728 @default.
- W2395681936 hasConceptScore W2395681936C111919701 @default.
- W2395681936 hasConceptScore W2395681936C11413529 @default.
- W2395681936 hasConceptScore W2395681936C118615104 @default.
- W2395681936 hasConceptScore W2395681936C124304363 @default.
- W2395681936 hasConceptScore W2395681936C127705205 @default.
- W2395681936 hasConceptScore W2395681936C138885662 @default.
- W2395681936 hasConceptScore W2395681936C154945302 @default.
- W2395681936 hasConceptScore W2395681936C162324750 @default.
- W2395681936 hasConceptScore W2395681936C162838799 @default.
- W2395681936 hasConceptScore W2395681936C187736073 @default.
- W2395681936 hasConceptScore W2395681936C26517878 @default.
- W2395681936 hasConceptScore W2395681936C2777212361 @default.
- W2395681936 hasConceptScore W2395681936C2780451532 @default.
- W2395681936 hasConceptScore W2395681936C33923547 @default.
- W2395681936 hasConceptScore W2395681936C38652104 @default.
- W2395681936 hasConceptScore W2395681936C41008148 @default.
- W2395681936 hasConceptScore W2395681936C45374587 @default.
- W2395681936 hasConceptScore W2395681936C80444323 @default.
- W2395681936 hasLocation W23956819361 @default.
- W2395681936 hasLocation W23956819362 @default.
- W2395681936 hasOpenAccess W2395681936 @default.
- W2395681936 hasPrimaryLocation W23956819361 @default.
- W2395681936 hasRelatedWork W2003959877 @default.
- W2395681936 hasRelatedWork W2085535520 @default.
- W2395681936 hasRelatedWork W2088501121 @default.
- W2395681936 hasRelatedWork W2186626863 @default.
- W2395681936 hasRelatedWork W2205190565 @default.
- W2395681936 hasRelatedWork W2216451296 @default.
- W2395681936 hasRelatedWork W2395681936 @default.
- W2395681936 hasRelatedWork W2888752104 @default.
- W2395681936 hasRelatedWork W2950723509 @default.
- W2395681936 hasRelatedWork W3037839855 @default.
- W2395681936 hasVolume "23" @default.
- W2395681936 isParatext "false" @default.
- W2395681936 isRetracted "false" @default.
- W2395681936 magId "2395681936" @default.
- W2395681936 workType "article" @default.