FRINK Linked Data Fragments server

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

• W165019675 endingPage "66" @default.
• W165019675 startingPage "54" @default.
• W165019675 abstract "This paper introduces WASP, an ASP solver handling disjunctive logic programs under the stable model semantics. WASP implements techniques originally introduced for SAT solving that have been extended to cope with ASP programs. Among them are restarts, conflict-driven constraint learning and backjumping. Moreover, WASP combines these SAT-based techniques with optimization methods that have been specifically designed for ASP computation, such as source pointers enhancing unfounded-sets computation, forward and backward inference operators based on atom support, and techniques for stable model checking. Concerning the branching heuristics, WASP adopts the BerkMin criterion hybridized with look-ahead techniques. The paper also reports on the results of experiments, in which WASP has been run on the system track of the third ASP Competition." @default.
• W165019675 created "2016-06-24" @default.
• W165019675 creator A5002604860 @default.
• W165019675 creator A5013411309 @default.
• W165019675 creator A5017101409 @default.
• W165019675 creator A5031224507 @default.
• W165019675 creator A5039882261 @default.
• W165019675 date "2013-01-01" @default.
• W165019675 modified "2023-09-30" @default.
• W165019675 title "WASP: A Native ASP Solver Based on Constraint Learning" @default.
• W165019675 cites W1481719343 @default.
• W165019675 cites W1491267207 @default.
• W165019675 cites W1500460229 @default.
• W165019675 cites W1502473685 @default.
• W165019675 cites W1518705996 @default.
• W165019675 cites W1551250655 @default.
• W165019675 cites W1597298151 @default.
• W165019675 cites W1720682562 @default.
• W165019675 cites W175259937 @default.
• W165019675 cites W2011124182 @default.
• W165019675 cites W2022397086 @default.
• W165019675 cites W2023141722 @default.
• W165019675 cites W2057361103 @default.
• W165019675 cites W2076698873 @default.
• W165019675 cites W2094855848 @default.
• W165019675 cites W2101666345 @default.
• W165019675 cites W2142785340 @default.
• W165019675 cites W2143934828 @default.
• W165019675 cites W2295882966 @default.
• W165019675 cites W3101144034 @default.
• W165019675 doi "https://doi.org/10.1007/978-3-642-40564-8_6" @default.
• W165019675 hasPublicationYear "2013" @default.
• W165019675 type Work @default.
• W165019675 sameAs 165019675 @default.
• W165019675 citedByCount "84" @default.
• W165019675 countsByYear W1650196752013 @default.
• W165019675 countsByYear W1650196752014 @default.
• W165019675 countsByYear W1650196752015 @default.
• W165019675 countsByYear W1650196752016 @default.
• W165019675 countsByYear W1650196752017 @default.
• W165019675 countsByYear W1650196752018 @default.
• W165019675 countsByYear W1650196752019 @default.
• W165019675 countsByYear W1650196752020 @default.
• W165019675 countsByYear W1650196752021 @default.
• W165019675 countsByYear W1650196752022 @default.
• W165019675 countsByYear W1650196752023 @default.
• W165019675 crossrefType "book-chapter" @default.
• W165019675 hasAuthorship W165019675A5002604860 @default.
• W165019675 hasAuthorship W165019675A5013411309 @default.
• W165019675 hasAuthorship W165019675A5017101409 @default.
• W165019675 hasAuthorship W165019675A5031224507 @default.
• W165019675 hasAuthorship W165019675A5039882261 @default.
• W165019675 hasConcept C110251889 @default.
• W165019675 hasConcept C111919701 @default.
• W165019675 hasConcept C126255220 @default.
• W165019675 hasConcept C127705205 @default.
• W165019675 hasConcept C137631369 @default.
• W165019675 hasConcept C154945302 @default.
• W165019675 hasConcept C173404611 @default.
• W165019675 hasConcept C199360897 @default.
• W165019675 hasConcept C2524010 @default.
• W165019675 hasConcept C2776036281 @default.
• W165019675 hasConcept C2776214188 @default.
• W165019675 hasConcept C2778770139 @default.
• W165019675 hasConcept C33923547 @default.
• W165019675 hasConcept C41008148 @default.
• W165019675 hasConcept C45374587 @default.
• W165019675 hasConcept C80444323 @default.
• W165019675 hasConceptScore W165019675C110251889 @default.
• W165019675 hasConceptScore W165019675C111919701 @default.
• W165019675 hasConceptScore W165019675C126255220 @default.
• W165019675 hasConceptScore W165019675C127705205 @default.
• W165019675 hasConceptScore W165019675C137631369 @default.
• W165019675 hasConceptScore W165019675C154945302 @default.
• W165019675 hasConceptScore W165019675C173404611 @default.
• W165019675 hasConceptScore W165019675C199360897 @default.
• W165019675 hasConceptScore W165019675C2524010 @default.
• W165019675 hasConceptScore W165019675C2776036281 @default.
• W165019675 hasConceptScore W165019675C2776214188 @default.
• W165019675 hasConceptScore W165019675C2778770139 @default.
• W165019675 hasConceptScore W165019675C33923547 @default.
• W165019675 hasConceptScore W165019675C41008148 @default.
• W165019675 hasConceptScore W165019675C45374587 @default.
• W165019675 hasConceptScore W165019675C80444323 @default.
• W165019675 hasLocation W1650196751 @default.
• W165019675 hasOpenAccess W165019675 @default.
• W165019675 hasPrimaryLocation W1650196751 @default.
• W165019675 hasRelatedWork W1501140059 @default.
• W165019675 hasRelatedWork W1995920364 @default.
• W165019675 hasRelatedWork W2041508386 @default.
• W165019675 hasRelatedWork W2889903138 @default.
• W165019675 hasRelatedWork W2917246213 @default.
• W165019675 hasRelatedWork W4226153632 @default.
• W165019675 hasRelatedWork W4286471047 @default.
• W165019675 hasRelatedWork W4300784158 @default.
• W165019675 hasRelatedWork W43441413 @default.
• W165019675 hasRelatedWork W72383790 @default.
• W165019675 isParatext "false" @default.

• next