Carl P. L. Schultz, Mehul Bhatt. A Numerical Optimisation Based Characterisation of Spatial Reasoning. In José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman, editors, Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Volume 9718 of Lecture Notes in Computer Science, pages 199-207, Springer, 2016. [doi]
Abstract is missing.