FRINK Linked Data Fragments server

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

• W100292100 endingPage "411" @default.
• W100292100 startingPage "406" @default.
• W100292100 abstract "We investigate the properties of logic programs with aggregates. We mainly focus on programs with monotone and antimonotone aggregates (LPm,aA programs). We define a new notion of unfounded set for (LPm,aA programs, and prove that it is a sound generalization of the standard notion of unfounded set for aggregate-free programs. We show that the answer sets of an LPm,aA program are precisely its unfounded-free models.We define a well-founded operator WP for LPm,aA programs; we prove that its total fixpoints are precisely the answer sets of P, and its least fixpoint WPw(0) is contained in the intersection of all answer sets (if P admits an answer set). WPW(0) is efficiently computable, and for aggregate-free programs it coincides with the well-founded model.We carry out an in-depth complexity analysis in the general framework, including also nonmonotone aggregates. We prove that monotone and anti-monotone aggregates do not increase the complexity of cautious reasoning, which remains in co-NP. Nonmonotone aggregates, instead, do increase the complexity by one level in the polynomial hierarchy. Our results allow also to generalize and speed-up ASP systems with aggregates." @default.
• W100292100 created "2016-06-24" @default.
• W100292100 creator A5002604860 @default.
• W100292100 creator A5034672297 @default.
• W100292100 creator A5052577422 @default.
• W100292100 creator A5089127314 @default.
• W100292100 date "2005-07-30" @default.
• W100292100 modified "2023-09-23" @default.
• W100292100 title "Declarative and computational properties of logic programs with aggregates" @default.
• W100292100 cites W10111591 @default.
• W100292100 cites W125332145 @default.
• W100292100 cites W1487563773 @default.
• W100292100 cites W1505706329 @default.
• W100292100 cites W1520574003 @default.
• W100292100 cites W1585929823 @default.
• W100292100 cites W1598820892 @default.
• W100292100 cites W1606891084 @default.
• W100292100 cites W176794890 @default.
• W100292100 cites W1800801472 @default.
• W100292100 cites W1968513265 @default.
• W100292100 cites W2011124182 @default.
• W100292100 cites W2022397086 @default.
• W100292100 cites W2036241121 @default.
• W100292100 cites W2037008576 @default.
• W100292100 cites W2043182143 @default.
• W100292100 cites W2046213250 @default.
• W100292100 cites W2063061546 @default.
• W100292100 cites W2076698873 @default.
• W100292100 cites W2094818741 @default.
• W100292100 cites W2105869173 @default.
• W100292100 cites W2146128827 @default.
• W100292100 cites W3202619697 @default.
• W100292100 cites W342706626 @default.
• W100292100 cites W58130649 @default.
• W100292100 cites W96215098 @default.
• W100292100 hasPublicationYear "2005" @default.
• W100292100 type Work @default.
• W100292100 sameAs 100292100 @default.
• W100292100 citedByCount "17" @default.
• W100292100 countsByYear W1002921002012 @default.
• W100292100 countsByYear W1002921002014 @default.
• W100292100 crossrefType "proceedings-article" @default.
• W100292100 hasAuthorship W100292100A5002604860 @default.
• W100292100 hasAuthorship W100292100A5034672297 @default.
• W100292100 hasAuthorship W100292100A5052577422 @default.
• W100292100 hasAuthorship W100292100A5089127314 @default.
• W100292100 hasConcept C104317684 @default.
• W100292100 hasConcept C11413529 @default.
• W100292100 hasConcept C118615104 @default.
• W100292100 hasConcept C127413603 @default.
• W100292100 hasConcept C128838566 @default.
• W100292100 hasConcept C134306372 @default.
• W100292100 hasConcept C136119220 @default.
• W100292100 hasConcept C146978453 @default.
• W100292100 hasConcept C158448853 @default.
• W100292100 hasConcept C159985019 @default.
• W100292100 hasConcept C162324750 @default.
• W100292100 hasConcept C17020691 @default.
• W100292100 hasConcept C177148314 @default.
• W100292100 hasConcept C177264268 @default.
• W100292100 hasConcept C179799912 @default.
• W100292100 hasConcept C185592680 @default.
• W100292100 hasConcept C192562407 @default.
• W100292100 hasConcept C199360897 @default.
• W100292100 hasConcept C202444582 @default.
• W100292100 hasConcept C2524010 @default.
• W100292100 hasConcept C2776013622 @default.
• W100292100 hasConcept C2834757 @default.
• W100292100 hasConcept C2987117450 @default.
• W100292100 hasConcept C31170391 @default.
• W100292100 hasConcept C33923547 @default.
• W100292100 hasConcept C34447519 @default.
• W100292100 hasConcept C41008148 @default.
• W100292100 hasConcept C4679612 @default.
• W100292100 hasConcept C55493867 @default.
• W100292100 hasConcept C64543145 @default.
• W100292100 hasConcept C80444323 @default.
• W100292100 hasConcept C86339819 @default.
• W100292100 hasConceptScore W100292100C104317684 @default.
• W100292100 hasConceptScore W100292100C11413529 @default.
• W100292100 hasConceptScore W100292100C118615104 @default.
• W100292100 hasConceptScore W100292100C127413603 @default.
• W100292100 hasConceptScore W100292100C128838566 @default.
• W100292100 hasConceptScore W100292100C134306372 @default.
• W100292100 hasConceptScore W100292100C136119220 @default.
• W100292100 hasConceptScore W100292100C146978453 @default.
• W100292100 hasConceptScore W100292100C158448853 @default.
• W100292100 hasConceptScore W100292100C159985019 @default.
• W100292100 hasConceptScore W100292100C162324750 @default.
• W100292100 hasConceptScore W100292100C17020691 @default.
• W100292100 hasConceptScore W100292100C177148314 @default.
• W100292100 hasConceptScore W100292100C177264268 @default.
• W100292100 hasConceptScore W100292100C179799912 @default.
• W100292100 hasConceptScore W100292100C185592680 @default.
• W100292100 hasConceptScore W100292100C192562407 @default.
• W100292100 hasConceptScore W100292100C199360897 @default.
• W100292100 hasConceptScore W100292100C202444582 @default.
• W100292100 hasConceptScore W100292100C2524010 @default.

• next