Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli:
ASP Applications in Bio-informatics: A Short Tour.
Künstliche Intelligenz, Volume 32 (2-3): 157-164, 2018.
We report on how the declarative nature of Answer Set Programming allows one to model and solve some well-known and challenging classes of problems in the general domain of bioinformatics. We briefly survey the main results appeared in the areas of genomics, structure prediction, and systems biology.