scientific article; zbMATH DE number 6917250

DOI10.4230/LIPICS.COSIT.2017.1zbMATH Open1433.68433MaRDI QIDQ4580233FDOQ4580233

Giulia Sindoni, John G. Stell

Publication date: 13 August 2018

Title of this publication is not available (Why is that?)

zbMATH Keywords

modal logicdiscrete spacequalitative spatial reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Bi-Heyting algebras, toposes and modalities
• A bi-intuitionistic modal logic: foundations and automation
• Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
• Digital Topology
• Title not available (Why is that?)
• Mereotopological connection
• Title not available (Why is that?)
• A Proximity Approach to Some Region-Based Theories of Space
• Discrete Mereotopology

Cited In (4)

• Qualitative reasoning about gradual deformations of topological relationships
• Title not available (Why is that?)
• Title not available (Why is that?)
• Expressing discrete spatial relations under granularity

This page was built for publication:

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