A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.

Published in: CMCS (2016)

Keyphrases

small number
genetic algorithm
probability distribution
automated reasoning
neural network
machine learning
information retrieval
bayesian networks
logic programming