Hybrid and Subexponential Linear Logics Technical Report.

Joëlle Despeyroux Carlos Olarte Elaine Pimentel

Published in: CoRR (2016)

Keyphrases

technical report
modal logic
linear model
closed form
data sets
logic programming
expressive power
databases
neural network
search engine
optimal solution
inference rules
hybrid learning
linear constraints