Rational Region-Based Affine Logic of the Real Plane

DOI10.1145/2897190zbMATH Open1367.68294OpenAlexW2312571665WikidataQ130849093 ScholiaQ130849093MaRDI QIDQ5277922FDOQ5277922

Adam Trybus

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2897190

zbMATH Keywords

convexityaxiomatisationspatial logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constraint networks of topological relations and convexity
• Metamathematical discussion of some affine geometries

Cited In (1)

• Three-dimensional affine spatial logics

This page was built for publication: Rational Region-Based Affine Logic of the Real Plane

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