Qualitative Spatial and Temporal Reasoning with Answer Set Programming

Jason Jingshi Li. Qualitative Spatial and Temporal Reasoning with Answer Set Programming. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. pages 603-609, IEEE, 2012. [doi]

Abstract

Abstract is missing.