Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048236497> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3048236497 abstract "Generalising and re-using knowledge learned while solving one problem instance has been neglected by state-of-the-art answer set solvers. We suggest a new approach that generalises learned nogoods for re-use to speed-up the solving of future problem instances. Our solution combines well-known ASP solving techniques with deductive logic-based machine learning. Solving performance can be improved by adding learned non-ground constraints to the original program. We demonstrate the effects of our method by means of realistic examples, showing that our approach requires low computational cost to learn constraints that yield significant performance benefits in our test cases. These benefits can be seen with ground-and-solve systems as well as lazy-grounding systems. However, ground-and-solve systems suffer from additional grounding overheads, induced by the additional constraints in some cases. By means of conflict minimization, non-minimal learned constraints can be reduced. This can result in significant reductions of grounding and solving efforts, as our experiments show. (Under consideration for acceptance in TPLP.)" @default.
- W3048236497 created "2020-08-13" @default.
- W3048236497 creator A5037543382 @default.
- W3048236497 creator A5039264326 @default.
- W3048236497 creator A5082759754 @default.
- W3048236497 date "2020-08-07" @default.
- W3048236497 modified "2023-09-23" @default.
- W3048236497 title "Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints" @default.
- W3048236497 cites W128869332 @default.
- W3048236497 cites W1493657719 @default.
- W3048236497 cites W2041706386 @default.
- W3048236497 cites W2048643630 @default.
- W3048236497 cites W2049791401 @default.
- W3048236497 cites W2064864283 @default.
- W3048236497 cites W2096307462 @default.
- W3048236497 cites W2101602574 @default.
- W3048236497 cites W2180885055 @default.
- W3048236497 cites W2613089666 @default.
- W3048236497 cites W2729610333 @default.
- W3048236497 cites W2733732676 @default.
- W3048236497 cites W2807882401 @default.
- W3048236497 cites W2892590207 @default.
- W3048236497 cites W2935262935 @default.
- W3048236497 cites W2994667977 @default.
- W3048236497 cites W3104830616 @default.
- W3048236497 cites W96138453 @default.
- W3048236497 cites W2407746648 @default.
- W3048236497 hasPublicationYear "2020" @default.
- W3048236497 type Work @default.
- W3048236497 sameAs 3048236497 @default.
- W3048236497 citedByCount "0" @default.
- W3048236497 crossrefType "posted-content" @default.
- W3048236497 hasAuthorship W3048236497A5037543382 @default.
- W3048236497 hasAuthorship W3048236497A5039264326 @default.
- W3048236497 hasAuthorship W3048236497A5082759754 @default.
- W3048236497 hasConcept C119599485 @default.
- W3048236497 hasConcept C119857082 @default.
- W3048236497 hasConcept C126255220 @default.
- W3048236497 hasConcept C127413603 @default.
- W3048236497 hasConcept C144024400 @default.
- W3048236497 hasConcept C147764199 @default.
- W3048236497 hasConcept C154945302 @default.
- W3048236497 hasConcept C168993435 @default.
- W3048236497 hasConcept C177264268 @default.
- W3048236497 hasConcept C199360897 @default.
- W3048236497 hasConcept C2777877512 @default.
- W3048236497 hasConcept C33923547 @default.
- W3048236497 hasConcept C41008148 @default.
- W3048236497 hasConcept C46312422 @default.
- W3048236497 hasConceptScore W3048236497C119599485 @default.
- W3048236497 hasConceptScore W3048236497C119857082 @default.
- W3048236497 hasConceptScore W3048236497C126255220 @default.
- W3048236497 hasConceptScore W3048236497C127413603 @default.
- W3048236497 hasConceptScore W3048236497C144024400 @default.
- W3048236497 hasConceptScore W3048236497C147764199 @default.
- W3048236497 hasConceptScore W3048236497C154945302 @default.
- W3048236497 hasConceptScore W3048236497C168993435 @default.
- W3048236497 hasConceptScore W3048236497C177264268 @default.
- W3048236497 hasConceptScore W3048236497C199360897 @default.
- W3048236497 hasConceptScore W3048236497C2777877512 @default.
- W3048236497 hasConceptScore W3048236497C33923547 @default.
- W3048236497 hasConceptScore W3048236497C41008148 @default.
- W3048236497 hasConceptScore W3048236497C46312422 @default.
- W3048236497 hasOpenAccess W3048236497 @default.
- W3048236497 hasRelatedWork W1576911979 @default.
- W3048236497 hasRelatedWork W2042762898 @default.
- W3048236497 hasRelatedWork W2171683607 @default.
- W3048236497 hasRelatedWork W2279561282 @default.
- W3048236497 hasRelatedWork W24908911 @default.
- W3048236497 hasRelatedWork W2547141876 @default.
- W3048236497 hasRelatedWork W2558997757 @default.
- W3048236497 hasRelatedWork W2576280707 @default.
- W3048236497 hasRelatedWork W2617743360 @default.
- W3048236497 hasRelatedWork W2692855389 @default.
- W3048236497 hasRelatedWork W2950314343 @default.
- W3048236497 hasRelatedWork W2957921504 @default.
- W3048236497 hasRelatedWork W3005774977 @default.
- W3048236497 hasRelatedWork W3087873070 @default.
- W3048236497 hasRelatedWork W3089226904 @default.
- W3048236497 hasRelatedWork W3091364228 @default.
- W3048236497 hasRelatedWork W3135149588 @default.
- W3048236497 hasRelatedWork W856071238 @default.
- W3048236497 hasRelatedWork W94133491 @default.
- W3048236497 hasRelatedWork W2516946291 @default.
- W3048236497 isParatext "false" @default.
- W3048236497 isRetracted "false" @default.
- W3048236497 magId "3048236497" @default.
- W3048236497 workType "article" @default.