A Variant of Earley Deduction with Partial Evaluation.

Stefan Brass Heike Stephan

Published in: RR (2013)

Keyphrases

partial evaluation
explanation based generalization
theorem proving
inference rules
xpath queries
co occurrence
metadata
general purpose
logic programming
positive and negative