Matches in SemOpenAlex for { <https://semopenalex.org/work/W2620232314> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2620232314 abstract "Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Answer Set Programming (SkASP), aiming at supporting the user in resolving this issue. The user writes an ASP program while marking uncertain parts open with question marks. In addition, the user provides a number of positive and negative examples of the desired program behaviour. The sketched model is rewritten into another ASP program, which is solved by traditional methods. As a result, the user obtains a functional and reusable ASP program modelling her problem. We evaluate our approach on 21 well known puzzles and combinatorial problems inspired by Karp's 21 NP-complete problems and demonstrate a use-case for a database application based on ASP." @default.
- W2620232314 created "2017-06-05" @default.
- W2620232314 creator A5038912625 @default.
- W2620232314 creator A5043378003 @default.
- W2620232314 creator A5059533915 @default.
- W2620232314 creator A5078136609 @default.
- W2620232314 date "2017-05-21" @default.
- W2620232314 modified "2023-10-15" @default.
- W2620232314 title "Sketched Answer Set Programming" @default.
- W2620232314 cites W1234244774 @default.
- W2620232314 cites W136734405 @default.
- W2620232314 cites W141304919 @default.
- W2620232314 cites W1485366229 @default.
- W2620232314 cites W1523751874 @default.
- W2620232314 cites W1545506277 @default.
- W2620232314 cites W1555658928 @default.
- W2620232314 cites W1590649805 @default.
- W2620232314 cites W1672891595 @default.
- W2620232314 cites W1757790192 @default.
- W2620232314 cites W1769664091 @default.
- W2620232314 cites W1903938722 @default.
- W2620232314 cites W1987902506 @default.
- W2620232314 cites W2001683790 @default.
- W2620232314 cites W2005186003 @default.
- W2620232314 cites W2009605580 @default.
- W2620232314 cites W2036981717 @default.
- W2620232314 cites W2059310502 @default.
- W2620232314 cites W2064864283 @default.
- W2620232314 cites W2091092523 @default.
- W2620232314 cites W2136384959 @default.
- W2620232314 cites W2155348816 @default.
- W2620232314 cites W2155378065 @default.
- W2620232314 cites W2160580192 @default.
- W2620232314 cites W2169808787 @default.
- W2620232314 cites W2171836055 @default.
- W2620232314 cites W2189547572 @default.
- W2620232314 cites W228104253 @default.
- W2620232314 cites W2281489601 @default.
- W2620232314 cites W2752707359 @default.
- W2620232314 cites W2914792284 @default.
- W2620232314 cites W2949714167 @default.
- W2620232314 cites W2964073874 @default.
- W2620232314 cites W3192343331 @default.
- W2620232314 cites W2071784417 @default.
- W2620232314 hasPublicationYear "2017" @default.
- W2620232314 type Work @default.
- W2620232314 sameAs 2620232314 @default.
- W2620232314 citedByCount "0" @default.
- W2620232314 crossrefType "posted-content" @default.
- W2620232314 hasAuthorship W2620232314A5038912625 @default.
- W2620232314 hasAuthorship W2620232314A5043378003 @default.
- W2620232314 hasAuthorship W2620232314A5059533915 @default.
- W2620232314 hasAuthorship W2620232314A5078136609 @default.
- W2620232314 hasConcept C142362112 @default.
- W2620232314 hasConcept C153349607 @default.
- W2620232314 hasConcept C177264268 @default.
- W2620232314 hasConcept C182620335 @default.
- W2620232314 hasConcept C199360897 @default.
- W2620232314 hasConcept C41008148 @default.
- W2620232314 hasConcept C558565934 @default.
- W2620232314 hasConcept C73301696 @default.
- W2620232314 hasConcept C80444323 @default.
- W2620232314 hasConceptScore W2620232314C142362112 @default.
- W2620232314 hasConceptScore W2620232314C153349607 @default.
- W2620232314 hasConceptScore W2620232314C177264268 @default.
- W2620232314 hasConceptScore W2620232314C182620335 @default.
- W2620232314 hasConceptScore W2620232314C199360897 @default.
- W2620232314 hasConceptScore W2620232314C41008148 @default.
- W2620232314 hasConceptScore W2620232314C558565934 @default.
- W2620232314 hasConceptScore W2620232314C73301696 @default.
- W2620232314 hasConceptScore W2620232314C80444323 @default.
- W2620232314 hasLocation W26202323141 @default.
- W2620232314 hasOpenAccess W2620232314 @default.
- W2620232314 hasPrimaryLocation W26202323141 @default.
- W2620232314 hasRelatedWork W1030076536 @default.
- W2620232314 hasRelatedWork W128449525 @default.
- W2620232314 hasRelatedWork W1482421862 @default.
- W2620232314 hasRelatedWork W1570611940 @default.
- W2620232314 hasRelatedWork W1584297074 @default.
- W2620232314 hasRelatedWork W2095422970 @default.
- W2620232314 hasRelatedWork W2138596350 @default.
- W2620232314 hasRelatedWork W2404086336 @default.
- W2620232314 hasRelatedWork W2443390254 @default.
- W2620232314 hasRelatedWork W2487822871 @default.
- W2620232314 hasRelatedWork W2518606342 @default.
- W2620232314 hasRelatedWork W2781642560 @default.
- W2620232314 hasRelatedWork W2802750345 @default.
- W2620232314 hasRelatedWork W2964042138 @default.
- W2620232314 hasRelatedWork W2966087566 @default.
- W2620232314 hasRelatedWork W2973328396 @default.
- W2620232314 hasRelatedWork W2982584018 @default.
- W2620232314 hasRelatedWork W3106488184 @default.
- W2620232314 hasRelatedWork W3164343831 @default.
- W2620232314 hasRelatedWork W3194436879 @default.
- W2620232314 isParatext "false" @default.
- W2620232314 isRetracted "false" @default.
- W2620232314 magId "2620232314" @default.
- W2620232314 workType "article" @default.