From Proof Nets to the Free *-Autonomous Category.

François Lamarche Lutz Straßburger

Published in: Log. Methods Comput. Sci. (2006)

Keyphrases

autonomous systems
theorem prover
linear logic
cooperative
data mining
autonomous navigation
theorem proving
object categories
text categorization
proof planning
autonomous learning
robotic systems
database
multiscale
similarity measure
case study
decision trees
e learning
computer vision
neural network