CILC Summer School in Genova
June 30th, 2015
Material for the Biology and Logic Programming course
Alessandro Dal Palu'
ASP encodings of the problems presented during the
school. They are tested under Gringo 4, freely
downloadable from here.
- The Haplotype Inference problem.
- Phylogenetic trees reconstruction.
- Detecting consistency in influence networks.
- RNA secondary structure prediction.
- The protein structure prediction problem (H/P energy, 2D lattice).