A Topological Constraint Language with Component Counting

DOI10.3166/JANCL.12.441-467zbMATH Open1185.03054OpenAlexW2025214884MaRDI QIDQ3647303FDOQ3647303

Ian Pratt-Hartmann

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.441-467

zbMATH Keywords

computational complexitytopologyconstraintsspatial reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other applications of logic (03B80) Generalities in topology (54A99)

Cites Work

• Title not available (Why is that?)
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• Qualitative spatial reasoning with topological information
• Individuals and points
• A calculus of individuals based on 'connection'
• A complete axiom system for polygonal mereotopology of the real plane
• Ontologies for plane, polygonal mereotopology
• Expressivity in polygonal, plane mereotopology

Cited In (2)

• Extended contact algebras and internal connectedness
• A modal logic framework for reasoning about comparative distances and topology

This page was built for publication: A Topological Constraint Language with Component Counting

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