From: Markus Triska Date: Wed, 3 Jul 2024 20:31:53 +0000 (+0200) Subject: link to newly available paper about Grants4Companies X-Git-Tag: v0.10.0~130^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4b3edfd370819a204f439e352201e13c202bf70b;p=scryer-prolog.git link to newly available paper about Grants4Companies --- diff --git a/README.md b/README.md index 190c6164..10661a5c 100644 --- a/README.md +++ b/README.md @@ -808,9 +808,9 @@ standards compliance and warranty. Successful existing applications of Scryer Prolog include the [DocLog](https://github.com/aarroyoc/doclog) system which -generates Scryer's own documentation and homepage, [Symbolic -Analysis of Grants](https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-Analysis-of-Grants.html) -by the Austrian Federal Computing Center, and parts of the +generates Scryer's own documentation and homepage, [reasoning +about business grants](https://arxiv.org/abs/2406.15293) +in the Austrian public administration, and parts of the [precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog) package for the analysis of dose-escalation trials in the safety-critical and highly regulated domain of oncology