Parikh's Theorem Made Symbolic.

Matthew Hague Artur Jez Anthony W. Lin

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

symbolic representation
artificial intelligence
high level
image processing
multiscale
preprocessing
symbolic description
connectionist learning
associative learning
image segmentation
low level
probability distribution
connectionist systems