Omitting types for finite variable fragments and complete representations of algebras.

Tarek Sayed Ahmed Hajnal Andréka István Németi

Published in: J. Symb. Log. (2008)

Keyphrases

real world
neural network
image segmentation
logic programs
higher level
machine learning
optimal solution
search algorithm
object recognition
mobile robot
finite number