Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.

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

Published in: LOPSTR (2016)

Keyphrases

partial evaluation
explanation based generalization
order sorted
horn clauses
predicate logic
theorem proving
knowledge base
first order logic
theorem prover
artificial intelligence
computer science
general purpose
knowledge acquisition