Reasoning on biological models
using ASP techniques
uni potsdam
institute
home
Reasoning with Action description Languages
Sign Consistency in Influence Graphs
Metabolic Network Expansion
The BioASP Library
Network Reconstruction