Matches in SemOpenAlex for { <https://semopenalex.org/work/W81242907> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W81242907 endingPage "251" @default.
- W81242907 startingPage "238" @default.
- W81242907 abstract "The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programming (ASP) systems. The logic-based languages supported by such systems are rich enough to represent in a natural and declarative way a large number of problems from different domains. Nevertheless, the computation of the answer sets is always performed by these systems on simple ground (i.e., variable free) programs, first computed by a pre-processing phase, called instantiation. This phase may be computationally expensive, and in fact it has been recognized to be a key issue for solving real-world problems by using Answer Set Programming. Given any program P , a good instantiation for it is a ground program P ′ having the same answer sets as P and such that: P ′ can be computed efficiently from P , and P ′ does not contain useless rules and thus can be evaluated efficiently. In this paper, we present a structure-based backjumping algorithm that meets the above requirements. In particular, given a rule r to be grounded, our algorithm exploits both the semantical and the structural information about r for computing efficiently all and only the ground instances of r that should be included in any sound instantiation of P . That is, from each general rule r, we are able to compute only the relevant subset of all its possible ground instances. We have implemented this algorithm in the ASP system DLV, and we have carried out an experimentation activity on a collection of benchmark problems. The results are very positive, as the new technique improves sensibly the efficiency of the DLV system on many kind of programs." @default.
- W81242907 created "2016-06-24" @default.
- W81242907 creator A5011519788 @default.
- W81242907 creator A5052577422 @default.
- W81242907 date "2003-01-01" @default.
- W81242907 modified "2023-09-28" @default.
- W81242907 title "Advanced BackJumping Techniques for Rule Instantiations" @default.
- W81242907 cites W1502083504 @default.
- W81242907 cites W1541340697 @default.
- W81242907 cites W1560971821 @default.
- W81242907 cites W1602972790 @default.
- W81242907 cites W1604945782 @default.
- W81242907 cites W1645024293 @default.
- W81242907 cites W16661495 @default.
- W81242907 cites W1688385935 @default.
- W81242907 cites W1774324140 @default.
- W81242907 cites W2004414305 @default.
- W81242907 cites W2007993940 @default.
- W81242907 cites W2011124182 @default.
- W81242907 cites W2033325972 @default.
- W81242907 cites W2043193943 @default.
- W81242907 cites W2076698873 @default.
- W81242907 cites W2085084839 @default.
- W81242907 cites W2149225517 @default.
- W81242907 cites W2151720296 @default.
- W81242907 cites W2162621793 @default.
- W81242907 cites W73864267 @default.
- W81242907 hasPublicationYear "2003" @default.
- W81242907 type Work @default.
- W81242907 sameAs 81242907 @default.
- W81242907 citedByCount "0" @default.
- W81242907 crossrefType "proceedings-article" @default.
- W81242907 hasAuthorship W81242907A5011519788 @default.
- W81242907 hasAuthorship W81242907A5052577422 @default.
- W81242907 hasConcept C102993220 @default.
- W81242907 hasConcept C111472728 @default.
- W81242907 hasConcept C11413529 @default.
- W81242907 hasConcept C127001435 @default.
- W81242907 hasConcept C128838566 @default.
- W81242907 hasConcept C138885662 @default.
- W81242907 hasConcept C165696696 @default.
- W81242907 hasConcept C177264268 @default.
- W81242907 hasConcept C182620335 @default.
- W81242907 hasConcept C199360897 @default.
- W81242907 hasConcept C203659156 @default.
- W81242907 hasConcept C2780586882 @default.
- W81242907 hasConcept C2987117450 @default.
- W81242907 hasConcept C38652104 @default.
- W81242907 hasConcept C41008148 @default.
- W81242907 hasConcept C45374587 @default.
- W81242907 hasConcept C80444323 @default.
- W81242907 hasConceptScore W81242907C102993220 @default.
- W81242907 hasConceptScore W81242907C111472728 @default.
- W81242907 hasConceptScore W81242907C11413529 @default.
- W81242907 hasConceptScore W81242907C127001435 @default.
- W81242907 hasConceptScore W81242907C128838566 @default.
- W81242907 hasConceptScore W81242907C138885662 @default.
- W81242907 hasConceptScore W81242907C165696696 @default.
- W81242907 hasConceptScore W81242907C177264268 @default.
- W81242907 hasConceptScore W81242907C182620335 @default.
- W81242907 hasConceptScore W81242907C199360897 @default.
- W81242907 hasConceptScore W81242907C203659156 @default.
- W81242907 hasConceptScore W81242907C2780586882 @default.
- W81242907 hasConceptScore W81242907C2987117450 @default.
- W81242907 hasConceptScore W81242907C38652104 @default.
- W81242907 hasConceptScore W81242907C41008148 @default.
- W81242907 hasConceptScore W81242907C45374587 @default.
- W81242907 hasConceptScore W81242907C80444323 @default.
- W81242907 hasLocation W812429071 @default.
- W81242907 hasOpenAccess W81242907 @default.
- W81242907 hasPrimaryLocation W812429071 @default.
- W81242907 hasRelatedWork W107933538 @default.
- W81242907 hasRelatedWork W1570021672 @default.
- W81242907 hasRelatedWork W1597221440 @default.
- W81242907 hasRelatedWork W1598230960 @default.
- W81242907 hasRelatedWork W1599587354 @default.
- W81242907 hasRelatedWork W1630259549 @default.
- W81242907 hasRelatedWork W1630439664 @default.
- W81242907 hasRelatedWork W1645675097 @default.
- W81242907 hasRelatedWork W181323627 @default.
- W81242907 hasRelatedWork W1903938722 @default.
- W81242907 hasRelatedWork W1937160721 @default.
- W81242907 hasRelatedWork W1984529395 @default.
- W81242907 hasRelatedWork W1995303925 @default.
- W81242907 hasRelatedWork W2041526687 @default.
- W81242907 hasRelatedWork W2161391467 @default.
- W81242907 hasRelatedWork W2161403060 @default.
- W81242907 hasRelatedWork W2169091052 @default.
- W81242907 hasRelatedWork W2183567905 @default.
- W81242907 hasRelatedWork W2730529061 @default.
- W81242907 hasRelatedWork W2951412243 @default.
- W81242907 isParatext "false" @default.
- W81242907 isRetracted "false" @default.
- W81242907 magId "81242907" @default.
- W81242907 workType "article" @default.