A New Application for Explanation-Based Generalisation within Automated Deduction.

Published in: CADE (1994)

Keyphrases

automated deduction
artificial intelligence
real time
databases
application specific
real world
video sequences
data model
domain knowledge
theorem prover