Efficient Solving of Time-dependent Answer Set Programs

Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chris Cornelis & Martine De Cock
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time point t then corresponds to the literals of an answer set that are grounded with time constant t. An important task when modelling time-dependent systems is to find steady states from which the system's behaviour does not change anymore. This task is complicated by the...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.