Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500460229> ?p ?o ?g. }
- W1500460229 endingPage "301" @default.
- W1500460229 startingPage "282" @default.
- W1500460229 abstract "DLV is one of the most successful and widely used answer set programming (ASP) systems. It supports a powerful language extending Disjunctive Datalog with many expressive constructs, including aggregates, strong and weak constraints, functions, lists, and sets. The system provides database connectivity offering a simple way for powerful reasoning on top of relational databases. In this paper, we provide an ample overview of the DLV system. We illustrate its input language and give indications on how to use it for representing knowledge. We also provide a panorama on the system architecture and the main optimizations it incorporates. We then focus on DLV DB , an extension of the basic system which allows for tight coupling with traditional database systems. Finally, we report on a number industrial applications which rely on DLV." @default.
- W1500460229 created "2016-06-24" @default.
- W1500460229 creator A5002604860 @default.
- W1500460229 creator A5017101409 @default.
- W1500460229 creator A5039882261 @default.
- W1500460229 creator A5045535458 @default.
- W1500460229 creator A5052577422 @default.
- W1500460229 creator A5084620092 @default.
- W1500460229 date "2011-01-01" @default.
- W1500460229 modified "2023-10-16" @default.
- W1500460229 title "The Disjunctive Datalog System DLV" @default.
- W1500460229 cites W1445138309 @default.
- W1500460229 cites W1484110122 @default.
- W1500460229 cites W1502473685 @default.
- W1500460229 cites W1511456606 @default.
- W1500460229 cites W1530638520 @default.
- W1500460229 cites W1536509483 @default.
- W1500460229 cites W1547179998 @default.
- W1500460229 cites W1969965298 @default.
- W1500460229 cites W1976055110 @default.
- W1500460229 cites W1992673035 @default.
- W1500460229 cites W2036241121 @default.
- W1500460229 cites W2056062068 @default.
- W1500460229 cites W2057361103 @default.
- W1500460229 cites W2061664277 @default.
- W1500460229 cites W2064864283 @default.
- W1500460229 cites W2066812801 @default.
- W1500460229 cites W2075056819 @default.
- W1500460229 cites W2076698873 @default.
- W1500460229 cites W2090798572 @default.
- W1500460229 cites W2106614716 @default.
- W1500460229 cites W2122529902 @default.
- W1500460229 cites W2126260950 @default.
- W1500460229 cites W2139861604 @default.
- W1500460229 cites W2154996176 @default.
- W1500460229 cites W2165291970 @default.
- W1500460229 doi "https://doi.org/10.1007/978-3-642-24206-9_17" @default.
- W1500460229 hasPublicationYear "2011" @default.
- W1500460229 type Work @default.
- W1500460229 sameAs 1500460229 @default.
- W1500460229 citedByCount "43" @default.
- W1500460229 countsByYear W15004602292013 @default.
- W1500460229 countsByYear W15004602292014 @default.
- W1500460229 countsByYear W15004602292015 @default.
- W1500460229 countsByYear W15004602292016 @default.
- W1500460229 countsByYear W15004602292017 @default.
- W1500460229 countsByYear W15004602292018 @default.
- W1500460229 countsByYear W15004602292019 @default.
- W1500460229 countsByYear W15004602292020 @default.
- W1500460229 countsByYear W15004602292021 @default.
- W1500460229 countsByYear W15004602292022 @default.
- W1500460229 countsByYear W15004602292023 @default.
- W1500460229 crossrefType "book-chapter" @default.
- W1500460229 hasAuthorship W1500460229A5002604860 @default.
- W1500460229 hasAuthorship W1500460229A5017101409 @default.
- W1500460229 hasAuthorship W1500460229A5039882261 @default.
- W1500460229 hasAuthorship W1500460229A5045535458 @default.
- W1500460229 hasAuthorship W1500460229A5052577422 @default.
- W1500460229 hasAuthorship W1500460229A5084620092 @default.
- W1500460229 hasBestOaLocation W15004602292 @default.
- W1500460229 hasConcept C120665830 @default.
- W1500460229 hasConcept C121332964 @default.
- W1500460229 hasConcept C146206909 @default.
- W1500460229 hasConcept C148230440 @default.
- W1500460229 hasConcept C154945302 @default.
- W1500460229 hasConcept C177264268 @default.
- W1500460229 hasConcept C182620335 @default.
- W1500460229 hasConcept C192209626 @default.
- W1500460229 hasConcept C199360897 @default.
- W1500460229 hasConcept C2777502361 @default.
- W1500460229 hasConcept C2778029271 @default.
- W1500460229 hasConcept C2780580889 @default.
- W1500460229 hasConcept C34165917 @default.
- W1500460229 hasConcept C41008148 @default.
- W1500460229 hasConcept C50033165 @default.
- W1500460229 hasConcept C5655090 @default.
- W1500460229 hasConcept C77088390 @default.
- W1500460229 hasConcept C80444323 @default.
- W1500460229 hasConceptScore W1500460229C120665830 @default.
- W1500460229 hasConceptScore W1500460229C121332964 @default.
- W1500460229 hasConceptScore W1500460229C146206909 @default.
- W1500460229 hasConceptScore W1500460229C148230440 @default.
- W1500460229 hasConceptScore W1500460229C154945302 @default.
- W1500460229 hasConceptScore W1500460229C177264268 @default.
- W1500460229 hasConceptScore W1500460229C182620335 @default.
- W1500460229 hasConceptScore W1500460229C192209626 @default.
- W1500460229 hasConceptScore W1500460229C199360897 @default.
- W1500460229 hasConceptScore W1500460229C2777502361 @default.
- W1500460229 hasConceptScore W1500460229C2778029271 @default.
- W1500460229 hasConceptScore W1500460229C2780580889 @default.
- W1500460229 hasConceptScore W1500460229C34165917 @default.
- W1500460229 hasConceptScore W1500460229C41008148 @default.
- W1500460229 hasConceptScore W1500460229C50033165 @default.
- W1500460229 hasConceptScore W1500460229C5655090 @default.
- W1500460229 hasConceptScore W1500460229C77088390 @default.
- W1500460229 hasConceptScore W1500460229C80444323 @default.
- W1500460229 hasLocation W15004602291 @default.
- W1500460229 hasLocation W15004602292 @default.