Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287705001> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4287705001 abstract "Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as count and sum for practical applications. Unfortunately, the meaning of such rules has been a significant challenge, leading to many disagreeing semantics. This paper describes a unified semantics for recursive rules with aggregation, extending the unified founded semantics and constraint semantics for recursive rules with negation. The key idea is to support simple expression of the different assumptions underlying different semantics, and orthogonally interpret aggregation operations using their simple usual meaning. We present a formal definition of the semantics, prove important properties of the semantics, and compare with prior semantics. In particular, we present an efficient inference over aggregation that gives precise answers to all examples we have studied from the literature. We also apply our semantics to a wide range of challenging examples, and show that our semantics is simple and matches the desired results in all cases. Finally, we describe experiments on the most challenging examples, exhibiting unexpectedly superior performance over well-known systems when they can compute correct answers." @default.
- W4287705001 created "2022-07-26" @default.
- W4287705001 creator A5021474885 @default.
- W4287705001 creator A5068274526 @default.
- W4287705001 date "2020-07-26" @default.
- W4287705001 modified "2023-10-02" @default.
- W4287705001 title "Recursive Rules with Aggregation: A Simple Unified Semantics" @default.
- W4287705001 doi "https://doi.org/10.1093/logcom/exac072" @default.
- W4287705001 hasPublicationYear "2020" @default.
- W4287705001 type Work @default.
- W4287705001 citedByCount "1" @default.
- W4287705001 countsByYear W42877050012023 @default.
- W4287705001 crossrefType "posted-content" @default.
- W4287705001 hasAuthorship W4287705001A5021474885 @default.
- W4287705001 hasAuthorship W4287705001A5068274526 @default.
- W4287705001 hasBestOaLocation W42877050011 @default.
- W4287705001 hasConcept C111472728 @default.
- W4287705001 hasConcept C127001435 @default.
- W4287705001 hasConcept C138885662 @default.
- W4287705001 hasConcept C146499914 @default.
- W4287705001 hasConcept C150607116 @default.
- W4287705001 hasConcept C156325763 @default.
- W4287705001 hasConcept C15744967 @default.
- W4287705001 hasConcept C184337299 @default.
- W4287705001 hasConcept C199360897 @default.
- W4287705001 hasConcept C200065993 @default.
- W4287705001 hasConcept C207648694 @default.
- W4287705001 hasConcept C2185349 @default.
- W4287705001 hasConcept C2524010 @default.
- W4287705001 hasConcept C2776036281 @default.
- W4287705001 hasConcept C2780586882 @default.
- W4287705001 hasConcept C2780876879 @default.
- W4287705001 hasConcept C33923547 @default.
- W4287705001 hasConcept C41008148 @default.
- W4287705001 hasConcept C542102704 @default.
- W4287705001 hasConcept C61151141 @default.
- W4287705001 hasConcept C80444323 @default.
- W4287705001 hasConcept C89497691 @default.
- W4287705001 hasConceptScore W4287705001C111472728 @default.
- W4287705001 hasConceptScore W4287705001C127001435 @default.
- W4287705001 hasConceptScore W4287705001C138885662 @default.
- W4287705001 hasConceptScore W4287705001C146499914 @default.
- W4287705001 hasConceptScore W4287705001C150607116 @default.
- W4287705001 hasConceptScore W4287705001C156325763 @default.
- W4287705001 hasConceptScore W4287705001C15744967 @default.
- W4287705001 hasConceptScore W4287705001C184337299 @default.
- W4287705001 hasConceptScore W4287705001C199360897 @default.
- W4287705001 hasConceptScore W4287705001C200065993 @default.
- W4287705001 hasConceptScore W4287705001C207648694 @default.
- W4287705001 hasConceptScore W4287705001C2185349 @default.
- W4287705001 hasConceptScore W4287705001C2524010 @default.
- W4287705001 hasConceptScore W4287705001C2776036281 @default.
- W4287705001 hasConceptScore W4287705001C2780586882 @default.
- W4287705001 hasConceptScore W4287705001C2780876879 @default.
- W4287705001 hasConceptScore W4287705001C33923547 @default.
- W4287705001 hasConceptScore W4287705001C41008148 @default.
- W4287705001 hasConceptScore W4287705001C542102704 @default.
- W4287705001 hasConceptScore W4287705001C61151141 @default.
- W4287705001 hasConceptScore W4287705001C80444323 @default.
- W4287705001 hasConceptScore W4287705001C89497691 @default.
- W4287705001 hasLocation W42877050011 @default.
- W4287705001 hasOpenAccess W4287705001 @default.
- W4287705001 hasPrimaryLocation W42877050011 @default.
- W4287705001 hasRelatedWork W1504969661 @default.
- W4287705001 hasRelatedWork W1822389052 @default.
- W4287705001 hasRelatedWork W1990759781 @default.
- W4287705001 hasRelatedWork W2125406856 @default.
- W4287705001 hasRelatedWork W2137980890 @default.
- W4287705001 hasRelatedWork W2950641724 @default.
- W4287705001 hasRelatedWork W3007870257 @default.
- W4287705001 hasRelatedWork W3044562230 @default.
- W4287705001 hasRelatedWork W4287705001 @default.
- W4287705001 hasRelatedWork W783270985 @default.
- W4287705001 isParatext "false" @default.
- W4287705001 isRetracted "false" @default.
- W4287705001 workType "article" @default.