From cc57dc2e0e893f00a405e69e1831c0d4c3437034 Mon Sep 17 00:00:00 2001 From: Mayur Naik Date: Sun, 24 Jul 2022 22:57:48 -0400 Subject: [PATCH] fix provenance semiring paper ref --- readme.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/readme.md b/readme.md index f7e64cb..dc89b7e 100644 --- a/readme.md +++ b/readme.md @@ -11,8 +11,8 @@ for relational databases. Sallop is equipped with a scalable Datalog solver that supports discrete, probabilistic and differentiable modes of reasoning. These modes are configurable to suit the needs of different AI applications, and they are -implemented uniformly as instances of a generalized form of the [Provenance Semiring] -(https://repository.upenn.edu/cgi/viewcontent.cgi?article=1022&context=db_research) +implemented uniformly as instances of a generalized form of the +[Provenance Semiring](https://repository.upenn.edu/cgi/viewcontent.cgi?article=1022&context=db_research) framework. Scallop provides bindings to support logic reasoning modules within Python