Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

DOI10.4230/OASIcs.ICLP.2016.4zbMath1428.68282OpenAlexW2575463631MaRDI QIDQ5240208

Sotiris Batsakis, Christopher Brenton, Wolfgang Faber

Publication date: 24 October 2019

Full work available at URL: http://eprints.hud.ac.uk/id/eprint/29805/

zbMATH Keywords

answer set programmingqualitative spatio-temporal reasoning

Mathematics Subject Classification ID

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

Related Items (7)

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming ⋮ A qualitative temporal extension of here-and-there logic ⋮ Unnamed Item ⋮ Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments ⋮ 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 ⋮ Tractable reasoning using logic programs with intensional concepts

Uses Software

• asprin
• GeoSPARQL

Cites Work

• Unnamed Item
• Qualitative reasoning about relative direction of oriented points
• Multi-Criteria Optimization in Answer Set Programming
• Implementing Preferences with asprin
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

This page was built for publication: Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments