Knowledge and Reasoning

Research on knowledge representation and reasoning (KR&R) dates back to mathematical logic and is one of the foundations of Artificial Intelligence. Several data models and inference tools have been proposed in the literature, varying from general purpose languages to ad-hoc reasoning systems. Recently, bioinformatics ignited new interest in this research area. Indeed, several bioinformatics problems can be effectively solved via KR&R methods. In this article we provide an overview of KR&R, focusing on one important paradigm named Answer Set Programming (ASP). We also showcase some interesting bioinformatics problems solved with ASP.