Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377111673> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4377111673 abstract "Answer Set Programming with Quantifiers ASP(Q) extends Answer Set Programming (ASP) to allow for declarative and modular modeling of problems from the entire polynomial hierarchy. The first implementation of ASP(Q), called qasp, was based on a translation to Quantified Boolean Formulae (QBF) with the aim of exploiting the well-developed and mature QBF-solving technology. However, the implementation of the QBF encoding employed in qasp is very general and might produce formulas that are hard to evaluate for existing QBF solvers because of the large number of symbols and sub-clauses. In this paper, we present a new implementation that builds on the ideas of qasp and features both a more efficient encoding procedure and new optimized encodings of ASP(Q) programs in QBF. The new encodings produce smaller formulas (in terms of the number of quantifiers, variables, and clauses) and result in a more efficient evaluation process. An algorithm selection strategy automatically combines several QBF-solving back-ends to further increase performance. An experimental analysis, conducted on known benchmarks, shows that the new system outperforms qasp." @default.
- W4377111673 created "2023-05-20" @default.
- W4377111673 creator A5017101409 @default.
- W4377111673 creator A5019306962 @default.
- W4377111673 creator A5019365443 @default.
- W4377111673 date "2023-05-17" @default.
- W4377111673 modified "2023-09-30" @default.
- W4377111673 title "An efficient solver for ASP(Q)" @default.
- W4377111673 doi "https://doi.org/10.48550/arxiv.2305.10021" @default.
- W4377111673 hasPublicationYear "2023" @default.
- W4377111673 type Work @default.
- W4377111673 citedByCount "0" @default.
- W4377111673 crossrefType "posted-content" @default.
- W4377111673 hasAuthorship W4377111673A5017101409 @default.
- W4377111673 hasAuthorship W4377111673A5019306962 @default.
- W4377111673 hasAuthorship W4377111673A5019365443 @default.
- W4377111673 hasBestOaLocation W43771116731 @default.
- W4377111673 hasConcept C101468663 @default.
- W4377111673 hasConcept C104317684 @default.
- W4377111673 hasConcept C105580179 @default.
- W4377111673 hasConcept C11413529 @default.
- W4377111673 hasConcept C125411270 @default.
- W4377111673 hasConcept C149364088 @default.
- W4377111673 hasConcept C154945302 @default.
- W4377111673 hasConcept C162324750 @default.
- W4377111673 hasConcept C177264268 @default.
- W4377111673 hasConcept C182620335 @default.
- W4377111673 hasConcept C185592680 @default.
- W4377111673 hasConcept C199360897 @default.
- W4377111673 hasConcept C200415742 @default.
- W4377111673 hasConcept C2778770139 @default.
- W4377111673 hasConcept C31170391 @default.
- W4377111673 hasConcept C34447519 @default.
- W4377111673 hasConcept C41008148 @default.
- W4377111673 hasConcept C55493867 @default.
- W4377111673 hasConcept C80444323 @default.
- W4377111673 hasConcept C81917197 @default.
- W4377111673 hasConcept C98045186 @default.
- W4377111673 hasConceptScore W4377111673C101468663 @default.
- W4377111673 hasConceptScore W4377111673C104317684 @default.
- W4377111673 hasConceptScore W4377111673C105580179 @default.
- W4377111673 hasConceptScore W4377111673C11413529 @default.
- W4377111673 hasConceptScore W4377111673C125411270 @default.
- W4377111673 hasConceptScore W4377111673C149364088 @default.
- W4377111673 hasConceptScore W4377111673C154945302 @default.
- W4377111673 hasConceptScore W4377111673C162324750 @default.
- W4377111673 hasConceptScore W4377111673C177264268 @default.
- W4377111673 hasConceptScore W4377111673C182620335 @default.
- W4377111673 hasConceptScore W4377111673C185592680 @default.
- W4377111673 hasConceptScore W4377111673C199360897 @default.
- W4377111673 hasConceptScore W4377111673C200415742 @default.
- W4377111673 hasConceptScore W4377111673C2778770139 @default.
- W4377111673 hasConceptScore W4377111673C31170391 @default.
- W4377111673 hasConceptScore W4377111673C34447519 @default.
- W4377111673 hasConceptScore W4377111673C41008148 @default.
- W4377111673 hasConceptScore W4377111673C55493867 @default.
- W4377111673 hasConceptScore W4377111673C80444323 @default.
- W4377111673 hasConceptScore W4377111673C81917197 @default.
- W4377111673 hasConceptScore W4377111673C98045186 @default.
- W4377111673 hasLocation W43771116731 @default.
- W4377111673 hasOpenAccess W4377111673 @default.
- W4377111673 hasPrimaryLocation W43771116731 @default.
- W4377111673 hasRelatedWork W1509323361 @default.
- W4377111673 hasRelatedWork W1554238444 @default.
- W4377111673 hasRelatedWork W2160562204 @default.
- W4377111673 hasRelatedWork W2171836055 @default.
- W4377111673 hasRelatedWork W2375449373 @default.
- W4377111673 hasRelatedWork W2401323191 @default.
- W4377111673 hasRelatedWork W2898772359 @default.
- W4377111673 hasRelatedWork W3101458312 @default.
- W4377111673 hasRelatedWork W4293179420 @default.
- W4377111673 hasRelatedWork W569967362 @default.
- W4377111673 isParatext "false" @default.
- W4377111673 isRetracted "false" @default.
- W4377111673 workType "article" @default.