Publication:4420756

zbMath1024.03021MaRDI QIDQ4420756

Akihiro Yamamoto, Bertram Fronhöfer

Publication date: 18 August 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2533/25330278.htm

Mathematics Subject Classification ID

68Q32: Computational learning theory

68T05: Learning and adaptive systems in artificial intelligence

03B48: Probability and inductive logic

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

Hypothesis finding with proof theoretical appropriateness criteria