Abstract
We present the design and evaluation of a Datalog engine for execution in Graphics Processing Units (GPUs). The engine evaluates recursive and non-recursive Datalog queries using a bottom-up approach based on typical relational operators. It includes a memory management scheme that automatically swaps data between memory in the host platform (a multicore) and memory in the GPU in order to reduce the number of memory transfers. To evaluate the performance of the engine, four Datalog queries were run on the engine and on a single CPU in the multicore host. One query runs up to 200 times faster on the (GPU) engine than on the CPU.

Abstract
Transcriptional regulation plays an important role in every cellular decision. Gaining an understanding of the dynamics that govern how a cell will respond to diverse environmental cues is difficult using intuition alone. We try to discover how genes interact when submitted to stress by exploring techniques of gene expression data analysis. We use several types of data, including high-throughput data. These results will help us recreate plausible regulatory networks by using a probabilistic logical model. Hence, network hypotheses can be generated from existing gene expression data for use by experimental biologists.

Abstract

Abstract
Over the last years there has been some interest in models that combine first-order logic and probabilistic graphical models to describe large scale domains, and in efficient ways to perform inference on these domains. Prolog Factor Language (PFL) is a extension of the Prolog language that allows a natural representation of these first-order probabilistic models (either directed or undirected). PFL is also capable of solving probabilistic queries on these models through the implementation of four inference algorithms: variable elimination, belief propagation, lifted variable elimination and lifted belief propagation. We show how these models can be easily represented using PFL and then we perform a comparative study between the different inference algorithms in four artificial problems. © 2013 Springer-Verlag.

Abstract
We present r..eal , a library that integrates the R statistical environment with Prolog. Due to R's functional programming affinity the interface introduced has a minimalistic feel. Programs utilising the library syntax are elegant and succinct with intuitive semantics and clear integration. In effect, the library enhances logic programming with the ability to tap into the vast wealth of statistical and probabilistic reasoning available in R. The software is a useful addition to the efforts towards the integration of statistical reasoning and knowledge representation within an AI context. Furthermore it can be used to open up new application areas for logic programming and AI techniques such as bioinformatics, computational biology, text mining, psychology and neuro sciences, where R has particularly strong presence. © 2013 Springer-Verlag.

Abstract
Diabetes management is a complex problem. The patient needs to monitor several parameters in order to react in the most appropriate way. Different situations require the diabetic to understand and evaluate different rules. The main source of knowledge for those rules arises from medical practice and is usually transmitted through medical appointments. Given this initial advice, most patient are on a continuous process of managing the disease, toward achieving the best possible quality of life. Motivated by recent aadvances in diabetes monitoring devices, we introduce a diabetes support system designed to accompany the user, advising her and providing early guidance to avoid some of the many complications associated with diabetes. To accomplish this goal, we incorporate standard medical protocols, advice and directives in a Rule Based System (RBS). This RBS which we call Advice Rule Based System (ARBS) is capable of advising and uncovering possible causes for different occurrences. We believe that this solution is not only beneficial to the patient, but may also may be of use to the clinitians advising the patient. The device has continuous contact with the patient, thus it can provide early response if/where needed, Moreover, the system can provide useful data, that an authorized medical expert can use while prescribing a particular treatment, or even when investingating this health problem. We have started to add data-mining algorithms and methods, to uncover hidden behavioural patterns that may lead to crisis situations. Ultimately, through refining the rule systems base don human and machine learning, our approach has the potential for personalising the system according to the habits and phenotype of its user. The system is to be incorporated in a currently developed diabetes management application for Android.