A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories.

Published in: PAAR@IJCAR (2014)

Keyphrases

mathematical model
computational model
database
high level
objective function
theoretical framework
statistical model
knowledge base
image sequences
similarity measure
evolutionary algorithm
simulated annealing
experimental data
prediction model
object model