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...