JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi.

Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: CILC (2014)

Keyphrases

neural network
lightweight
main contribution
data sets
probabilistic model
theoretical framework
inference rules
web services
clustering algorithm
high level
video sequences
development environment
logical framework