/ProPPR

Graph-algorithm inferences over local groundings of first-order logic programs

Primary LanguageJava

No issues in this repository yet.