Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296564797> ?p ?o ?g. }
Showing items 1 to 35 of
35
with 100 items per page.
- W4296564797 abstract "Domain-specific heuristics are an essential technique for solving combinatorial problems efficiently. Current approaches to integrate domain-specific heuristics with Answer Set Programming (ASP) are unsatisfactory when dealing with heuristics that are specified non-monotonically on the basis of partial assignments. Such heuristics frequently occur in practice, for example, when picking an item that has not yet been placed in bin packing. Therefore, we present novel syntax and semantics for declarative specifications of domain-specific heuristics in ASP. Our approach supports heuristic statements that depend on the partial assignment maintained during solving, which has not been possible before. We provide an implementation in ALPHA that makes ALPHA the first lazy-grounding ASP system to support declaratively specified domain-specific heuristics. Two practical example domains are used to demonstrate the benefits of our proposal. Additionally, we use our approach to implement informed} search with A*, which is tackled within ASP for the first time. A* is applied to two further search problems. The experiments confirm that combining lazy-grounding ASP solving and our novel heuristics can be vital for solving industrial-size problems." @default.
- W4296564797 created "2022-09-21" @default.
- W4296564797 creator A5001579786 @default.
- W4296564797 creator A5037543382 @default.
- W4296564797 creator A5039264326 @default.
- W4296564797 creator A5055185135 @default.
- W4296564797 date "2022-09-19" @default.
- W4296564797 modified "2023-09-26" @default.
- W4296564797 title "Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming" @default.
- W4296564797 doi "https://doi.org/10.48550/arxiv.2209.09066" @default.
- W4296564797 hasPublicationYear "2022" @default.
- W4296564797 type Work @default.
- W4296564797 citedByCount "0" @default.
- W4296564797 crossrefType "posted-content" @default.
- W4296564797 hasAuthorship W4296564797A5001579786 @default.
- W4296564797 hasAuthorship W4296564797A5037543382 @default.
- W4296564797 hasAuthorship W4296564797A5039264326 @default.
- W4296564797 hasAuthorship W4296564797A5055185135 @default.
- W4296564797 hasBestOaLocation W42965647971 @default.
- W4296564797 hasLocation W42965647971 @default.
- W4296564797 hasOpenAccess W4296564797 @default.
- W4296564797 hasPrimaryLocation W42965647971 @default.
- W4296564797 hasRelatedWork W1820078070 @default.
- W4296564797 hasRelatedWork W2025369528 @default.
- W4296564797 hasRelatedWork W2032554570 @default.
- W4296564797 hasRelatedWork W2042249499 @default.
- W4296564797 hasRelatedWork W2087475604 @default.
- W4296564797 hasRelatedWork W2116486117 @default.
- W4296564797 hasRelatedWork W2137654273 @default.
- W4296564797 hasRelatedWork W2159038542 @default.
- W4296564797 hasRelatedWork W2161940019 @default.
- W4296564797 hasRelatedWork W4229002710 @default.
- W4296564797 isParatext "false" @default.
- W4296564797 isRetracted "false" @default.
- W4296564797 workType "article" @default.