Answer set programming for qualitative spatio-temporal reasoning: methods and experiments

DOI10.4230/OASICS.ICLP.2016.4MaRDI QIDQ5240208zbMATH OpenOpenAlexFDO

Authors Christopher Brenton, Wolfgang Faber, Sotiris Batsakis

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 programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• A trajectory calculus for qualitative spatial reasoning using answer set programming
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• scientific article; zbMATH DE number 6747939
• scientific article; zbMATH DE number 1753151

Cites work

• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• scientific article; zbMATH DE number 1753151 (Why is no real title available?)
• Implementing preferences with asprin
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Multi-criteria optimization in answer set programming
• Qualitative reasoning about relative direction of oriented points

Cited in

(13)

• Tractable reasoning using logic programs with intensional concepts
• A qualitative temporal extension of here-and-there logic
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Non-monotonic spatial reasoning with answer set programming modulo theories
• scientific article; zbMATH DE number 7453140 (Why is no real title available?)
• 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
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• scientific article; zbMATH DE number 6747939 (Why is no real title available?)
• Logics in Artificial Intelligence
• Qualitative reasoning about 2D cardinal directions using answer set programming
• Linear-time temporal answer set programming

Describes a project that uses

Uses Software

• asprin
• GeoSPARQL

This page was built for publication: Answer set programming for qualitative spatio-temporal reasoning: methods and experiments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240208)