International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2015: Logic Programming and Nonmonotonic Reasoning pp 565-571

Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning

Conference paper

DOI: 10.1007/978-3-319-23264-5_48

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9345)
Cite this paper as:
Wałęga P.A. (2015) Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. In: Calimeri F., Ianni G., Truszczynski M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2015. Lecture Notes in Computer Science, vol 9345. Springer, Cham


My work on PhD thesis consists in nonmonotonic reasoning about spatial relations and how they change in time. Although there are several approaches concerning this topic, to the best of my knowledge, there is no general framework that provides nonmonotonic (qualitative) spatial reasoning. The work I have accomplished so far consists in introducing the so-called ASPMT(QS) system. It is based on a paradigm of Answer Set Programming Modulo Theories (ASPMT) and polynomial encodings of spatial relations. The system enables modelling of dynamically varying spatial information, as well as abductive reasoning, and its first version is already implemented. As a future work I consider extending ASPMT(QS) in order to perform more complex spatio-temporal reasoning and try to overcome limitations of the current implementation.


Nonmonotonic spatial reasoning Declarative spatial reasoning Qualitative reasoning Answer set programming modulo theories 

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.University of Warsaw, Institute of PhilosophyWarsawPoland

Personalised recommendations