A Logic of East and West

DOI10.1613/JAIR.1.14113MaRDI QIDQ5881809zbMATH OpenOpenAlexWikidataFDO

Authors Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn

Publication date 13 March 2023

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

Full work available at URL https://doi.org/10.1613/jair.1.14113

zbMATH Keywords

theorem provingknowledge representationqualitative reasoningspatial reasoning

Mathematics Subject Classification ID

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

Recommendations

• A decidable weakening of compass logic based on cone-shaped cardinal directions
• Subject-oriented spatial logic
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• Reasoning about cardinal directions between extended objects
• scientific article; zbMATH DE number 6928613

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 5953014 (Why is no real title available?)
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 714922 (Why is no real title available?)
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• A modal logic for subject-oriented spatial reasoning
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• A relation-algebraic approach to the region connection calculus
• A unifying approach to temporal constraint reasoning
• Algebraic foundations for qualitative calculi and networks
• An axiom system for a spatial logic with convexity
• Composing cardinal direction relations
• Deciding Linear Inequalities by Computing Loop Residues
• Handbook of Spatial Logics
• Maintaining knowledge about temporal intervals
• Metamathematical discussion of some affine geometries
• On the consistency of cardinal direction constraints
• Qualitative spatial logics for buffered geometries
• Querying temporal and spatial constraint networks in PTIME
• Tarski's System of Geometry
• The axiomatization of propositional logic
• Undecidability of compass logic

This page was built for publication: A Logic of East and West

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