scientific article; zbMATH DE number 194080

zbMATH Open0703.68080MaRDI QIDQ4040872FDOQ4040872

Authors: Nils J. Nilsson 

Publication date: 5 June 1993

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

Recommendations

• scientific article; zbMATH DE number 44848
• scientific article; zbMATH DE number 3976387
• scientific article; zbMATH DE number 4078751
• scientific article; zbMATH DE number 42120
• scientific article; zbMATH DE number 4128354

zbMATH Keywords

reasoninglogic programmingheuristic methodsprogram synthesisgraph and tree search strategiesbacktracking resolution

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)