| Publication | Date of Publication | Type |
|---|
Differentiable learning of matricized DNFs and its application to Boolean networks
Machine Learning | 2023-08-22 | Paper |
An equivalence preserving first order unfold/fold transformation system
Algebraic and Logic Programming | 2022-08-16 | Paper |
Logic programming in tensor spaces
Annals of Mathematics and Artificial Intelligence | 2021-12-17 | Paper |
Learning to rank in PRISM
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
A linear algebraic approach to Datalog evaluation
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Viterbi training in PRISM
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Constraint-based probabilistic modeling for statistical abduction
Machine Learning | 2012-05-08 | Paper |
CHR(PRISM)-based probabilistic logic learning
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Variational Bayes via propositionalized probability computation in PRISM
Annals of Mathematics and Artificial Intelligence | 2009-09-18 | Paper |
Logic-Based Probabilistic Modeling
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Variational Bayesian Grammar Induction for Natural Language
Grammatical Inference: Algorithms and Applications | 2008-11-27 | Paper |
Negation Elimination for Finite PCFGs
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
New Advances in Logic-Based Probabilistic Modeling by PRISM
Probabilistic Inductive Logic Programming | 2008-03-28 | Paper |
Linear tabling strategies and optimizations
Theory and Practice of Logic Programming | 2008-01-21 | Paper |
scientific article; zbMATH DE number 2086329 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2084852 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1926651 (Why is no real title available?)
| 2003-06-11 | Paper |
scientific article; zbMATH DE number 1753155 (Why is no real title available?)
| 2002-06-10 | Paper |
Enumeration of success patterns in logic programs
Theoretical Computer Science | 2002-05-13 | Paper |
scientific article; zbMATH DE number 1696801 (Why is no real title available?)
| 2002-04-28 | Paper |
scientific article; zbMATH DE number 1692890 (Why is no real title available?)
| 2002-01-21 | Paper |
Tutorial series on web-computing
New Generation Computing | 2001-10-14 | Paper |
Normal forms of formulas based on axioms for equality and their applications to first-order languages
RIMS Kokyuroku | 2001-09-17 | Paper |
scientific article; zbMATH DE number 1351102 (Why is no real title available?)
| 1999-10-20 | Paper |
Equivalence-preserving first-order unfold/fold transformation systems
Theoretical Computer Science | 1993-01-16 | Paper |
Completed logic programs and their consistency
The Journal of Logic Programming | 1990-01-01 | Paper |
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation | 1989-01-01 | Paper |
Existential continuation
New Generation Computing | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4106263 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 3982556 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3808993 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3915612 (Why is no real title available?)
| 1983-01-01 | Paper |
