Yan Zhang, Norman Y. Foo. A Unified Framework for Representing Logic Program Updates. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 707-713, AAAI Press / The MIT Press, 2005.
Abstract is missing.