scientific article; zbMATH DE number 194080

MaRDI QIDQ4040872zbMATH OpenFDO

Authors Nils J. Nilsson

Publication date 5 June 1993

zbMATH Keywords

backtracking resolutiongraph and tree search strategiesheuristic methodslogic programmingprogram synthesisreasoning

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in artificial intelligence (68T01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(4)

• scientific article; zbMATH DE number 42120 (Why is no real title available?)
• scientific article; zbMATH DE number 44848 (Why is no real title available?)
• scientific article; zbMATH DE number 4128354 (Why is no real title available?)
• Analytic formulation of the principle of increasing precision with decreasing intelligence for intelligent machines

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