ML Anthology

Refining Numerical Constants in First Order Logic Theories

Marco Botta, Roberto Piola
MLJ 2000 pp. 109-131
doi:10.1023/A:1007686007399 /mlj/2000/botta2000mlj-refining/
PDF MLJ Semantic Scholar

Cite

Text

Botta and Piola. "Refining Numerical Constants in First Order Logic Theories." Machine Learning, 2000. doi:10.1023/A:1007686007399

Markdown

[Botta and Piola. "Refining Numerical Constants in First Order Logic Theories." Machine Learning, 2000.](https://mlanthology.org/mlj/2000/botta2000mlj-refining/) doi:10.1023/A:1007686007399

BibTeX

@article{botta2000mlj-refining,
  title     = {{Refining Numerical Constants in First Order Logic Theories}},
  author    = {Botta, Marco and Piola, Roberto},
  journal   = {Machine Learning},
  year      = {2000},
  pages     = {109-131},
  doi       = {10.1023/A:1007686007399},
  volume    = {38},
  url       = {https://mlanthology.org/mlj/2000/botta2000mlj-refining/}
}