Polynomial ring calculus for modalities.

Juan Carlos Agudelo Agudelo Walter Carnielli

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

Keyphrases

algebraic structure
computer algebra
learning algorithm
social networks
low order
real numbers
formal language
data sets
databases
neural network
machine learning
information retrieval
information systems
higher order
theorem proving