Conditional narrowing modulo SMT and axioms.

Luis Aguirre Narciso Martí-Oliet Miguel Palomino Isabel Pita

Published in: PPDP (2017)

Keyphrases

statistical machine translation
knowledge base
random field model
first order logic
nonmonotonic inference
real time
databases
neural network
social networks
website
information technology
hidden markov models
knowledge representation
conditional probabilities