Repairing Boolean logical models from time-series data using Answer Set Programming.

Alexandre Lemos Inês Lynce Pedro T. Monteiro

Published in: Algorithms Mol. Biol. (2019)

Keyphrases

answer set programming
logic programs
answer sets
logic programming
constraint logic programming
causal theories
answer set programs
reasoning tasks
high level
knowledge representation
boolean functions
probabilistic logic
haplotype inference