Reasoning about Space and Change with Answer Set Programming Modulo Theories
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 4038-4038.
Abstract
The aim of my work is to establish a computational framework for commonsense spatial reasoning about dynamic domains. The work accomplished so far consists of theoretical investigation of a framework based on a paradigm of Answer Set Programming Modulo Theories and its implementation. The developed system enables to integrate geometrical and qualitative spatial information, reason about indirect spatial effects and perform non-monotonic reasoning in a context of spatio-temporal contexts. In future it might be applied to a wide range of dynamic domains such as cognitive robotics, computer-aided architecture design, geographic information systems, etc.
@inproceedings{ijcai2016p593,
title = {Reasoning about Space and Change with Answer Set Programming Modulo Theories},
author = {Walega, Przemyslaw Andrzej},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {4038--4038},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/593},
}
TY - CPAPER TI - Reasoning about Space and Change with Answer Set Programming Modulo Theories AU - Walega, Przemyslaw Andrzej T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 4038 EP - 4038 UR - https://ijcai.org/proceedings/2016/593 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
