17 citations · 24 across the 6 of their papers we have counts for
6 papers
Drug Similarity and Link Prediction Using Graph Embeddings on Medical Knowledge Graphs
Prakhar Gurawa, Matthias Nickles
The paper utilizes the graph embeddings generated for entities of a large biomedical database to perform link prediction to capture various new relationships among different entiti…
diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming
Matthias Nickles
This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optim…
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…
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…
PrASP Report
Matthias Nickles
This technical report describes the usage, syntax, semantics and core algorithms of the probabilistic inductive logic programming framework PrASP. PrASP is a research software whic…
Probabilistic Inductive Logic Programming Based on Answer Set Programming
Matthias Nickles, Alessandra Mileo
We propose a new formal language for the expressive representation of probabilistic knowledge based on Answer Set Programming (ASP). It allows for the annotation of first-order for…