Publication:5624682
From MaRDI portal
zbMath0219.68046MaRDI QIDQ5624682
Publication date: 1969
68T05: Learning and adaptive systems in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Generating rules with predicates, terms and variables from the pruned neural networks, Schema induction for logic program synthesis, Inductive reasoning on recursive equations, A modular order-sorted equational generalization algorithm, A Modular Equational Generalization Algorithm