| Publication | Date of Publication | Type |
|---|
| The burning of the snark | 2024-04-22 | Paper |
| On the use of stochastic local search techniques to revise first-order logic theories from examples | 2017-06-30 | Paper |
| Slash and burn on graphs -- firefighting with general weights | 2016-06-22 | Paper |
| Asymptotic surviving rate of trees with multiple fire sources | 2015-04-28 | Paper |
| Lifted Variable Elimination for Probabilistic Logic Programming | 2014-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5420034 | 2014-06-11 | Paper |
| More fires and more fighters | 2014-04-10 | Paper |
| Matchings in graphs of odd regularity and girth | 2014-01-27 | Paper |
| Evaluating Inference Algorithms for the Prolog Factor Language | 2013-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2918486 | 2012-10-06 | Paper |
| A design and implementation of the Extended Andorra Model | 2012-08-30 | Paper |
| The YAP Prolog system | 2012-06-25 | Paper |
| On the implementation of the probabilistic logic programming language ProbLog | 2011-06-15 | Paper |
| Probabilistic Inductive Querying Using ProbLog | 2010-12-22 | Paper |
| Threads and or-parallelism unified | 2010-08-19 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3602741 | 2009-02-12 | Paper |
| On the Efficient Execution of ProbLog Programs | 2009-01-22 | Paper |
| Towards Typed Prolog | 2009-01-22 | Paper |
| CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge | 2008-03-28 | Paper |
| ILP :- Just Trie It | 2008-03-28 | Paper |
| Revising First-Order Logic Theories from Examples Through Stochastic Local Search | 2008-03-28 | Paper |
| The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages | 2008-03-11 | Paper |
| Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming | 2007-11-15 | Paper |
| Inductive Logic Programming | 2006-11-01 | Paper |
| Inductive Logic Programming | 2006-11-01 | Paper |
| Inductive Logic Programming | 2006-10-19 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Euro-Par 2004 Parallel Processing | 2005-08-23 | Paper |
| On applying or-parallelism and tabling to logic programs | 2005-04-29 | Paper |
| 10.1162/153244304773936027 | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738994 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736500 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736502 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413483 | 2003-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537976 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767148 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499259 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944867 | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944868 | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227004 | 1999-02-23 | Paper |
| Cuts and side-effects in and-or parallel Prolog | 1997-04-27 | Paper |
