A logic programming approach to knowledge-state planning, ii: The dlv k system (2003)

by T Eiter, W Faber, N Leone, G Pfeifer, A Polleres
Venue:Artif. Intell