Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082362287> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W3082362287 abstract "Structured predicates are defined by sets of non-Horn clauses satisfying certain constraints. These predicates form hierarchies. Resolution-based inference for structured predicates and its relationship with computability are analyzed. This paper introduces hierarchical resolution for knowledge bases of structured predicate definitions. The rules defining predicates outside of the hierarchies of the predicates of a goal can be eliminated from its derivations. Two classes of these definitions are identified for which hierarchical resolution is complete and coincides with SLD resolution, respectively." @default.
- W3082362287 created "2020-09-08" @default.
- W3082362287 creator A5091520054 @default.
- W3082362287 date "2020-09-02" @default.
- W3082362287 modified "2023-09-24" @default.
- W3082362287 title "Hierarchical Resolution For Structured Predicate Definitions" @default.
- W3082362287 cites W1480674898 @default.
- W3082362287 cites W1507112684 @default.
- W3082362287 cites W1573992413 @default.
- W3082362287 cites W1589528070 @default.
- W3082362287 cites W1601255741 @default.
- W3082362287 cites W1994082075 @default.
- W3082362287 cites W1997003985 @default.
- W3082362287 cites W1999823887 @default.
- W3082362287 cites W2001027846 @default.
- W3082362287 cites W2006396461 @default.
- W3082362287 cites W2027826324 @default.
- W3082362287 cites W2043182143 @default.
- W3082362287 cites W2054628190 @default.
- W3082362287 cites W2070977587 @default.
- W3082362287 cites W2076410236 @default.
- W3082362287 cites W2097911101 @default.
- W3082362287 cites W2110165633 @default.
- W3082362287 cites W2483513769 @default.
- W3082362287 cites W2911357639 @default.
- W3082362287 cites W4247585886 @default.
- W3082362287 doi "https://doi.org/10.1145/3411408.3411431" @default.
- W3082362287 hasPublicationYear "2020" @default.
- W3082362287 type Work @default.
- W3082362287 sameAs 3082362287 @default.
- W3082362287 citedByCount "2" @default.
- W3082362287 countsByYear W30823622872021 @default.
- W3082362287 crossrefType "proceedings-article" @default.
- W3082362287 hasAuthorship W3082362287A5091520054 @default.
- W3082362287 hasConcept C140146324 @default.
- W3082362287 hasConcept C199360897 @default.
- W3082362287 hasConcept C41008148 @default.
- W3082362287 hasConceptScore W3082362287C140146324 @default.
- W3082362287 hasConceptScore W3082362287C199360897 @default.
- W3082362287 hasConceptScore W3082362287C41008148 @default.
- W3082362287 hasLocation W30823622871 @default.
- W3082362287 hasOpenAccess W3082362287 @default.
- W3082362287 hasPrimaryLocation W30823622871 @default.
- W3082362287 hasRelatedWork W1560394971 @default.
- W3082362287 hasRelatedWork W1569205326 @default.
- W3082362287 hasRelatedWork W2241339203 @default.
- W3082362287 hasRelatedWork W2372230021 @default.
- W3082362287 hasRelatedWork W2375271469 @default.
- W3082362287 hasRelatedWork W2389101760 @default.
- W3082362287 hasRelatedWork W2439508004 @default.
- W3082362287 hasRelatedWork W2809300884 @default.
- W3082362287 hasRelatedWork W52343657 @default.
- W3082362287 hasRelatedWork W2611182424 @default.
- W3082362287 isParatext "false" @default.
- W3082362287 isRetracted "false" @default.
- W3082362287 magId "3082362287" @default.
- W3082362287 workType "article" @default.