FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W58471491> ?p ?o ?g. }

• W58471491 endingPage "640" @default.
• W58471491 startingPage "635" @default.
• W58471491 abstract "Answer Set Programming (ASP) is a novel programming paradigm, which allows to solve problems in a simple and highly declarative way. The language of ASP (function-free disjunctive logic programming) is very expressive, and allows to represent even problems of high complexity (every problem in the complexity class P2 = NPNP). As for SAT solvers, the heuristic for the selection of the branching literal (i.e., the criterion determining the literal to be assumed true at a given stage of the computation) dramatically affects the performance of an ASP system. While heuristics for SAT have received a fair deal of research in AI, only little work in heuristics for ASP has been done so far. In this paper, we extend to the ASP framework a number of heuristics which have been successfully employed in existing systems, and we compare them experimentally. To this end, we implement such heuristics in the ASP system DLV, and we evaluate their respective efficiency on a number of benchmark problems taken from various domains. The experiments show interesting results, and evidence a couple of promising heuristic criteria for ASP, which sensibly outperform the heuristic of DLV." @default.
• W58471491 created "2016-06-24" @default.
• W58471491 creator A5002604860 @default.
• W58471491 creator A5017101409 @default.
• W58471491 creator A5045535458 @default.
• W58471491 date "2001-08-04" @default.
• W58471491 modified "2023-09-24" @default.
• W58471491 title "Experimenting with heuristics for answer set programming" @default.
• W58471491 cites W14839205 @default.
• W58471491 cites W1502473685 @default.
• W58471491 cites W1511336005 @default.
• W58471491 cites W1539763149 @default.
• W58471491 cites W1541340697 @default.
• W58471491 cites W1556434751 @default.
• W58471491 cites W1605586974 @default.
• W58471491 cites W1645675097 @default.
• W58471491 cites W16661495 @default.
• W58471491 cites W1688385935 @default.
• W58471491 cites W1774324140 @default.
• W58471491 cites W2076698873 @default.
• W58471491 cites W2152131859 @default.
• W58471491 cites W2155218845 @default.
• W58471491 cites W2156347478 @default.
• W58471491 cites W2295882966 @default.
• W58471491 cites W2776836749 @default.
• W58471491 cites W2951494809 @default.
• W58471491 hasPublicationYear "2001" @default.
• W58471491 type Work @default.
• W58471491 sameAs 58471491 @default.
• W58471491 citedByCount "24" @default.
• W58471491 countsByYear W584714912012 @default.
• W58471491 countsByYear W584714912013 @default.
• W58471491 crossrefType "proceedings-article" @default.
• W58471491 hasAuthorship W58471491A5002604860 @default.
• W58471491 hasAuthorship W58471491A5017101409 @default.
• W58471491 hasAuthorship W58471491A5045535458 @default.
• W58471491 hasConcept C111919701 @default.
• W58471491 hasConcept C127705205 @default.
• W58471491 hasConcept C128838566 @default.
• W58471491 hasConcept C13280743 @default.
• W58471491 hasConcept C146206909 @default.
• W58471491 hasConcept C154945302 @default.
• W58471491 hasConcept C173801870 @default.
• W58471491 hasConcept C177264268 @default.
• W58471491 hasConcept C182620335 @default.
• W58471491 hasConcept C185798385 @default.
• W58471491 hasConcept C199360897 @default.
• W58471491 hasConcept C205649164 @default.
• W58471491 hasConcept C2777212361 @default.
• W58471491 hasConcept C2780882242 @default.
• W58471491 hasConcept C34165917 @default.
• W58471491 hasConcept C41008148 @default.
• W58471491 hasConcept C50033165 @default.
• W58471491 hasConcept C80444323 @default.
• W58471491 hasConceptScore W58471491C111919701 @default.
• W58471491 hasConceptScore W58471491C127705205 @default.
• W58471491 hasConceptScore W58471491C128838566 @default.
• W58471491 hasConceptScore W58471491C13280743 @default.
• W58471491 hasConceptScore W58471491C146206909 @default.
• W58471491 hasConceptScore W58471491C154945302 @default.
• W58471491 hasConceptScore W58471491C173801870 @default.
• W58471491 hasConceptScore W58471491C177264268 @default.
• W58471491 hasConceptScore W58471491C182620335 @default.
• W58471491 hasConceptScore W58471491C185798385 @default.
• W58471491 hasConceptScore W58471491C199360897 @default.
• W58471491 hasConceptScore W58471491C205649164 @default.
• W58471491 hasConceptScore W58471491C2777212361 @default.
• W58471491 hasConceptScore W58471491C2780882242 @default.
• W58471491 hasConceptScore W58471491C34165917 @default.
• W58471491 hasConceptScore W58471491C41008148 @default.
• W58471491 hasConceptScore W58471491C50033165 @default.
• W58471491 hasConceptScore W58471491C80444323 @default.
• W58471491 hasLocation W584714911 @default.
• W58471491 hasOpenAccess W58471491 @default.
• W58471491 hasPrimaryLocation W584714911 @default.
• W58471491 hasRelatedWork W1502473685 @default.
• W58471491 hasRelatedWork W1511336005 @default.
• W58471491 hasRelatedWork W1539763149 @default.
• W58471491 hasRelatedWork W1605586974 @default.
• W58471491 hasRelatedWork W1606891084 @default.
• W58471491 hasRelatedWork W1645675097 @default.
• W58471491 hasRelatedWork W1672891595 @default.
• W58471491 hasRelatedWork W1976055110 @default.
• W58471491 hasRelatedWork W2004414305 @default.
• W58471491 hasRelatedWork W2011124182 @default.
• W58471491 hasRelatedWork W2023141722 @default.
• W58471491 hasRelatedWork W2036241121 @default.
• W58471491 hasRelatedWork W2076698873 @default.
• W58471491 hasRelatedWork W2087432892 @default.
• W58471491 hasRelatedWork W2106614716 @default.
• W58471491 hasRelatedWork W2111353076 @default.
• W58471491 hasRelatedWork W2142785340 @default.
• W58471491 hasRelatedWork W2152131859 @default.
• W58471491 hasRelatedWork W2295882966 @default.
• W58471491 hasRelatedWork W2399343913 @default.
• W58471491 isParatext "false" @default.
• W58471491 isRetracted "false" @default.
• W58471491 magId "58471491" @default.

• next