Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950221451> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2950221451 abstract "Answer set programming (ASP) is a paradigm for declarative problem solving where problems are first formalized as rule sets, i.e., answer-set programs, in a uniform way and then solved by computing answer sets for programs. The satisfiability modulo theories (SMT) framework follows a similar modelling philosophy but the syntax is based on extensions of propositional logic rather than rules. Quite recently, a translation from answer-set programs into difference logic was provided---enabling the use of particular SMT solvers for the computation of answer sets. In this paper, the translation is revised for another SMT fragment, namely that based on fixed-width bit-vector theories. Thus, even further SMT solvers can be harnessed for the task of computing answer sets. The results of a preliminary experimental comparison are also reported. They suggest a level of performance which is similar to that achieved via difference logic." @default.
- W2950221451 created "2019-06-27" @default.
- W2950221451 creator A5000911721 @default.
- W2950221451 creator A5046046339 @default.
- W2950221451 creator A5049946115 @default.
- W2950221451 date "2011-08-30" @default.
- W2950221451 modified "2023-09-25" @default.
- W2950221451 title "Translating Answer-Set Programs into Bit-Vector Logic" @default.
- W2950221451 cites W1597298151 @default.
- W2950221451 cites W1766332311 @default.
- W2950221451 cites W1885448744 @default.
- W2950221451 cites W2111353076 @default.
- W2950221451 doi "https://doi.org/10.48550/arxiv.1108.5837" @default.
- W2950221451 hasPublicationYear "2011" @default.
- W2950221451 type Work @default.
- W2950221451 sameAs 2950221451 @default.
- W2950221451 citedByCount "5" @default.
- W2950221451 countsByYear W29502214512014 @default.
- W2950221451 countsByYear W29502214512015 @default.
- W2950221451 countsByYear W29502214512016 @default.
- W2950221451 crossrefType "posted-content" @default.
- W2950221451 hasAuthorship W2950221451A5000911721 @default.
- W2950221451 hasAuthorship W2950221451A5046046339 @default.
- W2950221451 hasAuthorship W2950221451A5049946115 @default.
- W2950221451 hasBestOaLocation W29502214511 @default.
- W2950221451 hasConcept C102993220 @default.
- W2950221451 hasConcept C104317684 @default.
- W2950221451 hasConcept C105580179 @default.
- W2950221451 hasConcept C118615104 @default.
- W2950221451 hasConcept C127001435 @default.
- W2950221451 hasConcept C128838566 @default.
- W2950221451 hasConcept C149364088 @default.
- W2950221451 hasConcept C154945302 @default.
- W2950221451 hasConcept C162324750 @default.
- W2950221451 hasConcept C164155591 @default.
- W2950221451 hasConcept C168773769 @default.
- W2950221451 hasConcept C177264268 @default.
- W2950221451 hasConcept C182620335 @default.
- W2950221451 hasConcept C185592680 @default.
- W2950221451 hasConcept C187736073 @default.
- W2950221451 hasConcept C199360897 @default.
- W2950221451 hasConcept C203659156 @default.
- W2950221451 hasConcept C2776235265 @default.
- W2950221451 hasConcept C2780451532 @default.
- W2950221451 hasConcept C33923547 @default.
- W2950221451 hasConcept C41008148 @default.
- W2950221451 hasConcept C54732982 @default.
- W2950221451 hasConcept C55493867 @default.
- W2950221451 hasConcept C60048249 @default.
- W2950221451 hasConcept C69562738 @default.
- W2950221451 hasConcept C80444323 @default.
- W2950221451 hasConceptScore W2950221451C102993220 @default.
- W2950221451 hasConceptScore W2950221451C104317684 @default.
- W2950221451 hasConceptScore W2950221451C105580179 @default.
- W2950221451 hasConceptScore W2950221451C118615104 @default.
- W2950221451 hasConceptScore W2950221451C127001435 @default.
- W2950221451 hasConceptScore W2950221451C128838566 @default.
- W2950221451 hasConceptScore W2950221451C149364088 @default.
- W2950221451 hasConceptScore W2950221451C154945302 @default.
- W2950221451 hasConceptScore W2950221451C162324750 @default.
- W2950221451 hasConceptScore W2950221451C164155591 @default.
- W2950221451 hasConceptScore W2950221451C168773769 @default.
- W2950221451 hasConceptScore W2950221451C177264268 @default.
- W2950221451 hasConceptScore W2950221451C182620335 @default.
- W2950221451 hasConceptScore W2950221451C185592680 @default.
- W2950221451 hasConceptScore W2950221451C187736073 @default.
- W2950221451 hasConceptScore W2950221451C199360897 @default.
- W2950221451 hasConceptScore W2950221451C203659156 @default.
- W2950221451 hasConceptScore W2950221451C2776235265 @default.
- W2950221451 hasConceptScore W2950221451C2780451532 @default.
- W2950221451 hasConceptScore W2950221451C33923547 @default.
- W2950221451 hasConceptScore W2950221451C41008148 @default.
- W2950221451 hasConceptScore W2950221451C54732982 @default.
- W2950221451 hasConceptScore W2950221451C55493867 @default.
- W2950221451 hasConceptScore W2950221451C60048249 @default.
- W2950221451 hasConceptScore W2950221451C69562738 @default.
- W2950221451 hasConceptScore W2950221451C80444323 @default.
- W2950221451 hasLocation W29502214511 @default.
- W2950221451 hasLocation W29502214512 @default.
- W2950221451 hasOpenAccess W2950221451 @default.
- W2950221451 hasPrimaryLocation W29502214511 @default.
- W2950221451 hasRelatedWork W1630439664 @default.
- W2950221451 hasRelatedWork W2160562204 @default.
- W2950221451 hasRelatedWork W2161391467 @default.
- W2950221451 hasRelatedWork W2293171224 @default.
- W2950221451 hasRelatedWork W2396384868 @default.
- W2950221451 hasRelatedWork W2623765780 @default.
- W2950221451 hasRelatedWork W2912103526 @default.
- W2950221451 hasRelatedWork W2950221451 @default.
- W2950221451 hasRelatedWork W3103684517 @default.
- W2950221451 hasRelatedWork W62589538 @default.
- W2950221451 isParatext "false" @default.
- W2950221451 isRetracted "false" @default.
- W2950221451 magId "2950221451" @default.
- W2950221451 workType "article" @default.