April 2010. GM11108. B. Goertzel, I. Coertzel M. lkle, and A. Heljakka. Probabilistic Logic Networks. Springer, 2008. GN02. Alfonso Gerevini and Bernhard Nebel. Qualitative spatio-temporal reasoning with rcc-8 and alien's interval calculus: Computational complexity. In Frank van Harmelen, editor, ECAI, page