Qualitative Spatial and Temporal Reasoning with Answer Set Programming
Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate problems in qualitative spatial and t
|Collections||ANU Research Publications|
|Source:||Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI|
|01_Li_Qualitative_Spatial_and_2012.pdf||1.23 MB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.