Qualitative Spatial and Temporal Reasoning with Answer Set Programming
Abstract
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
Description
Keywords
Citation
Collections
Source
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description