A Logic Programming Approach to Knowledge-State (2001)

by T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
Venue:Planning, II: the DLV K System. Manuscript