A Theory of Forgetting in Logic Programming

Kewen Wang, Abdul Sattar, Kaile Su. A Theory of Forgetting in Logic Programming. 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 682-688, AAAI Press / The MIT Press, 2005.

Abstract

Abstract is missing.