FRINK Linked Data Fragments server

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

• W2280204087 endingPage "235" @default.
• W2280204087 startingPage "226" @default.
• W2280204087 abstract "Answer set programming (ASP) is a powerful formalism for knowledge representation and common sense reasoning that allows disjunction in rule heads and nonmonotonic negation in bodies. Magic Sets are a technique for optimizing query answering over logic programs and have been originally defined for standard Datalog, that is, ASP without disjunction and negation. Essentially, the input program is rewritten in order to identify a subset of the program instantiation which is sufficient for answering the query.Dynamic Magic Sets (DMS) are an extension of this technique to ASP. The optimization provided by DMS can be exploited also during the nondeterministic phase of ASP systems. In particular, after some assumptions have been made during the computation, parts of the program may become irrelevant to a query (because of these assumptions). This allows for dynamic pruning of the search space, which may result in exponential performance gains.DMS has been implemented in the dlv system and experimental results confirm the effectiveness of the technique." @default.
• W2280204087 created "2016-06-24" @default.
• W2280204087 creator A5039882261 @default.
• W2280204087 date "2010-01-01" @default.
• W2280204087 modified "2023-09-23" @default.
• W2280204087 title "DYNAMIC MAGIC SETS FOR DISJUNCTIVE DATALOG PROGRAMS" @default.
• W2280204087 cites W1606891084 @default.
• W2280204087 cites W1820259543 @default.
• W2280204087 cites W1978108034 @default.
• W2280204087 cites W2003031781 @default.
• W2280204087 cites W2036241121 @default.
• W2280204087 cites W2115282751 @default.
• W2280204087 cites W85014365 @default.
• W2280204087 doi "https://doi.org/10.4230/lipics.iclp.2010.226" @default.
• W2280204087 hasPublicationYear "2010" @default.
• W2280204087 type Work @default.
• W2280204087 sameAs 2280204087 @default.
• W2280204087 citedByCount "0" @default.
• W2280204087 crossrefType "proceedings-article" @default.
• W2280204087 hasAuthorship W2280204087A5039882261 @default.
• W2280204087 hasConcept C108010975 @default.
• W2280204087 hasConcept C11413529 @default.
• W2280204087 hasConcept C118615104 @default.
• W2280204087 hasConcept C118930307 @default.
• W2280204087 hasConcept C121332964 @default.
• W2280204087 hasConcept C128838566 @default.
• W2280204087 hasConcept C142362112 @default.
• W2280204087 hasConcept C148230440 @default.
• W2280204087 hasConcept C153349607 @default.
• W2280204087 hasConcept C171018156 @default.
• W2280204087 hasConcept C176181172 @default.
• W2280204087 hasConcept C182620335 @default.
• W2280204087 hasConcept C199360897 @default.
• W2280204087 hasConcept C2185349 @default.
• W2280204087 hasConcept C2524010 @default.
• W2280204087 hasConcept C2777502361 @default.
• W2280204087 hasConcept C2777704519 @default.
• W2280204087 hasConcept C33923547 @default.
• W2280204087 hasConcept C41008148 @default.
• W2280204087 hasConcept C45374587 @default.
• W2280204087 hasConcept C558565934 @default.
• W2280204087 hasConcept C62520636 @default.
• W2280204087 hasConcept C6557445 @default.
• W2280204087 hasConcept C73301696 @default.
• W2280204087 hasConcept C80444323 @default.
• W2280204087 hasConcept C86803240 @default.
• W2280204087 hasConceptScore W2280204087C108010975 @default.
• W2280204087 hasConceptScore W2280204087C11413529 @default.
• W2280204087 hasConceptScore W2280204087C118615104 @default.
• W2280204087 hasConceptScore W2280204087C118930307 @default.
• W2280204087 hasConceptScore W2280204087C121332964 @default.
• W2280204087 hasConceptScore W2280204087C128838566 @default.
• W2280204087 hasConceptScore W2280204087C142362112 @default.
• W2280204087 hasConceptScore W2280204087C148230440 @default.
• W2280204087 hasConceptScore W2280204087C153349607 @default.
• W2280204087 hasConceptScore W2280204087C171018156 @default.
• W2280204087 hasConceptScore W2280204087C176181172 @default.
• W2280204087 hasConceptScore W2280204087C182620335 @default.
• W2280204087 hasConceptScore W2280204087C199360897 @default.
• W2280204087 hasConceptScore W2280204087C2185349 @default.
• W2280204087 hasConceptScore W2280204087C2524010 @default.
• W2280204087 hasConceptScore W2280204087C2777502361 @default.
• W2280204087 hasConceptScore W2280204087C2777704519 @default.
• W2280204087 hasConceptScore W2280204087C33923547 @default.
• W2280204087 hasConceptScore W2280204087C41008148 @default.
• W2280204087 hasConceptScore W2280204087C45374587 @default.
• W2280204087 hasConceptScore W2280204087C558565934 @default.
• W2280204087 hasConceptScore W2280204087C62520636 @default.
• W2280204087 hasConceptScore W2280204087C6557445 @default.
• W2280204087 hasConceptScore W2280204087C73301696 @default.
• W2280204087 hasConceptScore W2280204087C80444323 @default.
• W2280204087 hasConceptScore W2280204087C86803240 @default.
• W2280204087 hasLocation W22802040871 @default.
• W2280204087 hasOpenAccess W2280204087 @default.
• W2280204087 hasPrimaryLocation W22802040871 @default.
• W2280204087 hasRelatedWork W111738586 @default.
• W2280204087 hasRelatedWork W1499277620 @default.
• W2280204087 hasRelatedWork W1519042757 @default.
• W2280204087 hasRelatedWork W1546133793 @default.
• W2280204087 hasRelatedWork W1590284853 @default.
• W2280204087 hasRelatedWork W1597208181 @default.
• W2280204087 hasRelatedWork W1924767599 @default.
• W2280204087 hasRelatedWork W2012615291 @default.
• W2280204087 hasRelatedWork W2070598037 @default.
• W2280204087 hasRelatedWork W2074715013 @default.
• W2280204087 hasRelatedWork W2081819218 @default.
• W2280204087 hasRelatedWork W2142386424 @default.
• W2280204087 hasRelatedWork W2256453998 @default.
• W2280204087 hasRelatedWork W2542094517 @default.
• W2280204087 hasRelatedWork W26430177 @default.
• W2280204087 hasRelatedWork W2788784719 @default.
• W2280204087 hasRelatedWork W2951636042 @default.
• W2280204087 hasRelatedWork W2985283311 @default.
• W2280204087 hasRelatedWork W3048361371 @default.
• W2280204087 hasRelatedWork W3113299056 @default.
• W2280204087 isParatext "false" @default.
• W2280204087 isRetracted "false" @default.
• W2280204087 magId "2280204087" @default.

• next