Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949695712> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2949695712 abstract "Disjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP. Identifying classes of programs for which the consistency problem is in NP is of interest from the theoretical standpoint and can potentially lead to improvements in the design of answer set programming solvers. One of such classes consists of dual-normal programs, where the number of positive body atoms in proper rules is at most one. Unlike other classes of programs, dual-normal programs have received little attention so far. In this paper we study this class. We relate dual-normal programs to propositional theories and to normal programs by presenting several inter-translations. With the translation from dual-normal to normal programs at hand, we introduce the novel class of body-cycle free programs, which are in many respects dual to head-cycle free programs. We establish the expressive power of dual-normal programs in terms of SE- and UE-models, and compare them to normal programs. We also discuss the complexity of deciding whether dual-normal programs are strongly and uniformly equivalent." @default.
- W2949695712 created "2019-06-27" @default.
- W2949695712 creator A5079794036 @default.
- W2949695712 creator A5089442472 @default.
- W2949695712 creator A5006053030 @default.
- W2949695712 date "2015-07-20" @default.
- W2949695712 modified "2023-09-27" @default.
- W2949695712 title "Dual-normal Logic Programs - the Forgotten Class" @default.
- W2949695712 cites W1498722751 @default.
- W2949695712 cites W1567252621 @default.
- W2949695712 cites W1586133382 @default.
- W2949695712 cites W1602726442 @default.
- W2949695712 cites W1971626643 @default.
- W2949695712 cites W1985274317 @default.
- W2949695712 cites W2011992362 @default.
- W2949695712 cites W2050842068 @default.
- W2949695712 cites W2056850725 @default.
- W2949695712 cites W2085084839 @default.
- W2949695712 cites W2087432892 @default.
- W2949695712 cites W2114568665 @default.
- W2949695712 cites W2953129498 @default.
- W2949695712 cites W3100069569 @default.
- W2949695712 cites W2071784417 @default.
- W2949695712 hasPublicationYear "2015" @default.
- W2949695712 type Work @default.
- W2949695712 sameAs 2949695712 @default.
- W2949695712 citedByCount "0" @default.
- W2949695712 crossrefType "posted-content" @default.
- W2949695712 hasAuthorship W2949695712A5006053030 @default.
- W2949695712 hasAuthorship W2949695712A5079794036 @default.
- W2949695712 hasAuthorship W2949695712A5089442472 @default.
- W2949695712 hasConcept C124952713 @default.
- W2949695712 hasConcept C127001435 @default.
- W2949695712 hasConcept C128838566 @default.
- W2949695712 hasConcept C142362112 @default.
- W2949695712 hasConcept C154945302 @default.
- W2949695712 hasConcept C156325763 @default.
- W2949695712 hasConcept C177264268 @default.
- W2949695712 hasConcept C182620335 @default.
- W2949695712 hasConcept C184337299 @default.
- W2949695712 hasConcept C199360897 @default.
- W2949695712 hasConcept C2776436953 @default.
- W2949695712 hasConcept C2777212361 @default.
- W2949695712 hasConcept C2780980858 @default.
- W2949695712 hasConcept C2987117450 @default.
- W2949695712 hasConcept C41008148 @default.
- W2949695712 hasConcept C80444323 @default.
- W2949695712 hasConceptScore W2949695712C124952713 @default.
- W2949695712 hasConceptScore W2949695712C127001435 @default.
- W2949695712 hasConceptScore W2949695712C128838566 @default.
- W2949695712 hasConceptScore W2949695712C142362112 @default.
- W2949695712 hasConceptScore W2949695712C154945302 @default.
- W2949695712 hasConceptScore W2949695712C156325763 @default.
- W2949695712 hasConceptScore W2949695712C177264268 @default.
- W2949695712 hasConceptScore W2949695712C182620335 @default.
- W2949695712 hasConceptScore W2949695712C184337299 @default.
- W2949695712 hasConceptScore W2949695712C199360897 @default.
- W2949695712 hasConceptScore W2949695712C2776436953 @default.
- W2949695712 hasConceptScore W2949695712C2777212361 @default.
- W2949695712 hasConceptScore W2949695712C2780980858 @default.
- W2949695712 hasConceptScore W2949695712C2987117450 @default.
- W2949695712 hasConceptScore W2949695712C41008148 @default.
- W2949695712 hasConceptScore W2949695712C80444323 @default.
- W2949695712 hasLocation W29496957121 @default.
- W2949695712 hasOpenAccess W2949695712 @default.
- W2949695712 hasPrimaryLocation W29496957121 @default.
- W2949695712 hasRelatedWork W105928333 @default.
- W2949695712 hasRelatedWork W1530626736 @default.
- W2949695712 hasRelatedWork W1548232718 @default.
- W2949695712 hasRelatedWork W1596251829 @default.
- W2949695712 hasRelatedWork W1676151111 @default.
- W2949695712 hasRelatedWork W1827200617 @default.
- W2949695712 hasRelatedWork W2009445375 @default.
- W2949695712 hasRelatedWork W2108302619 @default.
- W2949695712 hasRelatedWork W2124627636 @default.
- W2949695712 hasRelatedWork W2143390572 @default.
- W2949695712 hasRelatedWork W2157334516 @default.
- W2949695712 hasRelatedWork W2193726304 @default.
- W2949695712 hasRelatedWork W2205543788 @default.
- W2949695712 hasRelatedWork W2726633552 @default.
- W2949695712 hasRelatedWork W2727361336 @default.
- W2949695712 hasRelatedWork W2805845253 @default.
- W2949695712 hasRelatedWork W3036407780 @default.
- W2949695712 hasRelatedWork W3102747178 @default.
- W2949695712 hasRelatedWork W3214340885 @default.
- W2949695712 hasRelatedWork W96131029 @default.
- W2949695712 isParatext "false" @default.
- W2949695712 isRetracted "false" @default.
- W2949695712 magId "2949695712" @default.
- W2949695712 workType "article" @default.