Qualitative Spatial and Temporal Reasoning with Answer Set Programming.

Jason Jingshi Li

Browse the full ICTAI paper archive.