You are here

STeLP

  STeLP is a solver for Answer Set Programming with temporal operators. Taking as an input a particular kind of logic program with modal operators, STeLP obtains its set of temporal equilibrium models that are represented in terms of a deterministic Büchi automaton capturing the complete program behaviour. In small examples, this automaton can be graphically displayed in a direct and readable way. The input language provides a set of constructs which allow a simple definition of temporal logic programs, including a special syntax for action domains that can be exploited to simplify the graphical output.