A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

DOI10.1017/S147106841800011XzbMath1451.68252arXiv1804.07088OpenAlexW2796945618MaRDI QIDQ4559799

Pei-Wei Tsai, George Baryannis, Grigoris Antoniou, Ilias Tachmazidis, Sotiris Batsakis, Mario Alviano, Timos K. Sellis

Publication date: 4 December 2018

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

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

zbMATH Keywords

trajectoryspatial reasoningqualitative reasoninganswer set programming

Mathematics Subject Classification ID

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

Related Items (5)

Modal logic S5 in answer set programming with lazy creation of worlds ⋮ Unnamed Item ⋮ A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming ⋮ Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming ⋮ Modal Logic S5 Satisfiability in Answer Set Programming

Uses Software

• Gringo
• Clingo
• Datalog

Cites Work

• A survey of complexity results for non-monotonic logics
• Abstract gringo
• Non-monotonic spatial reasoning with answer set programming modulo theories
• Big Data
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming