Recursion and Induction on the Real Line.

Martín Hötzel Escardó

Published in: Theory and Formal Methods (1994)

Keyphrases

real life
complex objects
artificial intelligence
domain knowledge
inductive logic programming
real world
website
image segmentation
similarity measure
mobile robot
first order logic
line segments
deductive databases
inductive inference