Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949623342> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2949623342 endingPage "628" @default.
- W2949623342 startingPage "603" @default.
- W2949623342 abstract "Answer Set Programming (ASP) is a purely declarative formalism developed in the field of logic programming and nonmonotonic reasoning: computational problems are encoded by logic programs whose answer sets, corresponding to solutions, are computed by an ASP system. Different, semantically equivalent, programs can be defined for the same problem; however, performance of systems evaluating them might significantly vary. We propose an approach for automatically transforming an input logic program into an equivalent one that can be evaluated more efficiently. One can make use of existing tree-decomposition techniques for rewriting selected rules into a set of multiple ones; the idea is to guide and adaptively apply them on the basis of proper new heuristics, to obtain a smart rewriting algorithm to be integrated into an ASP system. The method is rather general: it can be adapted to any system and implement different preference policies. Furthermore, we define a set of new heuristics tailored at optimizing grounding, one of the main phases of the ASP computation; we use them in order to implement the approach into the ASP system DLV, in particular into its grounding subsystem I-DLV, and carry out an extensive experimental activity for assessing the impact of the proposal. Under consideration in Theory and Practice of Logic Programming (TPLP)." @default.
- W2949623342 created "2019-06-27" @default.
- W2949623342 creator A5000628500 @default.
- W2949623342 creator A5034672297 @default.
- W2949623342 creator A5052577422 @default.
- W2949623342 date "2019-02-28" @default.
- W2949623342 modified "2023-09-25" @default.
- W2949623342 title "Optimizing Answer Set Computation via Heuristic-Based Decomposition" @default.
- W2949623342 cites W1488953560 @default.
- W2949623342 cites W1969965298 @default.
- W2949623342 cites W1976055110 @default.
- W2949623342 cites W2011124182 @default.
- W2949623342 cites W2023141722 @default.
- W2949623342 cites W2029448190 @default.
- W2949623342 cites W2034521022 @default.
- W2949623342 cites W2049791401 @default.
- W2949623342 cites W2056062068 @default.
- W2949623342 cites W2056850725 @default.
- W2949623342 cites W2076698873 @default.
- W2949623342 cites W2091138122 @default.
- W2949623342 cites W2099531973 @default.
- W2949623342 cites W2100699693 @default.
- W2949623342 cites W2103446906 @default.
- W2949623342 cites W2103797177 @default.
- W2949623342 cites W2117839162 @default.
- W2949623342 cites W2121444716 @default.
- W2949623342 cites W2265638991 @default.
- W2949623342 cites W2295882966 @default.
- W2949623342 cites W2554080479 @default.
- W2949623342 cites W2607115772 @default.
- W2949623342 cites W2964023786 @default.
- W2949623342 cites W2964210039 @default.
- W2949623342 doi "https://doi.org/10.1017/s1471068419000036" @default.
- W2949623342 hasPublicationYear "2019" @default.
- W2949623342 type Work @default.
- W2949623342 sameAs 2949623342 @default.
- W2949623342 citedByCount "8" @default.
- W2949623342 countsByYear W29496233422019 @default.
- W2949623342 countsByYear W29496233422020 @default.
- W2949623342 countsByYear W29496233422021 @default.
- W2949623342 countsByYear W29496233422023 @default.
- W2949623342 crossrefType "journal-article" @default.
- W2949623342 hasAuthorship W2949623342A5000628500 @default.
- W2949623342 hasAuthorship W2949623342A5034672297 @default.
- W2949623342 hasAuthorship W2949623342A5052577422 @default.
- W2949623342 hasBestOaLocation W29496233422 @default.
- W2949623342 hasConcept C111919701 @default.
- W2949623342 hasConcept C127705205 @default.
- W2949623342 hasConcept C128838566 @default.
- W2949623342 hasConcept C146206909 @default.
- W2949623342 hasConcept C154690210 @default.
- W2949623342 hasConcept C154945302 @default.
- W2949623342 hasConcept C173801870 @default.
- W2949623342 hasConcept C177264268 @default.
- W2949623342 hasConcept C182620335 @default.
- W2949623342 hasConcept C199360897 @default.
- W2949623342 hasConcept C34165917 @default.
- W2949623342 hasConcept C41008148 @default.
- W2949623342 hasConcept C45374587 @default.
- W2949623342 hasConcept C50033165 @default.
- W2949623342 hasConcept C80444323 @default.
- W2949623342 hasConceptScore W2949623342C111919701 @default.
- W2949623342 hasConceptScore W2949623342C127705205 @default.
- W2949623342 hasConceptScore W2949623342C128838566 @default.
- W2949623342 hasConceptScore W2949623342C146206909 @default.
- W2949623342 hasConceptScore W2949623342C154690210 @default.
- W2949623342 hasConceptScore W2949623342C154945302 @default.
- W2949623342 hasConceptScore W2949623342C173801870 @default.
- W2949623342 hasConceptScore W2949623342C177264268 @default.
- W2949623342 hasConceptScore W2949623342C182620335 @default.
- W2949623342 hasConceptScore W2949623342C199360897 @default.
- W2949623342 hasConceptScore W2949623342C34165917 @default.
- W2949623342 hasConceptScore W2949623342C41008148 @default.
- W2949623342 hasConceptScore W2949623342C45374587 @default.
- W2949623342 hasConceptScore W2949623342C50033165 @default.
- W2949623342 hasConceptScore W2949623342C80444323 @default.
- W2949623342 hasIssue "04" @default.
- W2949623342 hasLocation W29496233421 @default.
- W2949623342 hasLocation W29496233422 @default.
- W2949623342 hasOpenAccess W2949623342 @default.
- W2949623342 hasPrimaryLocation W29496233421 @default.
- W2949623342 hasRelatedWork W1493049790 @default.
- W2949623342 hasRelatedWork W1521843416 @default.
- W2949623342 hasRelatedWork W1542459781 @default.
- W2949623342 hasRelatedWork W1575307414 @default.
- W2949623342 hasRelatedWork W2097201766 @default.
- W2949623342 hasRelatedWork W2118499864 @default.
- W2949623342 hasRelatedWork W2174399230 @default.
- W2949623342 hasRelatedWork W2395316334 @default.
- W2949623342 hasRelatedWork W2764157639 @default.
- W2949623342 hasRelatedWork W2592609194 @default.
- W2949623342 hasVolume "19" @default.
- W2949623342 isParatext "false" @default.
- W2949623342 isRetracted "false" @default.
- W2949623342 magId "2949623342" @default.
- W2949623342 workType "article" @default.