Matches in SemOpenAlex for { <https://semopenalex.org/work/W1770532937> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1770532937 endingPage "84" @default.
- W1770532937 startingPage "73" @default.
- W1770532937 abstract "Answer Set Programming (ASP) is a powerful language for knowledge representation and reasoning. ASP is exploited in real-world applications and is also attracting the interest of industry thanks to the availability of efficient implementations. ASP systems compute solutions relying on two modules: a grounder that produces, by removing variables from the rules, a ground program equivalent to the input one; and a model generator (or solver) that computes the solutions of such propositional program. In this paper we make a first step toward the exploitation of automated selection techniques to the grounding module. We rely on two well-known ASP grounders, namely the grounder of the DLV system and GrinGo and we leverage on automated classification algorithms to devise and implement an automatic procedure for selecting the best grounder for each problem instance. An experimental analysis, conducted on benchmarks and solvers from the 3rd ASP Competition, shows that our approach improves the evaluation performance independently from the solver associated with our grounder selector." @default.
- W1770532937 created "2016-06-24" @default.
- W1770532937 creator A5004587018 @default.
- W1770532937 creator A5013411309 @default.
- W1770532937 creator A5077756388 @default.
- W1770532937 date "2013-01-01" @default.
- W1770532937 modified "2023-10-17" @default.
- W1770532937 title "Automated Selection of Grounding Algorithm in Answer Set Programming" @default.
- W1770532937 cites W1484403583 @default.
- W1770532937 cites W1502948544 @default.
- W1770532937 cites W1505818550 @default.
- W1770532937 cites W1526119385 @default.
- W1770532937 cites W1540443495 @default.
- W1770532937 cites W1552168992 @default.
- W1770532937 cites W1587265115 @default.
- W1770532937 cites W1597298151 @default.
- W1770532937 cites W1856878087 @default.
- W1770532937 cites W1976055110 @default.
- W1770532937 cites W2011124182 @default.
- W1770532937 cites W2013951121 @default.
- W1770532937 cites W2034521022 @default.
- W1770532937 cites W2050842068 @default.
- W1770532937 cites W2056062068 @default.
- W1770532937 cites W2062897452 @default.
- W1770532937 cites W2076698873 @default.
- W1770532937 cites W2105869173 @default.
- W1770532937 cites W2155618896 @default.
- W1770532937 cites W2295882966 @default.
- W1770532937 cites W3098606030 @default.
- W1770532937 doi "https://doi.org/10.1007/978-3-319-03524-6_7" @default.
- W1770532937 hasPublicationYear "2013" @default.
- W1770532937 type Work @default.
- W1770532937 sameAs 1770532937 @default.
- W1770532937 citedByCount "5" @default.
- W1770532937 countsByYear W17705329372014 @default.
- W1770532937 countsByYear W17705329372015 @default.
- W1770532937 countsByYear W17705329372016 @default.
- W1770532937 countsByYear W17705329372018 @default.
- W1770532937 countsByYear W17705329372019 @default.
- W1770532937 crossrefType "book-chapter" @default.
- W1770532937 hasAuthorship W1770532937A5004587018 @default.
- W1770532937 hasAuthorship W1770532937A5013411309 @default.
- W1770532937 hasAuthorship W1770532937A5077756388 @default.
- W1770532937 hasBestOaLocation W17705329372 @default.
- W1770532937 hasConcept C11413529 @default.
- W1770532937 hasConcept C119599485 @default.
- W1770532937 hasConcept C127413603 @default.
- W1770532937 hasConcept C154945302 @default.
- W1770532937 hasConcept C168993435 @default.
- W1770532937 hasConcept C177264268 @default.
- W1770532937 hasConcept C182620335 @default.
- W1770532937 hasConcept C199360897 @default.
- W1770532937 hasConcept C41008148 @default.
- W1770532937 hasConcept C81917197 @default.
- W1770532937 hasConceptScore W1770532937C11413529 @default.
- W1770532937 hasConceptScore W1770532937C119599485 @default.
- W1770532937 hasConceptScore W1770532937C127413603 @default.
- W1770532937 hasConceptScore W1770532937C154945302 @default.
- W1770532937 hasConceptScore W1770532937C168993435 @default.
- W1770532937 hasConceptScore W1770532937C177264268 @default.
- W1770532937 hasConceptScore W1770532937C182620335 @default.
- W1770532937 hasConceptScore W1770532937C199360897 @default.
- W1770532937 hasConceptScore W1770532937C41008148 @default.
- W1770532937 hasConceptScore W1770532937C81917197 @default.
- W1770532937 hasLocation W17705329371 @default.
- W1770532937 hasLocation W17705329372 @default.
- W1770532937 hasOpenAccess W1770532937 @default.
- W1770532937 hasPrimaryLocation W17705329371 @default.
- W1770532937 hasRelatedWork W1990422213 @default.
- W1770532937 hasRelatedWork W2013586784 @default.
- W1770532937 hasRelatedWork W2085949256 @default.
- W1770532937 hasRelatedWork W2347963667 @default.
- W1770532937 hasRelatedWork W2351491280 @default.
- W1770532937 hasRelatedWork W2386767533 @default.
- W1770532937 hasRelatedWork W2606073172 @default.
- W1770532937 hasRelatedWork W2970622411 @default.
- W1770532937 hasRelatedWork W303980170 @default.
- W1770532937 hasRelatedWork W2751504412 @default.
- W1770532937 isParatext "false" @default.
- W1770532937 isRetracted "false" @default.
- W1770532937 magId "1770532937" @default.
- W1770532937 workType "book-chapter" @default.