ILP turns 20: biography and future challenges

S Muggleton, L De Raedt, D Poole, I Bratko, P Flach… - Machine learning, 2012 - Springer
Abstract Inductive Logic Programming (ILP) is an area of Machine Learning which has now
reached its twentieth year. Using the analogy of a human biography this paper recalls the …

Utilization of default logic for analyzing a metabolic system in discrete time

T Le, A Doncescu, P Siegel - 2013 13th International …, 2013 - ieeexplore.ieee.org
Metabolic pathways are seen as high criticalities in our understanding of mechanisms of
biological functions. This article focuses on automatic synthesis of the metabolic pathways …

[PDF][PDF] Scalable relational learning for event recognition

N Katzouris - 2017 - iit.demokritos.gr
Event recognition systems rely on knowledge bases of event definitions to infer occurrences
of events in time. Using a logical framework for representing and reasoning about events …

Bayesian inference for statistical abduction using Markov chain Monte Carlo

M Ishihata, T Sato - Asian Conference on Machine Learning, 2011 - proceedings.mlr.press
Abduction is one of the basic logical inferences (deduction, induction and abduction) and
derives the best explanations for our observation. Statistical abduction attempts to define a …

Time series discretization via MDL-based histogram density estimation

Y Kameya - 2011 IEEE 23rd international conference on tools …, 2011 - ieeexplore.ieee.org
In knowledge discovery from real-valued time series, discretization is often a key
preprocessing that extends the applicability of sophisticated tools for symbolic data mining …

Parallel and memory-efficient preprocessing for metagenome assembly

V Rengasamy, P Medvedev… - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
The analysis of high-throughput metagenomic sequencing data poses significant
computational challenges. Most current de novo assembly tools use the de Bruijn graph …

Automated scientific assistant for cancer and chemoprevention

S Lazarou, AC Kakas, C Neophytou… - … and Innovations: 9th IFIP …, 2013 - Springer
Logical modeling of cell biological phenomena has the potential to facilitate both the
understanding of the mechanisms that underly the phenomena as well as the process of …

[PDF][PDF] Logical modeling of cancer and chemoprevention

S Lazarou, A Kakas, C Neophytou… - Workshop on Learning …, 2012 - Citeseer
Logical modeling of cell biological phenomena has the potential to facilitate both the
understanding of the mechanisms that underly the phenomena as well as the process of …

Variational Bayes inference for logic-based probabilistic models on BDDs

M Ishihata, Y Kameya, T Sato - … Conference, ILP 2011, Windsor Great Park …, 2012 - Springer
Abduction is one of the basic logical inferences (deduction, induction and abduction) and
derives the best explanations for our observation. Statistical abduction attempts to define a …

Default Logic for Diagnostic of Discrete Time System

T Le, A Doncescu, P Siegel - 2013 Eighth International …, 2013 - ieeexplore.ieee.org
Signaling pathways are seen as high criticalities in our understanding of mechanisms of
biological functions. In this paper, we propose default logic for diagnostic of Discrete Time …