Qualitative reasoning about 2D cardinal directions using answer set programming

DOI10.1613/JAIR.1.14345MaRDI QIDQ6488805zbMATH OpenFDO

Authors Yusuf Izmirlioglu, Esra Erdem

Publication date 23 October 2023

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/JAIR.1.14345

zbMATH Keywords

common-sense reasoninglogic programmingqualitative reasoningspatial reasoning

Mathematics Subject Classification ID

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

Recommendations

• Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
• Reasoning about cardinal directions between extended objects
• On the consistency of cardinal direction constraints
• Reasoning about cardinal directions between extended objects: the NP-hardness result
• Composing cardinal direction relations

Cites work

• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Answer set programming
• Answer set programming and plan generation
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• ASP-Core-2 input language format
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Composing cardinal direction relations
• Conflict-driven answer set solving: from theory to practice
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 7453140 (Why is no real title available?)
• scientific article; zbMATH DE number 5212421 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Maintaining knowledge about temporal intervals
• Measure and integral. An introduction to real analysis
• Non-monotonic spatial reasoning with answer set programming modulo theories
• On the consistency of cardinal direction constraints
• Qualitative geometry for shape recognition
• Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
• 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
• Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects
• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
• Tight logic programs

This page was built for publication: Qualitative reasoning about 2D cardinal directions using answer set programming

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