FRINK Linked Data Fragments server

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

• W2964023786 endingPage "569" @default.
• W2964023786 startingPage "552" @default.
• W2964023786 abstract "Abstract Answer set programming (ASP) is a well-established logic programming language that offers an intuitive, declarative syntax for problem solving. In its traditional application, a fixed ASP program for a given problem is designed and the actual instance of the problem is fed into the program as a set of facts. This approach typically results in programs with comparably short and simple rules. However, as is known from complexity analysis, such an approach limits the expressive power of ASP; in fact, an entire NP-check can be encoded into a single large rule body of bounded arity that performs both a guess and a check within the same rule. Here, we propose a novel paradigm for encoding hard problems in ASP by making explicit use of large rules which depend on the actual instance of the problem. We illustrate how this new encoding paradigm can be used, providing examples of problems from the first, second, and even third level of the polynomial hierarchy. As state-of-the-art solvers are tuned towards short rules, rule decomposition is a key technique in the practical realization of our approach. We also provide some preliminary benchmarks which indicate that giving up the convenient way of specifying a fixed program can lead to a significant speed-up." @default.
• W2964023786 created "2019-07-30" @default.
• W2964023786 creator A5004187658 @default.
• W2964023786 creator A5050387054 @default.
• W2964023786 creator A5006053030 @default.
• W2964023786 date "2016-09-01" @default.
• W2964023786 modified "2023-10-18" @default.
• W2964023786 title "The power of non-ground rules in Answer Set Programming" @default.
• W2964023786 cites W1554763210 @default.
• W2964023786 cites W1639901403 @default.
• W2964023786 cites W165019675 @default.
• W2964023786 cites W1804601140 @default.
• W2964023786 cites W1969965298 @default.
• W2964023786 cites W1979514837 @default.
• W2964023786 cites W2039887949 @default.
• W2964023786 cites W2049791401 @default.
• W2964023786 cites W2056850725 @default.
• W2964023786 cites W2059372025 @default.
• W2964023786 cites W2065023965 @default.
• W2964023786 cites W2073845305 @default.
• W2964023786 cites W2085550081 @default.
• W2964023786 cites W2087432892 @default.
• W2964023786 cites W2088175080 @default.
• W2964023786 cites W2091138122 @default.
• W2964023786 cites W2121444716 @default.
• W2964023786 cites W2157334516 @default.
• W2964023786 cites W2169808787 @default.
• W2964023786 cites W2294843272 @default.
• W2964023786 cites W4211177236 @default.
• W2964023786 doi "https://doi.org/10.1017/s1471068416000338" @default.
• W2964023786 hasPublicationYear "2016" @default.
• W2964023786 type Work @default.
• W2964023786 sameAs 2964023786 @default.
• W2964023786 citedByCount "10" @default.
• W2964023786 countsByYear W29640237862016 @default.
• W2964023786 countsByYear W29640237862017 @default.
• W2964023786 countsByYear W29640237862018 @default.
• W2964023786 countsByYear W29640237862019 @default.
• W2964023786 countsByYear W29640237862020 @default.
• W2964023786 countsByYear W29640237862021 @default.
• W2964023786 crossrefType "journal-article" @default.
• W2964023786 hasAuthorship W2964023786A5004187658 @default.
• W2964023786 hasAuthorship W2964023786A5006053030 @default.
• W2964023786 hasAuthorship W2964023786A5050387054 @default.
• W2964023786 hasBestOaLocation W29640237862 @default.
• W2964023786 hasConcept C110546421 @default.
• W2964023786 hasConcept C11413529 @default.
• W2964023786 hasConcept C118615104 @default.
• W2964023786 hasConcept C128838566 @default.
• W2964023786 hasConcept C146206909 @default.
• W2964023786 hasConcept C154945302 @default.
• W2964023786 hasConcept C162324750 @default.
• W2964023786 hasConcept C165464430 @default.
• W2964023786 hasConcept C177264268 @default.
• W2964023786 hasConcept C182620335 @default.
• W2964023786 hasConcept C195818886 @default.
• W2964023786 hasConcept C199360897 @default.
• W2964023786 hasConcept C31170391 @default.
• W2964023786 hasConcept C33923547 @default.
• W2964023786 hasConcept C34165917 @default.
• W2964023786 hasConcept C34447519 @default.
• W2964023786 hasConcept C41008148 @default.
• W2964023786 hasConcept C50033165 @default.
• W2964023786 hasConcept C60048249 @default.
• W2964023786 hasConcept C80444323 @default.
• W2964023786 hasConceptScore W2964023786C110546421 @default.
• W2964023786 hasConceptScore W2964023786C11413529 @default.
• W2964023786 hasConceptScore W2964023786C118615104 @default.
• W2964023786 hasConceptScore W2964023786C128838566 @default.
• W2964023786 hasConceptScore W2964023786C146206909 @default.
• W2964023786 hasConceptScore W2964023786C154945302 @default.
• W2964023786 hasConceptScore W2964023786C162324750 @default.
• W2964023786 hasConceptScore W2964023786C165464430 @default.
• W2964023786 hasConceptScore W2964023786C177264268 @default.
• W2964023786 hasConceptScore W2964023786C182620335 @default.
• W2964023786 hasConceptScore W2964023786C195818886 @default.
• W2964023786 hasConceptScore W2964023786C199360897 @default.
• W2964023786 hasConceptScore W2964023786C31170391 @default.
• W2964023786 hasConceptScore W2964023786C33923547 @default.
• W2964023786 hasConceptScore W2964023786C34165917 @default.
• W2964023786 hasConceptScore W2964023786C34447519 @default.
• W2964023786 hasConceptScore W2964023786C41008148 @default.
• W2964023786 hasConceptScore W2964023786C50033165 @default.
• W2964023786 hasConceptScore W2964023786C60048249 @default.
• W2964023786 hasConceptScore W2964023786C80444323 @default.
• W2964023786 hasIssue "5-6" @default.
• W2964023786 hasLocation W29640237861 @default.
• W2964023786 hasLocation W29640237862 @default.
• W2964023786 hasOpenAccess W2964023786 @default.
• W2964023786 hasPrimaryLocation W29640237861 @default.
• W2964023786 hasRelatedWork W1548535723 @default.
• W2964023786 hasRelatedWork W2085946842 @default.
• W2964023786 hasRelatedWork W2157541508 @default.
• W2964023786 hasRelatedWork W2174399230 @default.
• W2964023786 hasRelatedWork W2478163681 @default.
• W2964023786 hasRelatedWork W2758245007 @default.
• W2964023786 hasRelatedWork W2962849695 @default.
• W2964023786 hasRelatedWork W2964023786 @default.

• next