Efficient Tabling of Structured Data Using Indexing and Program Transformation

Stochastic Definite Clause Grammars

Efficient Probabilistic Logic Programming for Biological Sequence Analysis

Constraints and Global Optimization for Gene Prediction Overlap Resolution

ICLP 2009 doctoral consortium presentation; Logic-Statistic Models with Constraints for Biological Sequence Analysis

Inference with Constrained Hidden Markov Models in PRISM

Next generation security analytics