Refining numerical constants in first order logic theories

DOI10.1023/A:1007686007399zbMath0960.68604OpenAlexW1484384496MaRDI QIDQ1572788

Marco Botta, Roberto Piola

Publication date: 6 August 2000

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1007686007399

zbMATH Keywords

knowledge baserefining numerical constants

Mathematics Subject Classification ID

Computational learning theory (68Q32)

This page was built for publication: Refining numerical constants in first order logic theories