Unification on the Run.

Thomas Prokosch François Bry

Published in: UNIF (2020)

Keyphrases

higher order
databases
evolutionary algorithm
real time
learning algorithm
artificial intelligence
decision making
image processing
image sequences
logic programming
theorem prover