Pi-Calculus in Logical Form.

Marcello M. Bonsangue Alexander Kurz

Published in: LICS (2007)

Keyphrases

data mining
search engine
database
data sets
neural network
machine learning
computer vision
description logics
logical representation