Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300142848> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4300142848 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. This paper is under consideration for acceptance into TPLP." @default.
- W4300142848 created "2022-10-03" @default.
- W4300142848 creator A5004187658 @default.
- W4300142848 creator A5050387054 @default.
- W4300142848 creator A5006053030 @default.
- W4300142848 date "2016-08-05" @default.
- W4300142848 modified "2023-09-23" @default.
- W4300142848 title "The Power of Non-Ground Rules in Answer Set Programming" @default.
- W4300142848 doi "https://doi.org/10.48550/arxiv.1608.01856" @default.
- W4300142848 hasPublicationYear "2016" @default.
- W4300142848 type Work @default.
- W4300142848 citedByCount "0" @default.
- W4300142848 crossrefType "posted-content" @default.
- W4300142848 hasAuthorship W4300142848A5004187658 @default.
- W4300142848 hasAuthorship W4300142848A5006053030 @default.
- W4300142848 hasAuthorship W4300142848A5050387054 @default.
- W4300142848 hasBestOaLocation W43001428481 @default.
- W4300142848 hasConcept C110546421 @default.
- W4300142848 hasConcept C11413529 @default.
- W4300142848 hasConcept C118615104 @default.
- W4300142848 hasConcept C128838566 @default.
- W4300142848 hasConcept C146206909 @default.
- W4300142848 hasConcept C154945302 @default.
- W4300142848 hasConcept C162324750 @default.
- W4300142848 hasConcept C165464430 @default.
- W4300142848 hasConcept C177264268 @default.
- W4300142848 hasConcept C182620335 @default.
- W4300142848 hasConcept C195818886 @default.
- W4300142848 hasConcept C199360897 @default.
- W4300142848 hasConcept C31170391 @default.
- W4300142848 hasConcept C33923547 @default.
- W4300142848 hasConcept C34165917 @default.
- W4300142848 hasConcept C34447519 @default.
- W4300142848 hasConcept C41008148 @default.
- W4300142848 hasConcept C50033165 @default.
- W4300142848 hasConcept C60048249 @default.
- W4300142848 hasConcept C79678938 @default.
- W4300142848 hasConcept C80444323 @default.
- W4300142848 hasConceptScore W4300142848C110546421 @default.
- W4300142848 hasConceptScore W4300142848C11413529 @default.
- W4300142848 hasConceptScore W4300142848C118615104 @default.
- W4300142848 hasConceptScore W4300142848C128838566 @default.
- W4300142848 hasConceptScore W4300142848C146206909 @default.
- W4300142848 hasConceptScore W4300142848C154945302 @default.
- W4300142848 hasConceptScore W4300142848C162324750 @default.
- W4300142848 hasConceptScore W4300142848C165464430 @default.
- W4300142848 hasConceptScore W4300142848C177264268 @default.
- W4300142848 hasConceptScore W4300142848C182620335 @default.
- W4300142848 hasConceptScore W4300142848C195818886 @default.
- W4300142848 hasConceptScore W4300142848C199360897 @default.
- W4300142848 hasConceptScore W4300142848C31170391 @default.
- W4300142848 hasConceptScore W4300142848C33923547 @default.
- W4300142848 hasConceptScore W4300142848C34165917 @default.
- W4300142848 hasConceptScore W4300142848C34447519 @default.
- W4300142848 hasConceptScore W4300142848C41008148 @default.
- W4300142848 hasConceptScore W4300142848C50033165 @default.
- W4300142848 hasConceptScore W4300142848C60048249 @default.
- W4300142848 hasConceptScore W4300142848C79678938 @default.
- W4300142848 hasConceptScore W4300142848C80444323 @default.
- W4300142848 hasLocation W43001428481 @default.
- W4300142848 hasOpenAccess W4300142848 @default.
- W4300142848 hasPrimaryLocation W43001428481 @default.
- W4300142848 hasRelatedWork W1542459781 @default.
- W4300142848 hasRelatedWork W2151540855 @default.
- W4300142848 hasRelatedWork W2157541508 @default.
- W4300142848 hasRelatedWork W2174399230 @default.
- W4300142848 hasRelatedWork W2230132651 @default.
- W4300142848 hasRelatedWork W2478163681 @default.
- W4300142848 hasRelatedWork W2542150411 @default.
- W4300142848 hasRelatedWork W2758245007 @default.
- W4300142848 hasRelatedWork W2964023786 @default.
- W4300142848 hasRelatedWork W2592609194 @default.
- W4300142848 isParatext "false" @default.
- W4300142848 isRetracted "false" @default.
- W4300142848 workType "article" @default.