Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500011337> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1500011337 abstract "Answer Set Programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning, particularly suitable for representing incomplete knowledge and nonmonotonic reasoning. ASP is used in Artificial Intelligence applications such as diagnosis and planning. Aggregate functions are an important extension to ASP that allow the representation of concepts involving sets of data in a natural way. We have analyzed the properties of recursive aggregates, identified rich classes of programs with a unique answer set, and defined a new notion of unfounded set that we used in answer set computations. Experimental results on the implemented prototype, obtained by extending DLV, show a significant performance improvement of our enhanced approach over existing techniques. In this paper we summarize some of our results, which are fully described in the thesis of the same title." @default.
- W1500011337 created "2016-06-24" @default.
- W1500011337 creator A5039882261 @default.
- W1500011337 date "2011-01-01" @default.
- W1500011337 modified "2023-09-26" @default.
- W1500011337 title "Efficient recursive aggregate evaluation in logic programming" @default.
- W1500011337 cites W100292100 @default.
- W1500011337 cites W125332145 @default.
- W1500011337 cites W1489954224 @default.
- W1500011337 cites W1712761282 @default.
- W1500011337 cites W1862558385 @default.
- W1500011337 cites W1968513265 @default.
- W1500011337 cites W1976055110 @default.
- W1500011337 cites W2011124182 @default.
- W1500011337 cites W2076698873 @default.
- W1500011337 cites W2085084839 @default.
- W1500011337 cites W91024833 @default.
- W1500011337 doi "https://doi.org/10.3233/ia-2011-0023" @default.
- W1500011337 hasPublicationYear "2011" @default.
- W1500011337 type Work @default.
- W1500011337 sameAs 1500011337 @default.
- W1500011337 citedByCount "4" @default.
- W1500011337 countsByYear W15000113372016 @default.
- W1500011337 countsByYear W15000113372018 @default.
- W1500011337 crossrefType "journal-article" @default.
- W1500011337 hasAuthorship W1500011337A5039882261 @default.
- W1500011337 hasConcept C128838566 @default.
- W1500011337 hasConcept C142362112 @default.
- W1500011337 hasConcept C153349607 @default.
- W1500011337 hasConcept C154945302 @default.
- W1500011337 hasConcept C159032336 @default.
- W1500011337 hasConcept C159985019 @default.
- W1500011337 hasConcept C161301231 @default.
- W1500011337 hasConcept C177264268 @default.
- W1500011337 hasConcept C17744445 @default.
- W1500011337 hasConcept C182620335 @default.
- W1500011337 hasConcept C192562407 @default.
- W1500011337 hasConcept C199360897 @default.
- W1500011337 hasConcept C199539241 @default.
- W1500011337 hasConcept C2776359362 @default.
- W1500011337 hasConcept C2778029271 @default.
- W1500011337 hasConcept C41008148 @default.
- W1500011337 hasConcept C45374587 @default.
- W1500011337 hasConcept C4679612 @default.
- W1500011337 hasConcept C558565934 @default.
- W1500011337 hasConcept C73301696 @default.
- W1500011337 hasConcept C80444323 @default.
- W1500011337 hasConcept C94625758 @default.
- W1500011337 hasConceptScore W1500011337C128838566 @default.
- W1500011337 hasConceptScore W1500011337C142362112 @default.
- W1500011337 hasConceptScore W1500011337C153349607 @default.
- W1500011337 hasConceptScore W1500011337C154945302 @default.
- W1500011337 hasConceptScore W1500011337C159032336 @default.
- W1500011337 hasConceptScore W1500011337C159985019 @default.
- W1500011337 hasConceptScore W1500011337C161301231 @default.
- W1500011337 hasConceptScore W1500011337C177264268 @default.
- W1500011337 hasConceptScore W1500011337C17744445 @default.
- W1500011337 hasConceptScore W1500011337C182620335 @default.
- W1500011337 hasConceptScore W1500011337C192562407 @default.
- W1500011337 hasConceptScore W1500011337C199360897 @default.
- W1500011337 hasConceptScore W1500011337C199539241 @default.
- W1500011337 hasConceptScore W1500011337C2776359362 @default.
- W1500011337 hasConceptScore W1500011337C2778029271 @default.
- W1500011337 hasConceptScore W1500011337C41008148 @default.
- W1500011337 hasConceptScore W1500011337C45374587 @default.
- W1500011337 hasConceptScore W1500011337C4679612 @default.
- W1500011337 hasConceptScore W1500011337C558565934 @default.
- W1500011337 hasConceptScore W1500011337C73301696 @default.
- W1500011337 hasConceptScore W1500011337C80444323 @default.
- W1500011337 hasConceptScore W1500011337C94625758 @default.
- W1500011337 hasLocation W15000113371 @default.
- W1500011337 hasOpenAccess W1500011337 @default.
- W1500011337 hasPrimaryLocation W15000113371 @default.
- W1500011337 hasRelatedWork W1530626736 @default.
- W1500011337 hasRelatedWork W1577184749 @default.
- W1500011337 hasRelatedWork W1647469660 @default.
- W1500011337 hasRelatedWork W1676151111 @default.
- W1500011337 hasRelatedWork W1726322587 @default.
- W1500011337 hasRelatedWork W1978360813 @default.
- W1500011337 hasRelatedWork W2000863621 @default.
- W1500011337 hasRelatedWork W2056062068 @default.
- W1500011337 hasRelatedWork W2058658036 @default.
- W1500011337 hasRelatedWork W2076569795 @default.
- W1500011337 hasRelatedWork W2101208282 @default.
- W1500011337 hasRelatedWork W2143390572 @default.
- W1500011337 hasRelatedWork W2728676088 @default.
- W1500011337 hasRelatedWork W2805845253 @default.
- W1500011337 hasRelatedWork W2890523975 @default.
- W1500011337 hasRelatedWork W2950283489 @default.
- W1500011337 hasRelatedWork W3021162305 @default.
- W1500011337 hasRelatedWork W3103003047 @default.
- W1500011337 hasRelatedWork W3214340885 @default.
- W1500011337 hasRelatedWork W83956222 @default.
- W1500011337 isParatext "false" @default.
- W1500011337 isRetracted "false" @default.
- W1500011337 magId "1500011337" @default.
- W1500011337 workType "article" @default.