{"type":"ScholarlyArticle","title":"Reasoning about Space and Change with Answer Set Programming Modulo Theories","authors":[{"name":"Przemyslaw Andrzej Walega","slug":"przemyslaw-andrzej-walega","given":"Przemyslaw Andrzej","family":"Walega","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/593","pdf":"https://ijcai.org/proceedings/2016/0593.pdf","markdown":"https://ijcai.org/proceedings/2016/593.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/593","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":593,"pages":{"first":4038,"last":4038},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}