From 968886381dcd95bde67c0d852ef060e54c990e17 Mon Sep 17 00:00:00 2001 From: Ziyang Li Date: Wed, 14 Feb 2024 11:55:21 -0500 Subject: [PATCH] Fixed the hyperlink to provenance semiring paper in the readme --- readme.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme.md b/readme.md index 91e5354..cf6e184 100644 --- a/readme.md +++ b/readme.md @@ -6,7 +6,7 @@ Scallop is a language based on DataLog that supports differentiable logical and relational reasoning. Scallop program can be easily integrated in Python and even with a PyTorch learning module. You can also use it as another DataLog solver. -Internally, Scallop is built on a generalized [Provenance Semiring](https://repository.upenn.edu/cgi/viewcontent.cgi?article=1022&context=db_research) framework. +Internally, Scallop is built on a generalized [Provenance Semiring](https://dl.acm.org/doi/10.1145/1265530.1265535) framework. It allows arbitrary semirings to be configured, supporting Scallop to perform discrete logical reasoning, probabilistic reasoning, and differentiable reasoning. ## Example