Non-monotonic spatial reasoning with answer set programming modulo theories
From MaRDI portal
Publication:4593084
DOI10.1017/S1471068416000193zbMath1379.68303arXiv1606.07860OpenAlexW2963556801WikidataQ62623612 ScholiaQ62623612MaRDI QIDQ4593084
Carl R. Schultz, Przemysław Andrzej Wałęga, Mehul Bhatt
Publication date: 9 November 2017
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.07860
actionschangereasoning about spacedeclarative spatial reasoninganswer set programming modulo theoriesnonmonotonic spatial reasoningdynamic spatial systems
Related Items (3)
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming ⋮ Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming ⋮ Tractable reasoning using logic programs with intensional concepts
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Stable models and circumscription
- How does a box work? A study in the qualitative dynamics of solid objects
- Formalising the Fisherman's Folly puzzle
- Partial cylindrical algebraic decomposition for quantifier elimination
- Reasoning about solids using constraint logic programming
- An application of CLP: Checking the correctness of theorems in geometry
- Pouring liquids: a study in commonsense physical reasoning
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
- Handbook of Spatial Logics
- Parts, wholes, and part-whole relations: The prospects of mereotopology
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Logic Programming and Nonmonotonic Reasoning
This page was built for publication: Non-monotonic spatial reasoning with answer set programming modulo theories