We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can modify the values of numeric variables. The basis planning algorithm is based on techniques from propositional satisfiability testing and does not restrict to forward or backward chaining. When several operations affect ...

An alternative proof for existence of ‘quantum nonlocality without entanglement’, i.e. existence of variables with product-state eigenstates which cannot be measured locally, is presented. A simple ‘nonlocal’ variable for the case of one-way communication is given and the limit for its approximate measurability is found. PACS numbers: 03.65.Ud, 03.65.Ta, 03.67.−a