scientific article; zbMATH DE number 3982558

MaRDI QIDQ3746923zbMATH OpenFDO

Authors Bernard Silver

Publication date 1986

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)

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.

Cited in

(3)

• scientific article; zbMATH DE number 3856398 (Why is no real title available?)
• scientific article; zbMATH DE number 4096803 (Why is no real title available?)
• A man-machine interface for computer-aided design and simulation of control systems

Describes a project that uses

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)