scientific article; zbMATH DE number 4043307

MaRDI QIDQ3780495zbMATH OpenFDO

Authors Paulo A. S. Veloso

Publication date 1988

zbMATH Keywords

axiomsinterpretation of theoriesmodelproblem solvingspecificationtheory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Algorithmic theories of problems. A constructive and a non-constructive approach
• Analytical approach to problem solving
• A competence theory approach to problem solving method construction
• Problem-solving and theory structure in Mach
• scientific article; zbMATH DE number 827088

Cited in

(11)

• Another solution to the problem of theoretical terms
• Constructing specification morphisms
• Maximizing theory accuracy through selective reinterpretation
• Issues of methodology and normalization of problem posing and problem solving
• On the genetic method
• Problem-solving and theory structure in Mach
• scientific article; zbMATH DE number 139766 (Why is no real title available?)
• Inverse verification of problem-solving methods
• scientific article; zbMATH DE number 2009999 (Why is no real title available?)
• Analytical approach to problem solving
• scientific article; zbMATH DE number 3311705 (Why is no real title available?)

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 Q3780495)