Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories.

Salvador Lucas Raúl Gutiérrez

Published in: J. Autom. Reason. (2018)

Keyphrases

higher order
probabilistic model
mathematical models
logical formulas
machine learning
learning algorithm
statistical models
formal models
accurate models
underlying assumptions