scientific article; zbMATH DE number 7453140

MaRDI QIDQ5020581zbMATH OpenFDO

Authors Yusuf Izmirlioglu

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08257, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.50

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Combining topological and size information for spatial reasoning
• Composing cardinal direction relations
• scientific article; zbMATH DE number 1487799 (Why is no real title available?)
• scientific article; zbMATH DE number 2085247 (Why is no real title available?)
• Maintaining knowledge about temporal intervals
• On the consistency of cardinal direction constraints
• Qualitative reasoning about relative direction of oriented points
• Qualitative representation of positional information
• Reasoning about cardinal directions between extended objects
• Reasoning about cardinal directions between extended objects: the NP-hardness result
• Reasoning about distance based on fuzzy sets

Cited in

(1)

• Qualitative reasoning about 2D cardinal directions using answer set programming

This page was built for publication:

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