Skolem Functions for Factored Formulas.

Ajith K. John Shetal Shah Supratik Chakraborty Ashutosh Trivedi S. Akshay

Published in: CoRR (2015)

Keyphrases

first order logic
database
neural network
information systems
image processing
reinforcement learning
probability distribution
basis functions
predicate calculus