Refining Numerical Constants in First Order Logic Theories
| Authored By: | Marco Botta and Roberto Piola |
| Paper Title: | Refining Numerical Constants in First Order Logic Theories |
| In: | Machine Learning |
| Number 1/2 Vol. 38 | |
| Publisher: | Kluwer Academic Publishers, Boston |
| Publication Date: | 2000 |
| Pages: | 109-131 |