FRINK Linked Data Fragments server

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

• W2267376694 abstract "Boolean functions in Answer Set Programming have proven a useful modelling tool. They are usually specified by means of aggregates or external atoms. A crucial step in computing answer sets for logic programs containing Boolean functions is verifying whether partial interpretations satisfy a Boolean function for all possible values of its undefined atoms. In this paper, we develop a new methodology for showing when such checks can be done in deterministic polynomial time. This provides a unifying view on all currently known polynomial-time decidability results, and furthermore identifies promising new classes that go well beyond the state of the art. Our main technique consists of using an ordering on the atoms to significantly reduce the necessary number of model checks. For many standard aggregates, we show how this ordering can be automatically obtained." @default.
• W2267376694 created "2016-06-24" @default.
• W2267376694 creator A5017101409 @default.
• W2267376694 creator A5039882261 @default.
• W2267376694 creator A5072285823 @default.
• W2267376694 date "2016-02-21" @default.
• W2267376694 modified "2023-10-16" @default.
• W2267376694 title "Boolean Functions with Ordered Domains in Answer Set Programming" @default.
• W2267376694 cites W1190126325 @default.
• W2267376694 cites W1486709607 @default.
• W2267376694 cites W1503237869 @default.
• W2267376694 cites W1672891595 @default.
• W2267376694 cites W1943961857 @default.
• W2267376694 cites W1988666619 @default.
• W2267376694 cites W2011124182 @default.
• W2267376694 cites W2023141722 @default.
• W2267376694 cites W2029702617 @default.
• W2267376694 cites W2050890691 @default.
• W2267376694 cites W2064864283 @default.
• W2267376694 cites W2069156007 @default.
• W2267376694 cites W2076698873 @default.
• W2267376694 cites W2091138122 @default.
• W2267376694 cites W2127633019 @default.
• W2267376694 cites W2151485489 @default.
• W2267376694 cites W2153361264 @default.
• W2267376694 cites W2256886837 @default.
• W2267376694 cites W2293504531 @default.
• W2267376694 cites W3099886518 @default.
• W2267376694 cites W3101449588 @default.
• W2267376694 cites W3104034370 @default.
• W2267376694 cites W342706626 @default.
• W2267376694 cites W50549667 @default.
• W2267376694 doi "https://doi.org/10.1609/aaai.v30i1.10096" @default.
• W2267376694 hasPublicationYear "2016" @default.
• W2267376694 type Work @default.
• W2267376694 sameAs 2267376694 @default.
• W2267376694 citedByCount "3" @default.
• W2267376694 countsByYear W22673766942017 @default.
• W2267376694 countsByYear W22673766942018 @default.
• W2267376694 crossrefType "journal-article" @default.
• W2267376694 hasAuthorship W2267376694A5017101409 @default.
• W2267376694 hasAuthorship W2267376694A5039882261 @default.
• W2267376694 hasAuthorship W2267376694A5072285823 @default.
• W2267376694 hasBestOaLocation W22673766941 @default.
• W2267376694 hasConcept C11413529 @default.
• W2267376694 hasConcept C118615104 @default.
• W2267376694 hasConcept C136119220 @default.
• W2267376694 hasConcept C14036430 @default.
• W2267376694 hasConcept C153269930 @default.
• W2267376694 hasConcept C158465420 @default.
• W2267376694 hasConcept C169171071 @default.
• W2267376694 hasConcept C177264268 @default.
• W2267376694 hasConcept C182620335 @default.
• W2267376694 hasConcept C187455244 @default.
• W2267376694 hasConcept C196836630 @default.
• W2267376694 hasConcept C199360897 @default.
• W2267376694 hasConcept C202444582 @default.
• W2267376694 hasConcept C207764348 @default.
• W2267376694 hasConcept C33923547 @default.
• W2267376694 hasConcept C39685927 @default.
• W2267376694 hasConcept C41008148 @default.
• W2267376694 hasConcept C7342684 @default.
• W2267376694 hasConcept C78458016 @default.
• W2267376694 hasConcept C80444323 @default.
• W2267376694 hasConcept C86803240 @default.
• W2267376694 hasConcept C9429942 @default.
• W2267376694 hasConceptScore W2267376694C11413529 @default.
• W2267376694 hasConceptScore W2267376694C118615104 @default.
• W2267376694 hasConceptScore W2267376694C136119220 @default.
• W2267376694 hasConceptScore W2267376694C14036430 @default.
• W2267376694 hasConceptScore W2267376694C153269930 @default.
• W2267376694 hasConceptScore W2267376694C158465420 @default.
• W2267376694 hasConceptScore W2267376694C169171071 @default.
• W2267376694 hasConceptScore W2267376694C177264268 @default.
• W2267376694 hasConceptScore W2267376694C182620335 @default.
• W2267376694 hasConceptScore W2267376694C187455244 @default.
• W2267376694 hasConceptScore W2267376694C196836630 @default.
• W2267376694 hasConceptScore W2267376694C199360897 @default.
• W2267376694 hasConceptScore W2267376694C202444582 @default.
• W2267376694 hasConceptScore W2267376694C207764348 @default.
• W2267376694 hasConceptScore W2267376694C33923547 @default.
• W2267376694 hasConceptScore W2267376694C39685927 @default.
• W2267376694 hasConceptScore W2267376694C41008148 @default.
• W2267376694 hasConceptScore W2267376694C7342684 @default.
• W2267376694 hasConceptScore W2267376694C78458016 @default.
• W2267376694 hasConceptScore W2267376694C80444323 @default.
• W2267376694 hasConceptScore W2267376694C86803240 @default.
• W2267376694 hasConceptScore W2267376694C9429942 @default.
• W2267376694 hasIssue "1" @default.
• W2267376694 hasLocation W22673766941 @default.
• W2267376694 hasOpenAccess W2267376694 @default.
• W2267376694 hasPrimaryLocation W22673766941 @default.
• W2267376694 hasRelatedWork W1501377585 @default.
• W2267376694 hasRelatedWork W1752076080 @default.
• W2267376694 hasRelatedWork W2119294167 @default.
• W2267376694 hasRelatedWork W2267376694 @default.
• W2267376694 hasRelatedWork W2379749946 @default.
• W2267376694 hasRelatedWork W3183599949 @default.
• W2267376694 hasRelatedWork W3187430668 @default.
• W2267376694 hasRelatedWork W46480492 @default.

• next