research
∙
10/22/2021
Drug Similarity and Link Prediction Using Graph Embeddings on Medical Knowledge Graphs
The paper utilizes the graph embeddings generated for entities of a larg...
share
research
∙
01/03/2021
diff-SAT – A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
This paper describes diff-SAT, an Answer Set and SAT solver which combin...
research
∙
12/31/2018
Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization
We propose Differentiable Satisfiability and Differentiable Answer Set P...
research
∙
12/16/2018
Embedding Cardinality Constraints in Neural Link Predictors
Neural link predictors learn distributed representations of entities and...
research
∙
12/30/2016
PrASP Report
This technical report describes the usage, syntax, semantics and core al...
research
∙
05/04/2014