17 citations · 24 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 1 cited
Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization
Matthias Nickles
We propose Differentiable Satisfiability and Differentiable Answer Set Programming (Differentiable SAT/ASP) for multi-model optimization. Models (answer sets or satisfying truth as…
cs.AI2018★ 2 cited
Embedding Cardinality Constraints in Neural Link Predictors
Emir Muñoz, Pasquale Minervini, Matthias Nickles
Neural link predictors learn distributed representations of entities and relations in a knowledge graph. They are remarkably powerful in the link prediction and knowledge base comp…