TY  - GEN
A1  - Razzaq, Misbah
A1  - Kaminski, Roland
A1  - Romero, Javier
A1  - Schaub, Torsten H.
A1  - Bourdon, Jeremie
A1  - Guziolowski, Carito
T1  - Computing diverse boolean networks from phosphoproteomic time series data
T2  - Computational Methods in Systems Biology
N2  - Logical modeling has been widely used to understand and expand the knowledge about protein interactions among different pathways. Realizing this, the caspo-ts system has been proposed recently to learn logical models from time series data. It uses Answer Set Programming to enumerate Boolean Networks (BNs) given prior knowledge networks and phosphoproteomic time series data. In the resulting sequence of solutions, similar BNs are typically clustered together. This can be problematic for large scale problems where we cannot explore the whole solution space in reasonable time. Our approach extends the caspo-ts system to cope with the important use case of finding diverse solutions of a problem with a large number of solutions. We first present the algorithm for finding diverse solutions and then we demonstrate the results of the proposed approach on two different benchmark scenarios in systems biology: (1) an artificial dataset to model TCR signaling and (2) the HPN-DREAM challenge dataset to model breast cancer cell lines.
KW  - Diverse solution enumeration
KW  - Answer set programming
KW  - Boolean Networks
KW  - Model checking
KW  - Time series data
Y1  - 2018
SN  - 978-3-319-99429-1
SN  - 978-3-319-99428-4
U6  - https://doi.org/10.1007/978-3-319-99429-1_4
SN  - 0302-9743
SN  - 1611-3349
VL  - 11095
SP  - 59
EP  - 74
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Kaufmann, Benjamin
A1  - Kaminski, Roland
A1  - Ostrowski, Max
A1  - Schaub, Torsten H.
A1  - Schneider, Marius
T1  - Potassco the Potsdam answer set solving collection
JF  - AI communications : AICOM ; the European journal on artificial intelligence
N2  - This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.
KW  - Answer set programming
KW  - declarative problem solving
Y1  - 2011
U6  - https://doi.org/10.3233/AIC-2011-0491
SN  - 0921-7126
VL  - 24
IS  - 2
SP  - 107
EP  - 124
PB  - IOS Press
CY  - Amsterdam
ER  -