Login / Signup
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.
Stéphanie Chevalier
Christine Froidevaux
Loïc Paulevé
Andrei Yu. Zinovyev
Published in:
CoRR (2019)
Keyphrases
</>
answer set programming
boolean networks
logic programs
constraint logic programming
logic programming
biological systems
answer sets
stable model semantics
stable models
answer set programs
constraint satisfaction
inductive logic programming
causal theories
databases
knowledge representation
haplotype inference