ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories

Preprint English OPEN
Wałęga, Przemysław Andrzej; Bhatt, Mehul; Schultz, Carl;
(2015)
  • Subject: Computer Science - Artificial Intelligence | Computer Science - Logic in Computer Science

The systematic modelling of \emph{dynamic spatial systems} [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel appr... View more
  • References (29)
    29 references, page 1 of 3

    1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832-843 (1983)

    2. Bartholomew, M., Lee, J.: Stable models of formulas with intensional functions. In: KR (2012)

    3. Bartholomew, M., Lee, J.: Functional stable model semantics and answer set programming modulo theories. In: Proceedings of the Twenty-Third international joint conference on Artificial Intelligence. pp. 718-724. AAAI Press (2013)

    4. Bartholomew, M., Lee, J.: System aspmt2smt: Computing ASPMT Theories by SMT Solvers. In: Logics in Artificial Intelligence, pp. 529-542. Springer (2014)

    5. Bhatt, M.: (Some) Default and Non-Monotonic Aspects of Qualitative Spatial Reasoning. In: AAAI-08 Technical Reports, Workshop on Spatial and Temporal Reasoning. pp. 1-6 (2008)

    6. Bhatt, M.: Reasoning about space, actions and change: A paradigm for applications of spatial reasoning. In: Qualitative Spatial Representation and Reasoning: Trends and Future Directions. IGI Global, USA (2012)

    7. Bhatt, M., Guesgen, H., Wölfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: Emerging applications, trends, and directions. Spatial Cognition & Computation 11(1), 1-14 (2011)

    8. Bhatt, M., Lee, J.H., Schultz, C.: CLP(QS): A Declarative Spatial Reasoning Framework. In: Proceedings of the 10th international conference on Spatial information theory. pp. 210-230. COSIT'11, Springer-Verlag, Berlin, Heidelberg (2011)

    9. Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spatial Cognition and Computation 8(1), 86-130 (2008)

    10. Bhatt, M., Wallgrün, J.O.: Geospatial narratives and their spatio-temporal dynamics: Commonsense reasoning for high-level analyses in geographic information systems. ISPRS International Journal of Geo-Information 3(1), 166-205 (2014)

  • Metrics
    No metrics available
Share - Bookmark