Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization.

Matthias Nickles

Published in: CoRR (2018)

Keyphrases

objective function
answer set programming
machine learning
high level
knowledge representation
logic programs
logic programming
propositional logic