---
title: "Reasoning about Space and Change with Answer Set Programming Modulo Theories"
authors:
  - "Przemyslaw Andrzej Walega"
doi: ""
url: "https://ijcai.org/proceedings/2016/593"
pdf: "https://ijcai.org/proceedings/2016/0593.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "4038-4038"
track: ""
keywords:
---

# Reasoning about Space and Change with Answer Set Programming Modulo Theories

Przemyslaw Andrzej Walega

*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.