Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383228181> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4383228181 endingPage "964" @default.
- W4383228181 startingPage "948" @default.
- W4383228181 abstract "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 subclauses. 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.
- W4383228181 created "2023-07-06" @default.
- W4383228181 creator A5012805227 @default.
- W4383228181 creator A5013411309 @default.
- W4383228181 creator A5017101409 @default.
- W4383228181 date "2023-07-01" @default.
- W4383228181 modified "2023-09-27" @default.
- W4383228181 title "An Efficient Solver for ASP(Q)" @default.
- W4383228181 cites W1484403583 @default.
- W4383228181 cites W1969965298 @default.
- W4383228181 cites W2076698873 @default.
- W4383228181 cites W2087432892 @default.
- W4383228181 cites W2091138122 @default.
- W4383228181 cites W2092211394 @default.
- W4383228181 cites W2542981480 @default.
- W4383228181 cites W2755687384 @default.
- W4383228181 cites W2802750345 @default.
- W4383228181 cites W2843957561 @default.
- W4383228181 cites W2937448176 @default.
- W4383228181 cites W2986691327 @default.
- W4383228181 cites W3157980852 @default.
- W4383228181 cites W4205326989 @default.
- W4383228181 cites W4206395613 @default.
- W4383228181 cites W4293180210 @default.
- W4383228181 doi "https://doi.org/10.1017/s1471068423000121" @default.
- W4383228181 hasPublicationYear "2023" @default.
- W4383228181 type Work @default.
- W4383228181 citedByCount "0" @default.
- W4383228181 crossrefType "journal-article" @default.
- W4383228181 hasAuthorship W4383228181A5012805227 @default.
- W4383228181 hasAuthorship W4383228181A5013411309 @default.
- W4383228181 hasAuthorship W4383228181A5017101409 @default.
- W4383228181 hasConcept C101468663 @default.
- W4383228181 hasConcept C11413529 @default.
- W4383228181 hasConcept C125411270 @default.
- W4383228181 hasConcept C154945302 @default.
- W4383228181 hasConcept C162324750 @default.
- W4383228181 hasConcept C177264268 @default.
- W4383228181 hasConcept C182620335 @default.
- W4383228181 hasConcept C199360897 @default.
- W4383228181 hasConcept C200415742 @default.
- W4383228181 hasConcept C2778770139 @default.
- W4383228181 hasConcept C31170391 @default.
- W4383228181 hasConcept C34447519 @default.
- W4383228181 hasConcept C41008148 @default.
- W4383228181 hasConcept C80444323 @default.
- W4383228181 hasConcept C81917197 @default.
- W4383228181 hasConceptScore W4383228181C101468663 @default.
- W4383228181 hasConceptScore W4383228181C11413529 @default.
- W4383228181 hasConceptScore W4383228181C125411270 @default.
- W4383228181 hasConceptScore W4383228181C154945302 @default.
- W4383228181 hasConceptScore W4383228181C162324750 @default.
- W4383228181 hasConceptScore W4383228181C177264268 @default.
- W4383228181 hasConceptScore W4383228181C182620335 @default.
- W4383228181 hasConceptScore W4383228181C199360897 @default.
- W4383228181 hasConceptScore W4383228181C200415742 @default.
- W4383228181 hasConceptScore W4383228181C2778770139 @default.
- W4383228181 hasConceptScore W4383228181C31170391 @default.
- W4383228181 hasConceptScore W4383228181C34447519 @default.
- W4383228181 hasConceptScore W4383228181C41008148 @default.
- W4383228181 hasConceptScore W4383228181C80444323 @default.
- W4383228181 hasConceptScore W4383228181C81917197 @default.
- W4383228181 hasIssue "4" @default.
- W4383228181 hasLocation W43832281811 @default.
- W4383228181 hasOpenAccess W4383228181 @default.
- W4383228181 hasPrimaryLocation W43832281811 @default.
- W4383228181 hasRelatedWork W2109244780 @default.
- W4383228181 hasRelatedWork W2171836055 @default.
- W4383228181 hasRelatedWork W2375449373 @default.
- W4383228181 hasRelatedWork W2401323191 @default.
- W4383228181 hasRelatedWork W2898772359 @default.
- W4383228181 hasRelatedWork W3101458312 @default.
- W4383228181 hasRelatedWork W4293179420 @default.
- W4383228181 hasRelatedWork W4293180210 @default.
- W4383228181 hasRelatedWork W4293180339 @default.
- W4383228181 hasRelatedWork W569967362 @default.
- W4383228181 hasVolume "23" @default.
- W4383228181 isParatext "false" @default.
- W4383228181 isRetracted "false" @default.
- W4383228181 workType "article" @default.