Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

DOI10.1017/S1471068420000411zbMath1468.68224arXiv2008.04126OpenAlexW3088017103MaRDI QIDQ5140026

Esra Erdem, Yusuf Izmirlioglu

Publication date: 13 December 2020

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

building designanswer-set programmingdigital forensicsqualitative spatial reasoningconsistency checking3D-spacecardinal directional calculusmarine exploration

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• z3
• Potassco

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Composing cardinal direction relations
• Reasoning about cardinal directions between extended objects
• Answer set programming and plan generation
• Logic programs with stable model semantics as a constraint programming paradigm
• On the consistency of cardinal direction constraints
• A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
• Non-monotonic spatial reasoning with answer set programming modulo theories
• Tractability Results in the Block Algebra
• ASP-Core-2 Input Language Format
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

This page was built for publication: Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming