An extended framework for specifying and reasoning about proof systems.

Vivek Nigam Elaine Pimentel Giselle Reis

Published in: J. Log. Comput. (2016)

Keyphrases

complex systems
management system
machine learning
probabilistic model
computer systems
theoretical framework
neural network
knowledge base
database systems
hidden markov models
knowledge based systems
lightweight
learning systems