Login / Signup
Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming.
Carito Guziolowski
Santiago Videla
Federica Eduati
Sven Thiele
Thomas Cokelaer
Anne Siegel
Julio Saez-Rodriguez
Published in:
Bioinform. (2014)
Keyphrases
</>
answer set programming
logic programming
causal theories
logic programs
answer sets
high level
bayesian networks
data model
knowledge representation
object oriented
deductive databases
automated theorem proving
answer set programs