Partial Evaluation of Order-sorted Equational Programs modulo Axioms.

María Alpuente Angel Cuenca-Ortega Santiago Escobar José Meseguer

Published in: CoRR (2016)

Keyphrases

partial evaluation
explanation based generalization
order sorted
theorem proving
first order logic
horn clauses
knowledge base
theorem prover
xpath queries
predicate logic
information retrieval
inference rules