Flexible Approximators for Approximating Fixpoint Theory

Fangfang Liu, Yi Bi, Md. Solimul Chowdhury, Jia-Huai You, Zhiyong Feng. Flexible Approximators for Approximating Fixpoint Theory. In Richard Khoury, Christopher Drummond, editors, Advances in Artificial Intelligence - 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings. Volume 9673 of Lecture Notes in Computer Science, pages 224-236, Springer, 2016. [doi]

Abstract

Abstract is missing.