Tran Cao Son, Enrico Pontelli, Son Thanh To. Some Results on the Completeness of Approximation Based Reasoning. In Architectures for Intelligent Theory-Based Agents, Papers from the 2008 AAAI Spring Symposium, Technical Report SS-08-02, Stanford, California, USA, March 26-28, 2008. pages 61-66, AAAI, 2008. [doi]
Abstract is missing.