Towards a logic programming tool for cancer analysis


The main goal of this work is to propose a pipeline capable to analyze a data collection of temporally qualified mutation profiles. A front-end and a post-processor are implemented. The front-end basically transforms the input data retrieved from medical databases into a set of facts. The post-processor allows the user to visualize the computation results as graphs. The reasoning core is based on Answer Set Programming that, allowing to deal with NP or ∼P 2 properties, is capable of deducing complex info from data. The system is modular: The reasoning tool can be replaced by any logic programming tool (e.g., Prolog, ILP) for different kinds of data analysis.

CEUR Workshop Proceedings