TY  - RPRT
TI  - A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
AU  - Thomas Eiter
AU  - Wolfgang Faber
AU  - Nicola Leone
AU  - Gerald Pfeifer
AU  - Axel Polleres
PY  - 2001
DO  - 10.1016/s0004-3702(02)00367-3
UR  - https://arxiv.org/abs/cs/0112006
ID  - cs/0112006
ER  -