Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings / - Gelfond, Michael.; Leone, Nicola.; Pfeifer, Gerald. (Springer,, 1999)