Login / Signup
A partial evaluation framework for order-sorted equational programs modulo axioms.
María Alpuente
Angel Cuenca-Ortega
Santiago Escobar
José Meseguer
Published in:
J. Log. Algebraic Methods Program. (2020)
Keyphrases
</>
evaluation framework
evaluation process
order sorted
evaluation methodology
evaluation metrics
semantic annotation
horn clauses
theorem proving
knowledge base
predicate logic
evaluation measures
theorem prover
first order logic
evaluation criteria
supervised learning
test collection