Matches in SemOpenAlex for { <https://semopenalex.org/work/W631112556> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W631112556 endingPage "107" @default.
- W631112556 startingPage "97" @default.
- W631112556 abstract "In this paper,we deal with the problem of verifying local stratifiability of logic programs and databases presented by Przymusinski.Necessary and sufficient condition for the local stratifiability of logic programs are presented and algorithms of performing the verification are developed.Finally,we prove that a database D B containing clauses with disjunctive consequents can be easily converted into a logic program P such that D B is locally statified iff P is locally stratified." @default.
- W631112556 created "2016-06-24" @default.
- W631112556 creator A5034916108 @default.
- W631112556 creator A5082253905 @default.
- W631112556 date "1993-01-01" @default.
- W631112556 modified "2023-09-28" @default.
- W631112556 title "On Local Stratifiability of Logic Prograns and Databases" @default.
- W631112556 hasPublicationYear "1993" @default.
- W631112556 type Work @default.
- W631112556 sameAs 631112556 @default.
- W631112556 citedByCount "0" @default.
- W631112556 crossrefType "journal-article" @default.
- W631112556 hasAuthorship W631112556A5034916108 @default.
- W631112556 hasAuthorship W631112556A5082253905 @default.
- W631112556 hasConcept C102993220 @default.
- W631112556 hasConcept C128838566 @default.
- W631112556 hasConcept C199360897 @default.
- W631112556 hasConcept C2987117450 @default.
- W631112556 hasConcept C41008148 @default.
- W631112556 hasConcept C77088390 @default.
- W631112556 hasConcept C80444323 @default.
- W631112556 hasConceptScore W631112556C102993220 @default.
- W631112556 hasConceptScore W631112556C128838566 @default.
- W631112556 hasConceptScore W631112556C199360897 @default.
- W631112556 hasConceptScore W631112556C2987117450 @default.
- W631112556 hasConceptScore W631112556C41008148 @default.
- W631112556 hasConceptScore W631112556C77088390 @default.
- W631112556 hasConceptScore W631112556C80444323 @default.
- W631112556 hasIssue "2" @default.
- W631112556 hasLocation W6311125561 @default.
- W631112556 hasOpenAccess W631112556 @default.
- W631112556 hasPrimaryLocation W6311125561 @default.
- W631112556 hasRelatedWork W1432665454 @default.
- W631112556 hasRelatedWork W1498119955 @default.
- W631112556 hasRelatedWork W1549147858 @default.
- W631112556 hasRelatedWork W1552203816 @default.
- W631112556 hasRelatedWork W1558009913 @default.
- W631112556 hasRelatedWork W1604951084 @default.
- W631112556 hasRelatedWork W1837047238 @default.
- W631112556 hasRelatedWork W1998912565 @default.
- W631112556 hasRelatedWork W2017795115 @default.
- W631112556 hasRelatedWork W2030847989 @default.
- W631112556 hasRelatedWork W204359457 @default.
- W631112556 hasRelatedWork W2164104198 @default.
- W631112556 hasRelatedWork W2522739959 @default.
- W631112556 hasRelatedWork W2576194653 @default.
- W631112556 hasRelatedWork W2769306164 @default.
- W631112556 hasRelatedWork W2978909621 @default.
- W631112556 hasRelatedWork W3033363633 @default.
- W631112556 hasRelatedWork W3100190719 @default.
- W631112556 hasRelatedWork W340612474 @default.
- W631112556 hasRelatedWork W2147518469 @default.
- W631112556 hasVolume "8" @default.
- W631112556 isParatext "false" @default.
- W631112556 isRetracted "false" @default.
- W631112556 magId "631112556" @default.
- W631112556 workType "article" @default.