Matches in SemOpenAlex for { <https://semopenalex.org/work/W2758049671> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2758049671 endingPage "213" @default.
- W2758049671 startingPage "191" @default.
- W2758049671 abstract "Previous work has shown how first-order logic can equivalently be expressed through nested graph conditions, also called condition trees, with surprisingly few ingredients. In this paper, we extend condition trees by adding set-based operators such as sums and products, calculated over operands that are themselves characterised by first-order logic formulas. This provides a greatly improved way to specify computations such as: given that the price of a geranium plant equals 2 per flower petal, return the average price of all geraniums with at least one flower. We claim the same level of expressive equivalence as before between (extended) condition trees and a certain class of logic formulas; we show that the latter go beyond what can be expressed in first-order logic. On the practical side, we evaluate the performance and usability of set-based operators by specifying and comparing the example geranium property, with and without set-based operators, in the graph transformation tool groove." @default.
- W2758049671 created "2017-10-06" @default.
- W2758049671 creator A5045219123 @default.
- W2758049671 date "2017-01-01" @default.
- W2758049671 modified "2023-09-24" @default.
- W2758049671 title "How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order" @default.
- W2758049671 cites W1496137789 @default.
- W2758049671 cites W1523742478 @default.
- W2758049671 cites W1551176011 @default.
- W2758049671 cites W1592036199 @default.
- W2758049671 cites W1972087475 @default.
- W2758049671 cites W2023922836 @default.
- W2758049671 cites W2038066525 @default.
- W2758049671 cites W2039242922 @default.
- W2758049671 cites W2131637630 @default.
- W2758049671 cites W2134001468 @default.
- W2758049671 cites W2136654769 @default.
- W2758049671 cites W2157901438 @default.
- W2758049671 cites W2192694265 @default.
- W2758049671 cites W2536118580 @default.
- W2758049671 cites W2906699191 @default.
- W2758049671 cites W3103485545 @default.
- W2758049671 cites W4205916380 @default.
- W2758049671 cites W4252076279 @default.
- W2758049671 cites W4300128858 @default.
- W2758049671 doi "https://doi.org/10.1007/978-3-319-68270-9_10" @default.
- W2758049671 hasPublicationYear "2017" @default.
- W2758049671 type Work @default.
- W2758049671 sameAs 2758049671 @default.
- W2758049671 citedByCount "1" @default.
- W2758049671 countsByYear W27580496712023 @default.
- W2758049671 crossrefType "book-chapter" @default.
- W2758049671 hasAuthorship W2758049671A5045219123 @default.
- W2758049671 hasConcept C118615104 @default.
- W2758049671 hasConcept C132525143 @default.
- W2758049671 hasConcept C33923547 @default.
- W2758049671 hasConcept C41008148 @default.
- W2758049671 hasConcept C80444323 @default.
- W2758049671 hasConceptScore W2758049671C118615104 @default.
- W2758049671 hasConceptScore W2758049671C132525143 @default.
- W2758049671 hasConceptScore W2758049671C33923547 @default.
- W2758049671 hasConceptScore W2758049671C41008148 @default.
- W2758049671 hasConceptScore W2758049671C80444323 @default.
- W2758049671 hasLocation W27580496711 @default.
- W2758049671 hasOpenAccess W2758049671 @default.
- W2758049671 hasPrimaryLocation W27580496711 @default.
- W2758049671 hasRelatedWork W1986393357 @default.
- W2758049671 hasRelatedWork W2023331372 @default.
- W2758049671 hasRelatedWork W2107367999 @default.
- W2758049671 hasRelatedWork W2110866863 @default.
- W2758049671 hasRelatedWork W2111089243 @default.
- W2758049671 hasRelatedWork W2391817034 @default.
- W2758049671 hasRelatedWork W2559087450 @default.
- W2758049671 hasRelatedWork W2754997651 @default.
- W2758049671 hasRelatedWork W4229769709 @default.
- W2758049671 hasRelatedWork W4317655900 @default.
- W2758049671 isParatext "false" @default.
- W2758049671 isRetracted "false" @default.
- W2758049671 magId "2758049671" @default.
- W2758049671 workType "book-chapter" @default.