scientific article; zbMATH DE number 4060778

MaRDI QIDQ3795290zbMATH OpenFDO

Authors Toramatsu Shintani

Publication date 1988

zbMATH Keywords

cooperative problem solvingefficiency of inferencesinference enginepartial evaluationProlog

Mathematics Subject Classification ID

Theory of operating systems (68N25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 970732
• scientific article; zbMATH DE number 3995047
• Evaluating inference algorithms for the Prolog factor language
• Speedup of logic programs by binarization and partial deduction
• Towards just-in-time partial evaluation of Prolog
• kProbLog: an algebraic Prolog for kernel programming
• scientific article; zbMATH DE number 53637
• Speeding up inferences using relevance reasoning: a formalism and algorithms

Cited in

(1)

• scientific article; zbMATH DE number 44616 (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 Q3795290)