You are here

Technical report

 

  1. The input language:
    1. Rules definition: In STeLP, three kinds of rules can be defined: initial_0, initial_1 and dynamic rules. In Initial_0 rules, the use of temporal operators is forbidden. Its body is composed by a conjunction of positive or negative literals while its head is formed by a disjunction of positive literals. Initial_1 rules, have the same structure than initial_0 rules but all atoms in this body are modified by the operator     ⃝ , and in its body some atoms can be also modified.
    2. Static and domain predicates:
    3. Syntax for planning problems:
    4. Subranges: