| Publication | Date of Publication | Type |
|---|
The burning of the snark
Matemática Contemporânea | 2024-04-22 | Paper |
On the use of stochastic local search techniques to revise first-order logic theories from examples
Machine Learning | 2017-06-30 | Paper |
Slash and burn on graphs -- firefighting with general weights
Discrete Applied Mathematics | 2016-06-22 | Paper |
Asymptotic surviving rate of trees with multiple fire sources
Discrete Applied Mathematics | 2015-04-28 | Paper |
Lifted variable elimination for probabilistic logic programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
scientific article; zbMATH DE number 6303056 (Why is no real title available?)
| 2014-06-11 | Paper |
More fires and more fighters
Discrete Applied Mathematics | 2014-04-10 | Paper |
Matchings in graphs of odd regularity and girth
Discrete Mathematics | 2014-01-27 | Paper |
Evaluating inference algorithms for the Prolog factor language
Inductive Logic Programming | 2013-06-14 | Paper |
Gene clusters as intersections of powers of paths
Matemática Contemporânea | 2012-10-06 | Paper |
A design and implementation of the extended Andorra model
Theory and Practice of Logic Programming | 2012-08-30 | Paper |
The YAP prolog system
Theory and Practice of Logic Programming | 2012-06-25 | Paper |
On the implementation of the probabilistic logic programming language ProbLog
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
Probabilistic inductive querying using \texttt{ProbLog}
Inductive Databases and Constraint-Based Data Mining | 2010-12-22 | Paper |
Threads and or-parallelism unified
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Compile the hypothesis space: do it once, use it often
| 2009-02-12 | Paper |
On the Efficient Execution of ProbLog Programs
Logic Programming | 2009-01-22 | Paper |
Towards Typed Prolog
Logic Programming | 2009-01-22 | Paper |
CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
Probabilistic Inductive Logic Programming | 2008-03-28 | Paper |
Revising First-Order Logic Theories from Examples Through Stochastic Local Search
Inductive Logic Programming | 2008-03-28 | Paper |
ILP :- Just Trie It
Inductive Logic Programming | 2008-03-28 | Paper |
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
Logic Programming | 2008-03-11 | Paper |
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming
Inductive Logic Programming | 2007-11-15 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Euro-Par 2004 Parallel Processing
Lecture Notes in Computer Science | 2005-08-23 | Paper |
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming | 2005-04-29 | Paper |
10.1162/153244304773936027
CrossRef Listing of Deleted DOIs | 2004-11-23 | Paper |
scientific article; zbMATH DE number 2087950 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2085268 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2085266 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1950770 (Why is no real title available?)
| 2003-07-20 | Paper |
scientific article; zbMATH DE number 1759255 (Why is no real title available?)
| 2002-06-25 | Paper |
scientific article; zbMATH DE number 1696869 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1497835 (Why is no real title available?)
| 2001-03-06 | Paper |
scientific article; zbMATH DE number 1420804 (Why is no real title available?)
| 2000-08-28 | Paper |
scientific article; zbMATH DE number 1420803 (Why is no real title available?)
| 2000-08-28 | Paper |
scientific article; zbMATH DE number 1254021 (Why is no real title available?)
| 1999-02-23 | Paper |
Cuts and side-effects in and-or parallel Prolog
The Journal of Logic Programming | 1997-04-27 | Paper |
