Hypothesis finding with proof theoretical appropriateness criteria

DOI10.1016/J.TCS.2005.10.020MaRDI QIDQ817840zbMATH OpenOpenAlexFDO

Authors Bertram Fronhöfer, Akihiro Yamamoto

Publication date 20 March 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.10.020

zbMATH Keywords

relevance logicinductive logicconnection methodabduction and knowledge discoveryhypothesis findingresidue hypotheses

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in artificial intelligence (68T27)

Recommendations

• Hypothesis finding based on upward refinement of residue hypotheses.
• scientific article; zbMATH DE number 2080447
• scientific article; zbMATH DE number 1966623
• scientific article; zbMATH DE number 2086334
• Анализ vs дедукция

Cites work

• scientific article; zbMATH DE number 49746 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1104356 (Why is no real title available?)
• scientific article; zbMATH DE number 1966623 (Why is no real title available?)
• scientific article; zbMATH DE number 2080447 (Why is no real title available?)
• scientific article; zbMATH DE number 1543301 (Why is no real title available?)
• scientific article; zbMATH DE number 1759254 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)
• A study of relevance for learning in deductive databases
• Abductive Logic Programming
• Inductive inference of monotonic formal systems from positive data
• Linear resolution for consequence finding

Cited in

(5)

• scientific article; zbMATH DE number 1966623 (Why is no real title available?)
• scientific article; zbMATH DE number 2080447 (Why is no real title available?)
• scientific article; zbMATH DE number 1149885 (Why is no real title available?)
• Hypothesis finding based on upward refinement of residue hypotheses.
• scientific article; zbMATH DE number 2086334 (Why is no real title available?)

This page was built for publication: Hypothesis finding with proof theoretical appropriateness criteria

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