1 paper
Ali Ballout, Andrea G B Tettamanzi, Célia da Costa Pereira
Candidate axiom scoring is the task of assessing the acceptability of a candidate axiom against the evidence provided by known facts or data. The ability to score candidate axioms…