The Amalgamation Property in Normal Open Induction.

Margarita Otero

Published in: Notre Dame J. Formal Log. (1993)

Keyphrases

inductive learning
program synthesis
artificial intelligence
concept learning
rule induction
real time
neural network
knowledge base
image processing
image sequences
optimal solution
desirable properties