scientific article; zbMATH DE number 3982558

zbMATH Open0607.68074MaRDI QIDQ3746923FDOQ3746923

Authors: Bernard Silver 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3856398
• scientific article; zbMATH DE number 44848
• scientific article; zbMATH DE number 1737186
• A connectionist approach for learning search-control heuristics for automated deduction systems (Thesis, TU München, 1997)
• Automatic acquisition of search control knowledge from multiple proof attempts.

zbMATH Keywords

learningequation-solvingsearch spaceprecondition analysis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Symbolic computation and algebraic computation (68W30)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A man-machine interface for computer-aided design and simulation of control systems

Uses Software

• MACSYMA

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3746923)