Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming.

Giang V. Trinh Belaid Benhamou Samuel Pastva Sylvain Soliman

Published in: AAAI (2024)

Keyphrases

answer set programming
boolean networks
logic programs
logic programming
answer sets
answer set programs
stable models
causal theories
gene regulatory networks
stable model semantics
biological systems
haplotype inference
dynamic programming
data sets
disjunctive logic programming
microarray data
high dimensional