Logical Construction of Final Coalgebras.

Luigi Santocanale

Published in: CMCS (2003)

Keyphrases

neural network
probabilistic logic
construction process
data sets
databases
search engine
social networks
logical reasoning