Interleaving Belief Updating and Reasoning in Abductive Logic Programming

Fariba Sadri, Francesca Toni. Interleaving Belief Updating and Reasoning in Abductive Logic Programming. In Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso, editors, ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. Volume 141 of Frontiers in Artificial Intelligence and Applications, pages 442-446, IOS Press, 2006.

Abstract

Abstract is missing.