• Publications
  • Influence
On the implementation of the probabilistic logic programming language ProbLog
TLDR
We introduce algorithms that allow the efficient execution of these queries, discuss their implementation on top of the YAP-Prolog system and evaluate their performance in the context of large networks of biological entities. Expand
  • 151
  • 30
  • PDF
The YAP Prolog system
TLDR
Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. Expand
  • 135
  • 16
  • PDF
Aldosterone/salt induces renal inflammation and fibrosis in hypertensive rats.
BACKGROUND We evaluated the role of aldosterone as a mediator of renal inflammation and fibrosis in a rat model of aldosterone/salt hypertension using the selective aldosterone blocker, eplerenone.Expand
  • 457
  • 6
Angiotensin–Neprilysin Inhibition in Acute Decompensated Heart Failure
BACKGROUND Acute decompensated heart failure accounts for more than 1 million hospitalizations in the United States annually. Whether the initiation of sacubitril–valsartan therapy is safe andExpand
  • 257
  • 6
  • PDF
On the Efficient Execution of ProbLog Programs
TLDR
We present exact and approximate inference algorithms for ProbLog, a recent probabilistic extension of Prolog motivated by the mining of large biological networks. Expand
  • 63
  • 6
  • PDF
YapOr: an Or-Parallel Prolog System Based on Environment Copying
TLDR
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit parallelism in Prolog programs. Expand
  • 41
  • 5
  • PDF
On Applying Or-Parallelism and Tabling to Logic Programs
TLDR
We have designed and implemented an or-parallel tabling engine – OPTYap – for logic programs with tabling. Expand
  • 56
  • 4
  • PDF
Towards digesting the alphabet-soup of statistical relational learning
TLDR
This paper reports on our work towards the development of a probabilistic logic programming environment intended as a target language in which other Probabilistic languages can be compiled, thereby contributing to the digestion of the “alphabet soup”. Expand
  • 45
  • 4
  • PDF
Aldosterone as a Mediator in Cardiovascular Injury
The renin-angiotensin-aldosterone system plays a central role in the development of hypertension and the progression of end-organ damage. Although angiotensin-converting enzyme inhibitors andExpand
  • 136
  • 3