Incorporating hypothetical knowledge into the process of inductive synthesis

DOI10.1007/3-540-61863-5_43MaRDI QIDQ3556990zbMATH OpenOpenAlexFDO

Authors Ugis Sarkans, Ja. M. Barzdin'

Publication date 27 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61863-5_43

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Recommendations

• Synthesizing inductive expertise
• Inductive synthesis of models from facts
• Conjecture synthesis for inductive theories
• A theory of formal synthesis via inductive learning
• Incorporating top-down information into bottom-up hypothetical reasoning
• scientific article; zbMATH DE number 1884388
• Inductive construction of a knowledge base for expert systems
• scientific article; zbMATH DE number 56474
• Towards refinement of abductive or inductive hypotheses through propagation
• scientific article; zbMATH DE number 4776

Cited in

(4)

• Synthesizing inductive expertise
• Hypothetical reasoning and brainware
• Inductive synthesis of models from facts
• scientific article; zbMATH DE number 408773 (Why is no real title available?)

This page was built for publication: Incorporating hypothetical knowledge into the process of inductive synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3556990)