scientific article; zbMATH DE number 6928613

zbMATH Open1394.68370MaRDI QIDQ4583959FDOQ4583959

Authors: Heshan Du, Natasha Alechina 

Publication date: 29 August 2018

Full work available at URL: http://ebooks.iospress.nl/volumearticle/37198

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

Recommendations

• Qualitative spatial logics for buffered geometries
• A Spatial Logic for Simplicial Models
• A formal theory for reasoning about parthood, connection, and location
• Geometric Models for Relevant Logics
• Geometry of cut-complexes and threshold logic
• Geometrical semantics for linear logic (multiplicative fragment)
• Publication:3359638
• An introduction to partition logic
• scientific article; zbMATH DE number 874533

Mathematics Subject Classification ID

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

Cited In (3)

• A Logic of East and West
• Formal qualitative spatial augmentation of the simple feature access model
• Qualitative spatial logics for buffered geometries

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 Q4583959)