A Logic of East and West
From MaRDI portal
Publication:5881809
DOI10.1613/JAIR.1.14113zbMATH Open1506.68135OpenAlexW4322621173WikidataQ130821828 ScholiaQ130821828MaRDI QIDQ5881809FDOQ5881809
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
Recommendations
Cites Work
- Maintaining knowledge about temporal intervals
- A unifying approach to temporal constraint reasoning
- Title not available (Why is that?)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- Handbook of Spatial Logics
- Undecidability of compass logic
- Title not available (Why is that?)
- Deciding Linear Inequalities by Computing Loop Residues
- On the consistency of cardinal direction constraints
- Composing cardinal direction relations
- Tarski's System of Geometry
- A relation-algebraic approach to the region connection calculus
- Title not available (Why is that?)
- The axiomatization of propositional logic
- Metamathematical discussion of some affine geometries
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- A modal logic for subject-oriented spatial reasoning
- Title not available (Why is that?)
- Querying temporal and spatial constraint networks in PTIME
- Algebraic foundations for qualitative calculi and networks
- Qualitative spatial logics for buffered geometries
- An axiom system for a spatial logic with convexity
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)
