A Logic Programming Approach to Knowledge State Planning (2003)

by T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
Venue:The DLV K System. Artificial Intelligence