Solving Logic Program Conflict through Strong and Weak Forgettings

Yan Zhang, Norman Y. Foo, Kewen Wang. Solving Logic Program Conflict through Strong and Weak Forgettings. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 627-634, Professional Book Center, 2005. [doi]

Abstract

Abstract is missing.