FRINK Linked Data Fragments server

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

• W2952597625 abstract "Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows for expressing every property of finite structures that is decidable in the complexity class SigmaP2 (= NP^NP). Despite this high expressiveness, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Especially properties that require the use of arithmetic operators (like sum, times, or count) on a set or multiset of elements, which satisfy some conditions, cannot be naturally expressed in classic DLP. To overcome this deficiency, we extend DLP by aggregate functions in a conservative way. In particular, we avoid the introduction of constructs with disputed semantics, by requiring aggregates to be stratified. We formally define the semantics of the extended language (called DLP^A), and illustrate how it can be profitably used for representing knowledge. Furthermore, we analyze the computational complexity of DLP^A, showing that the addition of aggregates does not bring a higher cost in that respect. Finally, we provide an implementation of DLP^A in DLV -- a state-of-the-art DLP system -- and report on experiments which confirm the usefulness of the proposed extension also for the efficiency of computation." @default.
• W2952597625 created "2019-06-27" @default.
• W2952597625 creator A5002604860 @default.
• W2952597625 creator A5017101409 @default.
• W2952597625 creator A5045535458 @default.
• W2952597625 creator A5058103708 @default.
• W2952597625 creator A5073789994 @default.
• W2952597625 date "2008-02-21" @default.
• W2952597625 modified "2023-09-27" @default.
• W2952597625 title "Design and Implementation of Aggregate Functions in the DLV System" @default.
• W2952597625 cites W100292100 @default.
• W2952597625 cites W1489954224 @default.
• W2952597625 cites W1494051470 @default.
• W2952597625 cites W1499324940 @default.
• W2952597625 cites W1502473685 @default.
• W2952597625 cites W1503635106 @default.
• W2952597625 cites W1520574003 @default.
• W2952597625 cites W1539763149 @default.
• W2952597625 cites W1585929823 @default.
• W2952597625 cites W163058484 @default.
• W2952597625 cites W1638553575 @default.
• W2952597625 cites W1800801472 @default.
• W2952597625 cites W1862558385 @default.
• W2952597625 cites W193190470 @default.
• W2952597625 cites W1975880448 @default.
• W2952597625 cites W1976055110 @default.
• W2952597625 cites W2011124182 @default.
• W2952597625 cites W2011992362 @default.
• W2952597625 cites W2023141722 @default.
• W2952597625 cites W2036241121 @default.
• W2952597625 cites W2063061546 @default.
• W2952597625 cites W2076698873 @default.
• W2952597625 cites W2079107830 @default.
• W2952597625 cites W2087432892 @default.
• W2952597625 cites W2087563242 @default.
• W2952597625 cites W2098168532 @default.
• W2952597625 cites W2099531973 @default.
• W2952597625 cites W2105905502 @default.
• W2952597625 cites W2106614716 @default.
• W2952597625 cites W2111353076 @default.
• W2952597625 cites W2139614651 @default.
• W2952597625 cites W2162621793 @default.
• W2952597625 cites W2295882966 @default.
• W2952597625 cites W2611415697 @default.
• W2952597625 cites W342706626 @default.
• W2952597625 cites W58471491 @default.
• W2952597625 cites W2466440508 @default.
• W2952597625 hasPublicationYear "2008" @default.
• W2952597625 type Work @default.
• W2952597625 sameAs 2952597625 @default.
• W2952597625 citedByCount "0" @default.
• W2952597625 crossrefType "posted-content" @default.
• W2952597625 hasAuthorship W2952597625A5002604860 @default.
• W2952597625 hasAuthorship W2952597625A5017101409 @default.
• W2952597625 hasAuthorship W2952597625A5045535458 @default.
• W2952597625 hasAuthorship W2952597625A5058103708 @default.
• W2952597625 hasAuthorship W2952597625A5073789994 @default.
• W2952597625 hasConcept C118615104 @default.
• W2952597625 hasConcept C128838566 @default.
• W2952597625 hasConcept C142362112 @default.
• W2952597625 hasConcept C153269930 @default.
• W2952597625 hasConcept C153349607 @default.
• W2952597625 hasConcept C182620335 @default.
• W2952597625 hasConcept C184337299 @default.
• W2952597625 hasConcept C199360897 @default.
• W2952597625 hasConcept C2779623528 @default.
• W2952597625 hasConcept C33923547 @default.
• W2952597625 hasConcept C41008148 @default.
• W2952597625 hasConcept C558565934 @default.
• W2952597625 hasConcept C73301696 @default.
• W2952597625 hasConcept C80444323 @default.
• W2952597625 hasConceptScore W2952597625C118615104 @default.
• W2952597625 hasConceptScore W2952597625C128838566 @default.
• W2952597625 hasConceptScore W2952597625C142362112 @default.
• W2952597625 hasConceptScore W2952597625C153269930 @default.
• W2952597625 hasConceptScore W2952597625C153349607 @default.
• W2952597625 hasConceptScore W2952597625C182620335 @default.
• W2952597625 hasConceptScore W2952597625C184337299 @default.
• W2952597625 hasConceptScore W2952597625C199360897 @default.
• W2952597625 hasConceptScore W2952597625C2779623528 @default.
• W2952597625 hasConceptScore W2952597625C33923547 @default.
• W2952597625 hasConceptScore W2952597625C41008148 @default.
• W2952597625 hasConceptScore W2952597625C558565934 @default.
• W2952597625 hasConceptScore W2952597625C73301696 @default.
• W2952597625 hasConceptScore W2952597625C80444323 @default.
• W2952597625 hasLocation W29525976251 @default.
• W2952597625 hasOpenAccess W2952597625 @default.
• W2952597625 hasPrimaryLocation W29525976251 @default.
• W2952597625 hasRelatedWork W1546878666 @default.
• W2952597625 hasRelatedWork W1568597838 @default.
• W2952597625 hasRelatedWork W1605651526 @default.
• W2952597625 hasRelatedWork W188509945 @default.
• W2952597625 hasRelatedWork W1994179113 @default.
• W2952597625 hasRelatedWork W2061056562 @default.
• W2952597625 hasRelatedWork W2074272702 @default.
• W2952597625 hasRelatedWork W2106500031 @default.
• W2952597625 hasRelatedWork W2331781799 @default.
• W2952597625 hasRelatedWork W2406205129 @default.
• W2952597625 hasRelatedWork W2889187308 @default.
• W2952597625 hasRelatedWork W2949763276 @default.

• next