A Logic of East and West

DOI10.1613/jair.1.14113zbMath1506.68135OpenAlexW4322621173MaRDI QIDQ5881809

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

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 representationspatial reasoningqualitative reasoning

Mathematics Subject Classification ID

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

Cites Work

• Maintaining knowledge about temporal intervals
• The axiomatization of propositional logic
• Composing cardinal direction relations
• A unifying approach to temporal constraint reasoning
• Querying temporal and spatial constraint networks in PTIME
• Algebraic foundations for qualitative calculi and networks
• On the consistency of cardinal direction constraints
• A new modal logic for reasoning about space: spatial propositional neighborhood logic
• Qualitative Spatial Logics for Buffered Geometries
• Handbook of Spatial Logics
• A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
• Deciding Linear Inequalities by Computing Loop Residues
• Metamathematical discussion of some affine geometries
• Tarski's System of Geometry
• Undecidability of compass logic
• A relation-algebraic approach to the region connection calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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