Hypothesis finding with proof theoretical appropriateness criteria

DOI10.1016/j.tcs.2005.10.020zbMath1086.68112OpenAlexW1990145222MaRDI QIDQ817840

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

inductive logicrelevance logicconnection methodabduction and knowledge discoveryhypothesis findingresidue hypotheses

Mathematics Subject Classification ID

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

Cites Work

• Inductive inference of monotonic formal systems from positive data
• Linear resolution for consequence finding
• A study of relevance for learning in deductive databases
• Abductive Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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