Matches in SemOpenAlex for { <https://semopenalex.org/work/W1535222957> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1535222957 abstract "Our previous extension of Gelfond and Lifs chitz's compiling circurnscriptive theories into logic programs sometimes allows to compute prioritized circumscription even if its axiom set contains clauses which violate syntactically the requirements of stratification. It is very effective since, for exam ple, under such a syntactical violation, it enables to compute a meeting scheduling problem which needs non-monotonic reasoning. However it is not applicable to a tree-structured inheritance system with exception due to multiple positive occurrences of an abnormal predicate which causes the violation of the required stratification. A translational method pro posed in this paper strengthens our previous extension so that it can overcome this difficulty. This method translates a query evaluation problem with respect to a given circumscription into that of its reduced circumscription where the problem of the multiple positive occurrences of a harmful predicate is reduced into the problem of its single occurrence to which our previous method is applicable. Its the oretical foundation is also given in this paper." @default.
- W1535222957 created "2016-06-24" @default.
- W1535222957 creator A5067130128 @default.
- W1535222957 creator A5076831092 @default.
- W1535222957 date "1996-01-01" @default.
- W1535222957 modified "2023-09-26" @default.
- W1535222957 title "Computing prioritized circumscription via compilation into stratified logic programs" @default.
- W1535222957 cites W1545359038 @default.
- W1535222957 cites W186252141 @default.
- W1535222957 cites W1965184317 @default.
- W1535222957 cites W1991718988 @default.
- W1535222957 cites W1998363560 @default.
- W1535222957 cites W2177779121 @default.
- W1535222957 cites W2913309218 @default.
- W1535222957 cites W73169011 @default.
- W1535222957 hasPublicationYear "1996" @default.
- W1535222957 type Work @default.
- W1535222957 sameAs 1535222957 @default.
- W1535222957 citedByCount "0" @default.
- W1535222957 crossrefType "journal-article" @default.
- W1535222957 hasAuthorship W1535222957A5067130128 @default.
- W1535222957 hasAuthorship W1535222957A5076831092 @default.
- W1535222957 hasConcept C100701293 @default.
- W1535222957 hasConcept C11413529 @default.
- W1535222957 hasConcept C140146324 @default.
- W1535222957 hasConcept C148230440 @default.
- W1535222957 hasConcept C159032336 @default.
- W1535222957 hasConcept C167729594 @default.
- W1535222957 hasConcept C192943249 @default.
- W1535222957 hasConcept C199360897 @default.
- W1535222957 hasConcept C2524010 @default.
- W1535222957 hasConcept C33923547 @default.
- W1535222957 hasConcept C3527866 @default.
- W1535222957 hasConcept C41008148 @default.
- W1535222957 hasConcept C59822182 @default.
- W1535222957 hasConcept C62360110 @default.
- W1535222957 hasConcept C80444323 @default.
- W1535222957 hasConcept C86803240 @default.
- W1535222957 hasConcept C88548481 @default.
- W1535222957 hasConceptScore W1535222957C100701293 @default.
- W1535222957 hasConceptScore W1535222957C11413529 @default.
- W1535222957 hasConceptScore W1535222957C140146324 @default.
- W1535222957 hasConceptScore W1535222957C148230440 @default.
- W1535222957 hasConceptScore W1535222957C159032336 @default.
- W1535222957 hasConceptScore W1535222957C167729594 @default.
- W1535222957 hasConceptScore W1535222957C192943249 @default.
- W1535222957 hasConceptScore W1535222957C199360897 @default.
- W1535222957 hasConceptScore W1535222957C2524010 @default.
- W1535222957 hasConceptScore W1535222957C33923547 @default.
- W1535222957 hasConceptScore W1535222957C3527866 @default.
- W1535222957 hasConceptScore W1535222957C41008148 @default.
- W1535222957 hasConceptScore W1535222957C59822182 @default.
- W1535222957 hasConceptScore W1535222957C62360110 @default.
- W1535222957 hasConceptScore W1535222957C80444323 @default.
- W1535222957 hasConceptScore W1535222957C86803240 @default.
- W1535222957 hasConceptScore W1535222957C88548481 @default.
- W1535222957 hasLocation W15352229571 @default.
- W1535222957 hasOpenAccess W1535222957 @default.
- W1535222957 hasPrimaryLocation W15352229571 @default.
- W1535222957 hasRelatedWork W105928333 @default.
- W1535222957 hasRelatedWork W1569794660 @default.
- W1535222957 hasRelatedWork W15926559 @default.
- W1535222957 hasRelatedWork W1827200617 @default.
- W1535222957 hasRelatedWork W1983128223 @default.
- W1535222957 hasRelatedWork W2093207498 @default.
- W1535222957 hasRelatedWork W2266576497 @default.
- W1535222957 hasRelatedWork W2321700612 @default.
- W1535222957 hasRelatedWork W2395389457 @default.
- W1535222957 hasRelatedWork W2396324108 @default.
- W1535222957 hasRelatedWork W2403829107 @default.
- W1535222957 hasRelatedWork W2548101708 @default.
- W1535222957 hasRelatedWork W2571793659 @default.
- W1535222957 hasRelatedWork W2805845253 @default.
- W1535222957 hasRelatedWork W2809249895 @default.
- W1535222957 hasRelatedWork W2951719376 @default.
- W1535222957 hasRelatedWork W2963164881 @default.
- W1535222957 hasRelatedWork W2963355213 @default.
- W1535222957 hasRelatedWork W2979544455 @default.
- W1535222957 hasRelatedWork W3106364110 @default.
- W1535222957 isParatext "false" @default.
- W1535222957 isRetracted "false" @default.
- W1535222957 magId "1535222957" @default.
- W1535222957 workType "article" @default.