A Variant of Earley Deduction With Partial Evaluation.

Heike Stephan Stefan Brass

Published in: CoRR (2014)

Keyphrases

partial evaluation
explanation based generalization
database
artificial intelligence

high level
theorem prover
theorem proving

domain theory
xpath queries
machine learning

knowledge base
similarity measure
relational database systems