Matches in SemOpenAlex for { <https://semopenalex.org/work/W1564159754> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1564159754 endingPage "185" @default.
- W1564159754 startingPage "180" @default.
- W1564159754 abstract "We present a connectionist inference system for Horn logic. The system is based on a unification algorithm for first-order terms and uses Bibel’s connection method. It is restricted in that only one instance of each clause may be used in a proof. But there are no restrictions concerning function symbols or the occurrence of variables. In particular, the inference system handles n-ary function and predicate symbols and multiple occurrences of variables even if these variables are not introduced in the conclusion of a rule. The deductive system has more expressive power than the connectionist high-level inference systems we are aware of. This is elaborated by showing how certain additional restrictions imposed on our system lead to the known inference systems. These additional restrictions are ultimately linked to the way how the variable binding problem is solved." @default.
- W1564159754 created "2016-06-24" @default.
- W1564159754 creator A5015257932 @default.
- W1564159754 date "1990-01-01" @default.
- W1564159754 modified "2023-09-27" @default.
- W1564159754 title "On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks" @default.
- W1564159754 cites W1495396426 @default.
- W1564159754 cites W1982801224 @default.
- W1564159754 cites W2045466646 @default.
- W1564159754 cites W2054227792 @default.
- W1564159754 cites W2074393239 @default.
- W1564159754 cites W2118373646 @default.
- W1564159754 cites W2122988375 @default.
- W1564159754 cites W2165957955 @default.
- W1564159754 cites W2335981722 @default.
- W1564159754 doi "https://doi.org/10.1007/978-3-642-76070-9_19" @default.
- W1564159754 hasPublicationYear "1990" @default.
- W1564159754 type Work @default.
- W1564159754 sameAs 1564159754 @default.
- W1564159754 citedByCount "2" @default.
- W1564159754 crossrefType "book-chapter" @default.
- W1564159754 hasAuthorship W1564159754A5015257932 @default.
- W1564159754 hasConcept C102993220 @default.
- W1564159754 hasConcept C11413529 @default.
- W1564159754 hasConcept C134306372 @default.
- W1564159754 hasConcept C140146324 @default.
- W1564159754 hasConcept C154945302 @default.
- W1564159754 hasConcept C169272836 @default.
- W1564159754 hasConcept C182365436 @default.
- W1564159754 hasConcept C19689857 @default.
- W1564159754 hasConcept C199360897 @default.
- W1564159754 hasConcept C2776214188 @default.
- W1564159754 hasConcept C33923547 @default.
- W1564159754 hasConcept C3746660 @default.
- W1564159754 hasConcept C41008148 @default.
- W1564159754 hasConcept C50644808 @default.
- W1564159754 hasConcept C80444323 @default.
- W1564159754 hasConcept C81721847 @default.
- W1564159754 hasConcept C8521452 @default.
- W1564159754 hasConcept C96146094 @default.
- W1564159754 hasConceptScore W1564159754C102993220 @default.
- W1564159754 hasConceptScore W1564159754C11413529 @default.
- W1564159754 hasConceptScore W1564159754C134306372 @default.
- W1564159754 hasConceptScore W1564159754C140146324 @default.
- W1564159754 hasConceptScore W1564159754C154945302 @default.
- W1564159754 hasConceptScore W1564159754C169272836 @default.
- W1564159754 hasConceptScore W1564159754C182365436 @default.
- W1564159754 hasConceptScore W1564159754C19689857 @default.
- W1564159754 hasConceptScore W1564159754C199360897 @default.
- W1564159754 hasConceptScore W1564159754C2776214188 @default.
- W1564159754 hasConceptScore W1564159754C33923547 @default.
- W1564159754 hasConceptScore W1564159754C3746660 @default.
- W1564159754 hasConceptScore W1564159754C41008148 @default.
- W1564159754 hasConceptScore W1564159754C50644808 @default.
- W1564159754 hasConceptScore W1564159754C80444323 @default.
- W1564159754 hasConceptScore W1564159754C81721847 @default.
- W1564159754 hasConceptScore W1564159754C8521452 @default.
- W1564159754 hasConceptScore W1564159754C96146094 @default.
- W1564159754 hasLocation W15641597541 @default.
- W1564159754 hasOpenAccess W1564159754 @default.
- W1564159754 hasPrimaryLocation W15641597541 @default.
- W1564159754 hasRelatedWork W127052848 @default.
- W1564159754 hasRelatedWork W130588948 @default.
- W1564159754 hasRelatedWork W1486223792 @default.
- W1564159754 hasRelatedWork W1508664008 @default.
- W1564159754 hasRelatedWork W1528163510 @default.
- W1564159754 hasRelatedWork W1591091340 @default.
- W1564159754 hasRelatedWork W1762668282 @default.
- W1564159754 hasRelatedWork W1976781356 @default.
- W1564159754 hasRelatedWork W2001006721 @default.
- W1564159754 hasRelatedWork W2010009487 @default.
- W1564159754 hasRelatedWork W2012872194 @default.
- W1564159754 hasRelatedWork W2025871249 @default.
- W1564159754 hasRelatedWork W2028890835 @default.
- W1564159754 hasRelatedWork W2037474536 @default.
- W1564159754 hasRelatedWork W2096524783 @default.
- W1564159754 hasRelatedWork W2101085206 @default.
- W1564159754 hasRelatedWork W2141007910 @default.
- W1564159754 hasRelatedWork W2163468719 @default.
- W1564159754 hasRelatedWork W2974052153 @default.
- W1564159754 hasRelatedWork W922315164 @default.
- W1564159754 isParatext "false" @default.
- W1564159754 isRetracted "false" @default.
- W1564159754 magId "1564159754" @default.
- W1564159754 workType "book-chapter" @default.