Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130489957> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2130489957 endingPage "329" @default.
- W2130489957 startingPage "313" @default.
- W2130489957 abstract "The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework. Characterizations of stable models in terms of level rankings are developed building on simple linear integer constraints allowed in difference logic. Based on the characterizations translations are devised which map normal programs to difference logic formulas capturing stable models of a program as satisfying valuations of the resulting formula. The translations make it possible to use a solver for difference logic to compute stable models of logic programs." @default.
- W2130489957 created "2016-06-24" @default.
- W2130489957 creator A5000911721 @default.
- W2130489957 date "2008-08-01" @default.
- W2130489957 modified "2023-09-30" @default.
- W2130489957 title "Stable models and difference logic" @default.
- W2130489957 cites W136379439 @default.
- W2130489957 cites W1481719343 @default.
- W2130489957 cites W1488662850 @default.
- W2130489957 cites W1500991862 @default.
- W2130489957 cites W1519044014 @default.
- W2130489957 cites W1565675663 @default.
- W2130489957 cites W1639901403 @default.
- W2130489957 cites W1766332311 @default.
- W2130489957 cites W1819209966 @default.
- W2130489957 cites W2022846948 @default.
- W2130489957 cites W2023141722 @default.
- W2130489957 cites W2050842068 @default.
- W2130489957 cites W2063499502 @default.
- W2130489957 cites W2079430756 @default.
- W2130489957 cites W2111353076 @default.
- W2130489957 cites W2152131859 @default.
- W2130489957 cites W2158059231 @default.
- W2130489957 cites W2158995961 @default.
- W2130489957 cites W2251510975 @default.
- W2130489957 cites W2295882966 @default.
- W2130489957 doi "https://doi.org/10.1007/s10472-009-9118-9" @default.
- W2130489957 hasPublicationYear "2008" @default.
- W2130489957 type Work @default.
- W2130489957 sameAs 2130489957 @default.
- W2130489957 citedByCount "36" @default.
- W2130489957 countsByYear W21304899572012 @default.
- W2130489957 countsByYear W21304899572013 @default.
- W2130489957 countsByYear W21304899572014 @default.
- W2130489957 countsByYear W21304899572015 @default.
- W2130489957 countsByYear W21304899572016 @default.
- W2130489957 countsByYear W21304899572017 @default.
- W2130489957 countsByYear W21304899572018 @default.
- W2130489957 countsByYear W21304899572020 @default.
- W2130489957 countsByYear W21304899572021 @default.
- W2130489957 countsByYear W21304899572023 @default.
- W2130489957 crossrefType "journal-article" @default.
- W2130489957 hasAuthorship W2130489957A5000911721 @default.
- W2130489957 hasBestOaLocation W21304899572 @default.
- W2130489957 hasConcept C102993220 @default.
- W2130489957 hasConcept C11413529 @default.
- W2130489957 hasConcept C118615104 @default.
- W2130489957 hasConcept C126255220 @default.
- W2130489957 hasConcept C136119220 @default.
- W2130489957 hasConcept C164155591 @default.
- W2130489957 hasConcept C169896238 @default.
- W2130489957 hasConcept C202444582 @default.
- W2130489957 hasConcept C2778770139 @default.
- W2130489957 hasConcept C33203268 @default.
- W2130489957 hasConcept C33923547 @default.
- W2130489957 hasConcept C41008148 @default.
- W2130489957 hasConcept C54732982 @default.
- W2130489957 hasConcept C80444323 @default.
- W2130489957 hasConceptScore W2130489957C102993220 @default.
- W2130489957 hasConceptScore W2130489957C11413529 @default.
- W2130489957 hasConceptScore W2130489957C118615104 @default.
- W2130489957 hasConceptScore W2130489957C126255220 @default.
- W2130489957 hasConceptScore W2130489957C136119220 @default.
- W2130489957 hasConceptScore W2130489957C164155591 @default.
- W2130489957 hasConceptScore W2130489957C169896238 @default.
- W2130489957 hasConceptScore W2130489957C202444582 @default.
- W2130489957 hasConceptScore W2130489957C2778770139 @default.
- W2130489957 hasConceptScore W2130489957C33203268 @default.
- W2130489957 hasConceptScore W2130489957C33923547 @default.
- W2130489957 hasConceptScore W2130489957C41008148 @default.
- W2130489957 hasConceptScore W2130489957C54732982 @default.
- W2130489957 hasConceptScore W2130489957C80444323 @default.
- W2130489957 hasIssue "1-4" @default.
- W2130489957 hasLocation W21304899571 @default.
- W2130489957 hasLocation W21304899572 @default.
- W2130489957 hasOpenAccess W2130489957 @default.
- W2130489957 hasPrimaryLocation W21304899571 @default.
- W2130489957 hasRelatedWork W1022177737 @default.
- W2130489957 hasRelatedWork W1868334863 @default.
- W2130489957 hasRelatedWork W2141151670 @default.
- W2130489957 hasRelatedWork W2370121430 @default.
- W2130489957 hasRelatedWork W3013541062 @default.
- W2130489957 hasRelatedWork W3088531255 @default.
- W2130489957 hasRelatedWork W3089776463 @default.
- W2130489957 hasRelatedWork W3136121010 @default.
- W2130489957 hasRelatedWork W4241145878 @default.
- W2130489957 hasRelatedWork W4318620547 @default.
- W2130489957 hasVolume "53" @default.
- W2130489957 isParatext "false" @default.
- W2130489957 isRetracted "false" @default.
- W2130489957 magId "2130489957" @default.
- W2130489957 workType "article" @default.