Answer Set Programming for Systems Biology

Overview | Applications | Answer Set Programming | Who we are


BioASP is a collection of open-source programs, providing solutions for analyzing biological data and models with Answer Set Programming (ASP). ASP has proven to be an excellent tool for solving a variety of biological questions. The BioASP applications implement methods for analyzing metabolic, signaling and gene regulatory networks, consistency checking, diagnosis, and repair of biological data and models. In particular, it allows for computing predictions and generating hypotheses about required extensions of biological models, as well as designing new experiments and finding intervention strategies to control the biological system at hand.

BioASP is powered by the ASP tools of Potassco, the Potsdam Answer Set Solving Collection and the PyASP library which makes this power easily available. The functionalities provided by the BioASP applications exploit technical know-how of modeling (biological) problems in ASP and gearing ASP solvers’ parameters to them. BioASP applications integrate our practical experience and offers them via easy-to-use Python functions, thus enabling ASP non-experts to solve biological questions with ASP.



Who we are

BioASP is developed by several people at several institutions from several countries:

If you would like to contribute in any way, your are welcome to join us at

Answer Set Programming

BioASP applications strongly rely on Answer Set Programming (ASP) for knowledge representation and reasoning. ASP is a declarative problem solving paradigm from the field of Logic Programming combining several computer science areas such as Knowledge Representation and Reasoning, Artificial Intelligence, Constraint Satisfaction and Combinatorial Optimization.

For more details on ASP and state-of-the-art available tools, you may want to check the website of Potassco, the Potsdam Answer Set Solving Collection.