Skip to content

Commit

Permalink
fix provenance semiring paper ref
Browse files Browse the repository at this point in the history
  • Loading branch information
@mayurnaik
mayurnaik committed Jul 25, 2022
1 parent 7323eaf commit cc57dc2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions readme.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit cc57dc2

Please sign in to comment.