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

DOI10.1007/978-3-319-23264-5_41zbMath1470.68219arXiv1506.04929OpenAlexW2194834917WikidataQ62623659 ScholiaQ62623659MaRDI QIDQ3449232

Mehul Bhatt, Carl R. Schultz, Przemysław Andrzej Wałęga

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.04929

zbMATH Keywords

declarative spatial reasoninganswer set programming modulo theoriesnonmonotonic spatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (4)

Non-monotonic spatial reasoning with answer set programming modulo theories ⋮ Unnamed Item ⋮ Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments ⋮ First-order stable model semantics with intensional functions

Cites Work

• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Stable models and circumscription
• Reasoning about solids using constraint logic programming
• An application of CLP: Checking the correctness of theorems in geometry
• System aspmt2smt: Computing ASPMT Theories by SMT Solvers
• Parts, wholes, and part-whole relations: The prospects of mereotopology
• Multi-shot ASP solving with clingo
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories