Reasoning About Space and Change with Answer Set Programming Modulo Theories
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. PDF
Cite
Text
Walega. "Reasoning About Space and Change with Answer Set Programming Modulo Theories." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Walega. "Reasoning About Space and Change with Answer Set Programming Modulo Theories." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/walega2016ijcai-reasoning/)BibTeX
@inproceedings{walega2016ijcai-reasoning,
title = {{Reasoning About Space and Change with Answer Set Programming Modulo Theories}},
author = {Walega, Przemyslaw Andrzej},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4038-4039},
url = {https://mlanthology.org/ijcai/2016/walega2016ijcai-reasoning/}
}