Login / Signup
Proving Set-Theoretic Formulae by a Tableaux Method.
Domenico Cantone
Rosa Ruggeri Cannata
Published in:
ICLP Workshop on Logic Programming with Sets (1993)
Keyphrases
</>
set theoretic
probabilistic model
training samples
em algorithm
fuzzy logic
clustering method