Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401355009> ?p ?o ?g. }
- W2401355009 endingPage "3298" @default.
- W2401355009 startingPage "3292" @default.
- W2401355009 abstract "In this paper, we study the expressive power of first-order disjunctive logic programming (DLP) and normal logic programming (NLP) under the stable model semantics. We show that, unlike the propositional case, first-order DLP is strictly more expressive than NLP. This result still holds even if auxiliary predicates are allowed, assuming NP ≠ coNP. On the other side, we propose a partial translation from first-order DLP to NLP via unfolding and shifting, which suggests a sound yet incomplete approach to implement DLP via NLP solvers. We also identify some NLP definable subclasses, and conjecture to exactly capture NLP definability by unfolding and shifting." @default.
- W2401355009 created "2016-06-24" @default.
- W2401355009 creator A5066608665 @default.
- W2401355009 date "2015-07-25" @default.
- W2401355009 modified "2023-09-23" @default.
- W2401355009 title "First-order disjunctive logic programming vs normal logic programming" @default.
- W2401355009 cites W1507973825 @default.
- W2401355009 cites W1584248945 @default.
- W2401355009 cites W1586133382 @default.
- W2401355009 cites W1598137967 @default.
- W2401355009 cites W1606891084 @default.
- W2401355009 cites W1639901403 @default.
- W2401355009 cites W1672891595 @default.
- W2401355009 cites W1770842667 @default.
- W2401355009 cites W1969965298 @default.
- W2401355009 cites W2005957522 @default.
- W2401355009 cites W2014272228 @default.
- W2401355009 cites W2023141722 @default.
- W2401355009 cites W2030648384 @default.
- W2401355009 cites W2041259062 @default.
- W2401355009 cites W2043182143 @default.
- W2401355009 cites W2050890691 @default.
- W2401355009 cites W2065755686 @default.
- W2401355009 cites W2076698873 @default.
- W2401355009 cites W2109586917 @default.
- W2401355009 cites W2132012728 @default.
- W2401355009 cites W2134039900 @default.
- W2401355009 cites W2141407569 @default.
- W2401355009 cites W2152131859 @default.
- W2401355009 cites W2169055058 @default.
- W2401355009 cites W2172538317 @default.
- W2401355009 cites W2180387438 @default.
- W2401355009 cites W2211916015 @default.
- W2401355009 cites W2249048248 @default.
- W2401355009 cites W2295882966 @default.
- W2401355009 cites W2403737729 @default.
- W2401355009 cites W2404213164 @default.
- W2401355009 cites W2886271628 @default.
- W2401355009 cites W345637930 @default.
- W2401355009 cites W2071784417 @default.
- W2401355009 cites W2400988715 @default.
- W2401355009 hasPublicationYear "2015" @default.
- W2401355009 type Work @default.
- W2401355009 sameAs 2401355009 @default.
- W2401355009 citedByCount "2" @default.
- W2401355009 countsByYear W24013550092016 @default.
- W2401355009 countsByYear W24013550092018 @default.
- W2401355009 crossrefType "proceedings-article" @default.
- W2401355009 hasAuthorship W2401355009A5066608665 @default.
- W2401355009 hasConcept C10138342 @default.
- W2401355009 hasConcept C104317684 @default.
- W2401355009 hasConcept C105580179 @default.
- W2401355009 hasConcept C118615104 @default.
- W2401355009 hasConcept C127001435 @default.
- W2401355009 hasConcept C128838566 @default.
- W2401355009 hasConcept C149364088 @default.
- W2401355009 hasConcept C154945302 @default.
- W2401355009 hasConcept C156325763 @default.
- W2401355009 hasConcept C162324750 @default.
- W2401355009 hasConcept C182306322 @default.
- W2401355009 hasConcept C184337299 @default.
- W2401355009 hasConcept C185592680 @default.
- W2401355009 hasConcept C189790780 @default.
- W2401355009 hasConcept C195818886 @default.
- W2401355009 hasConcept C199360897 @default.
- W2401355009 hasConcept C204321447 @default.
- W2401355009 hasConcept C2780990831 @default.
- W2401355009 hasConcept C33923547 @default.
- W2401355009 hasConcept C41008148 @default.
- W2401355009 hasConcept C55493867 @default.
- W2401355009 hasConceptScore W2401355009C10138342 @default.
- W2401355009 hasConceptScore W2401355009C104317684 @default.
- W2401355009 hasConceptScore W2401355009C105580179 @default.
- W2401355009 hasConceptScore W2401355009C118615104 @default.
- W2401355009 hasConceptScore W2401355009C127001435 @default.
- W2401355009 hasConceptScore W2401355009C128838566 @default.
- W2401355009 hasConceptScore W2401355009C149364088 @default.
- W2401355009 hasConceptScore W2401355009C154945302 @default.
- W2401355009 hasConceptScore W2401355009C156325763 @default.
- W2401355009 hasConceptScore W2401355009C162324750 @default.
- W2401355009 hasConceptScore W2401355009C182306322 @default.
- W2401355009 hasConceptScore W2401355009C184337299 @default.
- W2401355009 hasConceptScore W2401355009C185592680 @default.
- W2401355009 hasConceptScore W2401355009C189790780 @default.
- W2401355009 hasConceptScore W2401355009C195818886 @default.
- W2401355009 hasConceptScore W2401355009C199360897 @default.
- W2401355009 hasConceptScore W2401355009C204321447 @default.
- W2401355009 hasConceptScore W2401355009C2780990831 @default.
- W2401355009 hasConceptScore W2401355009C33923547 @default.
- W2401355009 hasConceptScore W2401355009C41008148 @default.
- W2401355009 hasConceptScore W2401355009C55493867 @default.
- W2401355009 hasLocation W24013550091 @default.
- W2401355009 hasOpenAccess W2401355009 @default.
- W2401355009 hasPrimaryLocation W24013550091 @default.
- W2401355009 hasRelatedWork W1509216933 @default.
- W2401355009 hasRelatedWork W1551169644 @default.
- W2401355009 hasRelatedWork W1553364858 @default.
- W2401355009 hasRelatedWork W1567452831 @default.