Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183635344> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2183635344 abstract "Aggregate constructs are one of the major linguistic extensions to logic programming. In this paper, we focus on logic programming with monotone and antimonotone aggregate literals with the well-founded semantics defined in [1], which allows for aggregates occurring in recu rsive definitions. We formally show that computing this semantics is tractable and present a prototype system obtained by modifying DLV. To our knowledge, this is the only system supporting well-founded semantics for logic programs with recursive aggregates. While aggregates yield an obvious representational improvement, we also present experiments involving our prototype system and XSB, showing that aggregates are also beneficial from a compu tational point of view." @default.
- W2183635344 created "2016-06-24" @default.
- W2183635344 creator A5002604860 @default.
- W2183635344 creator A5017101409 @default.
- W2183635344 creator A5039882261 @default.
- W2183635344 date "2010-01-01" @default.
- W2183635344 modified "2023-09-27" @default.
- W2183635344 title "Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation" @default.
- W2183635344 cites W100292100 @default.
- W2183635344 cites W125332145 @default.
- W2183635344 cites W1598820892 @default.
- W2183635344 cites W1606891084 @default.
- W2183635344 cites W176794890 @default.
- W2183635344 cites W1968513265 @default.
- W2183635344 cites W1969965298 @default.
- W2183635344 cites W1976055110 @default.
- W2183635344 cites W2046213250 @default.
- W2183635344 cites W2076698873 @default.
- W2183635344 cites W2105869173 @default.
- W2183635344 cites W2151485489 @default.
- W2183635344 cites W342706626 @default.
- W2183635344 hasPublicationYear "2010" @default.
- W2183635344 type Work @default.
- W2183635344 sameAs 2183635344 @default.
- W2183635344 citedByCount "0" @default.
- W2183635344 crossrefType "journal-article" @default.
- W2183635344 hasAuthorship W2183635344A5002604860 @default.
- W2183635344 hasAuthorship W2183635344A5017101409 @default.
- W2183635344 hasAuthorship W2183635344A5039882261 @default.
- W2183635344 hasConcept C102993220 @default.
- W2183635344 hasConcept C120665830 @default.
- W2183635344 hasConcept C121332964 @default.
- W2183635344 hasConcept C127001435 @default.
- W2183635344 hasConcept C128838566 @default.
- W2183635344 hasConcept C156325763 @default.
- W2183635344 hasConcept C159985019 @default.
- W2183635344 hasConcept C169896238 @default.
- W2183635344 hasConcept C184337299 @default.
- W2183635344 hasConcept C192209626 @default.
- W2183635344 hasConcept C192562407 @default.
- W2183635344 hasConcept C199360897 @default.
- W2183635344 hasConcept C207648694 @default.
- W2183635344 hasConcept C2524010 @default.
- W2183635344 hasConcept C2834757 @default.
- W2183635344 hasConcept C28719098 @default.
- W2183635344 hasConcept C33923547 @default.
- W2183635344 hasConcept C41008148 @default.
- W2183635344 hasConcept C4679612 @default.
- W2183635344 hasConcept C80444323 @default.
- W2183635344 hasConcept C89497691 @default.
- W2183635344 hasConceptScore W2183635344C102993220 @default.
- W2183635344 hasConceptScore W2183635344C120665830 @default.
- W2183635344 hasConceptScore W2183635344C121332964 @default.
- W2183635344 hasConceptScore W2183635344C127001435 @default.
- W2183635344 hasConceptScore W2183635344C128838566 @default.
- W2183635344 hasConceptScore W2183635344C156325763 @default.
- W2183635344 hasConceptScore W2183635344C159985019 @default.
- W2183635344 hasConceptScore W2183635344C169896238 @default.
- W2183635344 hasConceptScore W2183635344C184337299 @default.
- W2183635344 hasConceptScore W2183635344C192209626 @default.
- W2183635344 hasConceptScore W2183635344C192562407 @default.
- W2183635344 hasConceptScore W2183635344C199360897 @default.
- W2183635344 hasConceptScore W2183635344C207648694 @default.
- W2183635344 hasConceptScore W2183635344C2524010 @default.
- W2183635344 hasConceptScore W2183635344C2834757 @default.
- W2183635344 hasConceptScore W2183635344C28719098 @default.
- W2183635344 hasConceptScore W2183635344C33923547 @default.
- W2183635344 hasConceptScore W2183635344C41008148 @default.
- W2183635344 hasConceptScore W2183635344C4679612 @default.
- W2183635344 hasConceptScore W2183635344C80444323 @default.
- W2183635344 hasConceptScore W2183635344C89497691 @default.
- W2183635344 hasLocation W21836353441 @default.
- W2183635344 hasOpenAccess W2183635344 @default.
- W2183635344 hasPrimaryLocation W21836353441 @default.
- W2183635344 hasRelatedWork W1481740331 @default.
- W2183635344 hasRelatedWork W1493799155 @default.
- W2183635344 hasRelatedWork W1502855507 @default.
- W2183635344 hasRelatedWork W152927470 @default.
- W2183635344 hasRelatedWork W1537193727 @default.
- W2183635344 hasRelatedWork W1578725873 @default.
- W2183635344 hasRelatedWork W1585132271 @default.
- W2183635344 hasRelatedWork W1594369397 @default.
- W2183635344 hasRelatedWork W1634236444 @default.
- W2183635344 hasRelatedWork W1847820984 @default.
- W2183635344 hasRelatedWork W2010291760 @default.
- W2183635344 hasRelatedWork W2022951178 @default.
- W2183635344 hasRelatedWork W2241042849 @default.
- W2183635344 hasRelatedWork W2593163751 @default.
- W2183635344 hasRelatedWork W294427244 @default.
- W2183635344 hasRelatedWork W2965093858 @default.
- W2183635344 hasRelatedWork W3101449588 @default.
- W2183635344 hasRelatedWork W3196415809 @default.
- W2183635344 hasRelatedWork W3200797883 @default.
- W2183635344 hasRelatedWork W2108009432 @default.
- W2183635344 isParatext "false" @default.
- W2183635344 isRetracted "false" @default.
- W2183635344 magId "2183635344" @default.
- W2183635344 workType "article" @default.