Matches in SemOpenAlex for { <https://semopenalex.org/work/W2548589638> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2548589638 endingPage "207" @default.
- W2548589638 startingPage "192" @default.
- W2548589638 abstract "DLV is a powerful system for knowledge representation and reasoning which supports Answer Set Programming ASP --- a logic-based programming paradigm for solving problems in a fully declarative way. DLV is widely used in academy, and, importantly, it has been fruitfully employed in many relevant industrial applications. As for the other main-stream ASP systems, in the first phase of the computation DLV eliminates the variables, generating a ground program which is semantically equivalent to the original one but significantly smaller than the Herbrand Instantiation, in general. This phase, called 'grounding', plays a key role for the successful deployment in real-world contexts. In this work we present $$mathcal {I}$$-DLV, a brand new version of the intelligent grounder of DLV. While relying on the solid theoretical foundations of its predecessor, it has been completely redesigned and re-engineered, both in algorithms and data structures; it now features full support to ASP-Core2 standard language, increased flexibility and customizability, significantly improved performances, and an extensible design that eases the incorporation of language updates and optimization techniques. $$mathcal {I}$$-DLV results in a stable and efficient ASP instantiator that turns out to be a full-fledged deductive database system. We describe the main features of $$mathcal {I}$$-DLV and carry out experimental activities for assessing applicability and performances." @default.
- W2548589638 created "2016-11-11" @default.
- W2548589638 creator A5000628500 @default.
- W2548589638 creator A5034672297 @default.
- W2548589638 creator A5052577422 @default.
- W2548589638 creator A5089450474 @default.
- W2548589638 date "2016-01-01" @default.
- W2548589638 modified "2023-09-24" @default.
- W2548589638 title "$$mathcal {I}$$ -dlv: The New Intelligent Grounder of dlv" @default.
- W2548589638 cites W1458406845 @default.
- W2548589638 cites W1484403583 @default.
- W2548589638 cites W1488953560 @default.
- W2548589638 cites W1498722751 @default.
- W2548589638 cites W1530638520 @default.
- W2548589638 cites W1539763149 @default.
- W2548589638 cites W1545915159 @default.
- W2548589638 cites W1633347946 @default.
- W2548589638 cites W1639901403 @default.
- W2548589638 cites W1674193987 @default.
- W2548589638 cites W1787538678 @default.
- W2548589638 cites W1969965298 @default.
- W2548589638 cites W1976055110 @default.
- W2548589638 cites W2034521022 @default.
- W2548589638 cites W2056062068 @default.
- W2548589638 cites W2063928587 @default.
- W2548589638 cites W2076698873 @default.
- W2548589638 cites W2091138122 @default.
- W2548589638 cites W2099531973 @default.
- W2548589638 cites W2101666345 @default.
- W2548589638 cites W2103446906 @default.
- W2548589638 cites W2107523885 @default.
- W2548589638 cites W2121444716 @default.
- W2548589638 cites W2124342795 @default.
- W2548589638 cites W2152131859 @default.
- W2548589638 cites W2162892665 @default.
- W2548589638 cites W2165876990 @default.
- W2548589638 cites W2211798527 @default.
- W2548589638 cites W2265638991 @default.
- W2548589638 cites W2401337862 @default.
- W2548589638 doi "https://doi.org/10.1007/978-3-319-49130-1_15" @default.
- W2548589638 hasPublicationYear "2016" @default.
- W2548589638 type Work @default.
- W2548589638 sameAs 2548589638 @default.
- W2548589638 citedByCount "5" @default.
- W2548589638 countsByYear W25485896382017 @default.
- W2548589638 countsByYear W25485896382020 @default.
- W2548589638 countsByYear W25485896382023 @default.
- W2548589638 crossrefType "book-chapter" @default.
- W2548589638 hasAuthorship W2548589638A5000628500 @default.
- W2548589638 hasAuthorship W2548589638A5034672297 @default.
- W2548589638 hasAuthorship W2548589638A5052577422 @default.
- W2548589638 hasAuthorship W2548589638A5089450474 @default.
- W2548589638 hasConcept C41008148 @default.
- W2548589638 hasConceptScore W2548589638C41008148 @default.
- W2548589638 hasLocation W25485896381 @default.
- W2548589638 hasOpenAccess W2548589638 @default.
- W2548589638 hasPrimaryLocation W25485896381 @default.
- W2548589638 hasRelatedWork W2093578348 @default.
- W2548589638 hasRelatedWork W2350741829 @default.
- W2548589638 hasRelatedWork W2358668433 @default.
- W2548589638 hasRelatedWork W2376932109 @default.
- W2548589638 hasRelatedWork W2382290278 @default.
- W2548589638 hasRelatedWork W2390279801 @default.
- W2548589638 hasRelatedWork W2748952813 @default.
- W2548589638 hasRelatedWork W2766271392 @default.
- W2548589638 hasRelatedWork W2899084033 @default.
- W2548589638 hasRelatedWork W3004735627 @default.
- W2548589638 isParatext "false" @default.
- W2548589638 isRetracted "false" @default.
- W2548589638 magId "2548589638" @default.
- W2548589638 workType "book-chapter" @default.