Homomorphisms of Coalgebras from Predicate Liftings.

Sebastian Enqvist

Published in: CALCO (2013)

Keyphrases

first order logic
graph theory
finite state automata
monotonicity constraints
neural network
prior knowledge
domain knowledge
machine learning
image segmentation
training data
computational complexity
logic rules