Matches in SemOpenAlex for { <https://semopenalex.org/work/W2470090809> ?p ?o ?g. }
- W2470090809 endingPage "4104" @default.
- W2470090809 startingPage "4100" @default.
- W2470090809 abstract "In answer set programming, knowledge involving sets of objects collectively is naturally represented by aggregates, which are rewritten into simpler forms known as monotone aggregates by current implementations. However, there is a complexity gap between general and monotone aggregates. In this paper, this gap is filled by means of a polynomial, faithful, and modular translation function, which can introduce disjunction in rule heads. The translation function is now part of the recent version 4.5 of the grounder GRINGO. This paper focuses on the key points of the translation function, and in particular on the mapping from nonconvex sums to monotone sums." @default.
- W2470090809 created "2016-07-22" @default.
- W2470090809 creator A5006066772 @default.
- W2470090809 creator A5017101409 @default.
- W2470090809 creator A5039882261 @default.
- W2470090809 date "2016-07-09" @default.
- W2470090809 modified "2023-09-23" @default.
- W2470090809 title "From non-convex aggregates to monotone aggregates in ASP" @default.
- W2470090809 cites W1484166989 @default.
- W2470090809 cites W1672891595 @default.
- W2470090809 cites W1985274317 @default.
- W2470090809 cites W1988666619 @default.
- W2470090809 cites W2011124182 @default.
- W2470090809 cites W2029702617 @default.
- W2470090809 cites W2049791401 @default.
- W2470090809 cites W2064864283 @default.
- W2470090809 cites W2066012259 @default.
- W2470090809 cites W2076698873 @default.
- W2470090809 cites W2087432892 @default.
- W2470090809 cites W2087563242 @default.
- W2470090809 cites W2091138122 @default.
- W2470090809 cites W2100983017 @default.
- W2470090809 cites W2106500031 @default.
- W2470090809 cites W2256886837 @default.
- W2470090809 cites W2397448600 @default.
- W2470090809 cites W2411666486 @default.
- W2470090809 cites W2953358726 @default.
- W2470090809 cites W3104034370 @default.
- W2470090809 cites W3104110719 @default.
- W2470090809 cites W3139333323 @default.
- W2470090809 cites W50549667 @default.
- W2470090809 hasPublicationYear "2016" @default.
- W2470090809 type Work @default.
- W2470090809 sameAs 2470090809 @default.
- W2470090809 citedByCount "1" @default.
- W2470090809 countsByYear W24700908092018 @default.
- W2470090809 crossrefType "proceedings-article" @default.
- W2470090809 hasAuthorship W2470090809A5006066772 @default.
- W2470090809 hasAuthorship W2470090809A5017101409 @default.
- W2470090809 hasAuthorship W2470090809A5039882261 @default.
- W2470090809 hasConcept C101468663 @default.
- W2470090809 hasConcept C104317684 @default.
- W2470090809 hasConcept C105580179 @default.
- W2470090809 hasConcept C112680207 @default.
- W2470090809 hasConcept C118615104 @default.
- W2470090809 hasConcept C134306372 @default.
- W2470090809 hasConcept C14036430 @default.
- W2470090809 hasConcept C149364088 @default.
- W2470090809 hasConcept C177264268 @default.
- W2470090809 hasConcept C185592680 @default.
- W2470090809 hasConcept C199360897 @default.
- W2470090809 hasConcept C2524010 @default.
- W2470090809 hasConcept C26517878 @default.
- W2470090809 hasConcept C2834757 @default.
- W2470090809 hasConcept C33923547 @default.
- W2470090809 hasConcept C38652104 @default.
- W2470090809 hasConcept C41008148 @default.
- W2470090809 hasConcept C55493867 @default.
- W2470090809 hasConcept C78458016 @default.
- W2470090809 hasConcept C80444323 @default.
- W2470090809 hasConcept C86803240 @default.
- W2470090809 hasConcept C90119067 @default.
- W2470090809 hasConceptScore W2470090809C101468663 @default.
- W2470090809 hasConceptScore W2470090809C104317684 @default.
- W2470090809 hasConceptScore W2470090809C105580179 @default.
- W2470090809 hasConceptScore W2470090809C112680207 @default.
- W2470090809 hasConceptScore W2470090809C118615104 @default.
- W2470090809 hasConceptScore W2470090809C134306372 @default.
- W2470090809 hasConceptScore W2470090809C14036430 @default.
- W2470090809 hasConceptScore W2470090809C149364088 @default.
- W2470090809 hasConceptScore W2470090809C177264268 @default.
- W2470090809 hasConceptScore W2470090809C185592680 @default.
- W2470090809 hasConceptScore W2470090809C199360897 @default.
- W2470090809 hasConceptScore W2470090809C2524010 @default.
- W2470090809 hasConceptScore W2470090809C26517878 @default.
- W2470090809 hasConceptScore W2470090809C2834757 @default.
- W2470090809 hasConceptScore W2470090809C33923547 @default.
- W2470090809 hasConceptScore W2470090809C38652104 @default.
- W2470090809 hasConceptScore W2470090809C41008148 @default.
- W2470090809 hasConceptScore W2470090809C55493867 @default.
- W2470090809 hasConceptScore W2470090809C78458016 @default.
- W2470090809 hasConceptScore W2470090809C80444323 @default.
- W2470090809 hasConceptScore W2470090809C86803240 @default.
- W2470090809 hasConceptScore W2470090809C90119067 @default.
- W2470090809 hasLocation W24700908091 @default.
- W2470090809 hasOpenAccess W2470090809 @default.
- W2470090809 hasPrimaryLocation W24700908091 @default.
- W2470090809 hasRelatedWork W1439878676 @default.
- W2470090809 hasRelatedWork W2017002167 @default.
- W2470090809 hasRelatedWork W2078433343 @default.
- W2470090809 hasRelatedWork W2244625598 @default.
- W2470090809 hasRelatedWork W2324757689 @default.
- W2470090809 hasRelatedWork W2504519045 @default.
- W2470090809 hasRelatedWork W2550773462 @default.
- W2470090809 hasRelatedWork W2733732676 @default.
- W2470090809 hasRelatedWork W2902612328 @default.
- W2470090809 hasRelatedWork W2949241840 @default.
- W2470090809 hasRelatedWork W2952070529 @default.