A constructive proof for FLP.

Published in: Inf. Process. Lett. (2004)

Keyphrases

proof planning
theorem proving
learning algorithm
logical rules
artificial intelligence
information systems
similarity measure
multiresolution
special case
mobile robot
linear logic