LINK: A Proof Environment Based on Proof Nets.

L. Habert J.-M. Notin Didier Galmiche

Published in: TABLEAUX (2002)

Keyphrases

mobile robot
artificial neural networks
real time
machine learning
information retrieval
theorem prover
image sequences
dynamic environments
ranking algorithm
indoor environments