Matches in SemOpenAlex for { <https://semopenalex.org/work/W3176501917> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3176501917 abstract "Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster systems a challenging research topic. This paper reports on the recent improvements of the ASP solver WASP. WASP is undergoing a refactoring process which will end up in the release of a new and more performant version of the software. In particular the paper focus on the improvements to the core evaluation algorithms working on normal programs. A preliminary experiment on benchmarks from the 3rd ASP competition belonging to the NP class is reported. The previous version of WASP was often not competitive with alternative solutions on this class. The new version of WASP shows a substantial increase in performance." @default.
- W3176501917 created "2021-07-05" @default.
- W3176501917 creator A5013411309 @default.
- W3176501917 creator A5031224507 @default.
- W3176501917 creator A5039882261 @default.
- W3176501917 date "2014-04-01" @default.
- W3176501917 modified "2023-09-27" @default.
- W3176501917 title "Preliminary Report on WASP 2.0" @default.
- W3176501917 hasPublicationYear "2014" @default.
- W3176501917 type Work @default.
- W3176501917 sameAs 3176501917 @default.
- W3176501917 citedByCount "0" @default.
- W3176501917 crossrefType "proceedings-article" @default.
- W3176501917 hasAuthorship W3176501917A5013411309 @default.
- W3176501917 hasAuthorship W3176501917A5031224507 @default.
- W3176501917 hasAuthorship W3176501917A5039882261 @default.
- W3176501917 hasConcept C115903868 @default.
- W3176501917 hasConcept C120665830 @default.
- W3176501917 hasConcept C121332964 @default.
- W3176501917 hasConcept C152752567 @default.
- W3176501917 hasConcept C154945302 @default.
- W3176501917 hasConcept C177264268 @default.
- W3176501917 hasConcept C182620335 @default.
- W3176501917 hasConcept C192209626 @default.
- W3176501917 hasConcept C199360897 @default.
- W3176501917 hasConcept C2164484 @default.
- W3176501917 hasConcept C2777212361 @default.
- W3176501917 hasConcept C2777904410 @default.
- W3176501917 hasConcept C2778770139 @default.
- W3176501917 hasConcept C41008148 @default.
- W3176501917 hasConcept C76155785 @default.
- W3176501917 hasConcept C80444323 @default.
- W3176501917 hasConcept C98045186 @default.
- W3176501917 hasConceptScore W3176501917C115903868 @default.
- W3176501917 hasConceptScore W3176501917C120665830 @default.
- W3176501917 hasConceptScore W3176501917C121332964 @default.
- W3176501917 hasConceptScore W3176501917C152752567 @default.
- W3176501917 hasConceptScore W3176501917C154945302 @default.
- W3176501917 hasConceptScore W3176501917C177264268 @default.
- W3176501917 hasConceptScore W3176501917C182620335 @default.
- W3176501917 hasConceptScore W3176501917C192209626 @default.
- W3176501917 hasConceptScore W3176501917C199360897 @default.
- W3176501917 hasConceptScore W3176501917C2164484 @default.
- W3176501917 hasConceptScore W3176501917C2777212361 @default.
- W3176501917 hasConceptScore W3176501917C2777904410 @default.
- W3176501917 hasConceptScore W3176501917C2778770139 @default.
- W3176501917 hasConceptScore W3176501917C41008148 @default.
- W3176501917 hasConceptScore W3176501917C76155785 @default.
- W3176501917 hasConceptScore W3176501917C80444323 @default.
- W3176501917 hasConceptScore W3176501917C98045186 @default.
- W3176501917 hasLocation W31765019171 @default.
- W3176501917 hasOpenAccess W3176501917 @default.
- W3176501917 hasPrimaryLocation W31765019171 @default.
- W3176501917 hasRelatedWork W113047804 @default.
- W3176501917 hasRelatedWork W1458406845 @default.
- W3176501917 hasRelatedWork W1490271532 @default.
- W3176501917 hasRelatedWork W1544722557 @default.
- W3176501917 hasRelatedWork W156593182 @default.
- W3176501917 hasRelatedWork W166292644 @default.
- W3176501917 hasRelatedWork W1856878087 @default.
- W3176501917 hasRelatedWork W2023910006 @default.
- W3176501917 hasRelatedWork W203824894 @default.
- W3176501917 hasRelatedWork W2109943281 @default.
- W3176501917 hasRelatedWork W2334060678 @default.
- W3176501917 hasRelatedWork W2608612765 @default.
- W3176501917 hasRelatedWork W2783539096 @default.
- W3176501917 hasRelatedWork W2956195647 @default.
- W3176501917 hasRelatedWork W2964204744 @default.
- W3176501917 hasRelatedWork W2972926655 @default.
- W3176501917 hasRelatedWork W3098254209 @default.
- W3176501917 hasRelatedWork W3151684337 @default.
- W3176501917 hasRelatedWork W3214659637 @default.
- W3176501917 hasRelatedWork W33233687 @default.
- W3176501917 isParatext "false" @default.
- W3176501917 isRetracted "false" @default.
- W3176501917 magId "3176501917" @default.
- W3176501917 workType "article" @default.