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

Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: Fundam. Informaticae (2017)

Keyphrases

main contribution
probabilistic model
database
learning algorithm
artificial intelligence
web services
case study
image sequences
video sequences
object oriented
theoretical framework
map reduce