Search results for "Mereotopology"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Antony Galton	The Mereotopology of Discrete Space.	COSIT	1999	DBLP DOI BibTeX RDF	Discrete Space, Artificial Intelligence, Connection, Regions, Adjacency, Mereotopology
96	Maureen Donnelly, Barry Smith 0001	Layers: A New Approach to Locating Objects in Space.	COSIT	2003	DBLP DOI BibTeX RDF	map layers, dynamic GIS, Ontology, qualitative spatial reasoning, mereology, mereotopology
96	Marco Aiello 0001	Topo-distance: Measuring the Difference between Spatial Patterns.	JELIA	2000	DBLP DOI BibTeX RDF	RCC, model comparison games, qualitative spatial reasoning, mereotopology
50	David M. Mark, André Skupin, Barry Smith 0001	Features, Objects, and Other Things: Ontological Distinctions in the Geographic Domain.	COSIT	2001	DBLP DOI BibTeX RDF	geographic categories, human subjects testing, geographic information systems, GIS, prototypes, self-organizing maps, spatial cognition, spatialization, mereotopology, Geographic ontology
50	Barry Smith 0001	Agglomerations.	COSIT	1999	DBLP DOI BibTeX RDF	ethnic conflict, cognitive epidemiology, ontology, territoriality, mereotopology
50	David M. Mark, Barry Smith 0001, Barbara Tversky	Ontology and Geographic Objects: An Empirical Study of Cognitive Categorization.	COSIT	1999	DBLP DOI BibTeX RDF	geographic categories, human-subjects testing, geographic information systems, GIS, prototypes, spatial cognition, mereotopology, Geographic ontology
27	Hedda Rahel Schmidtke, Woontack Woo	Towards Ontology-Based Formal Verification Methods for Context Aware Systems.	Pervasive	2009	DBLP DOI BibTeX RDF	ontologies, program verification, context modelling, mereotopology
26	Yixin Sun, Michael Grüninger	A Unifying Approach to Boundaries and Multidimensional Mereotopology.	JOWO	2023	DBLP BibTeX RDF
26	Florent Leoty, Jona Thai, Bernard Archimède, Philippe Fillatreau, Michael Grüninger	Using Mereotopology for Automated Spatial Inference in Task and Motion Planning.	RobOntics@RO-MAN	2023	DBLP BibTeX RDF
26	Torsten Hahmann	CODI: A multidimensional theory of mereotopology with closure operations.	Appl. Ontology	2020	DBLP DOI BibTeX RDF
26	Claudio Mazzola	The Mereotopology of Time.	Notre Dame J. Formal Log.	2019	DBLP DOI BibTeX RDF
26	Gabriel Landini, Antony Galton, David A. Randell, Shereen Fouad	Novel applications of discrete mereotopology to mathematical morphology.	Signal Process. Image Commun.	2019	DBLP DOI BibTeX RDF
26	Anthony G. Cohn 0001	Mereotopology.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
26	Dimiter Vakarelov	A mereotopology based on sequent algebras.	J. Appl. Non Class. Logics	2017	DBLP DOI BibTeX RDF
26	Dimiter Vakarelov	Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract).	IJCRS (2)	2017	DBLP DOI BibTeX RDF
26	Michael Grüninger, Bahar Aameri	A New Perspective on the Mereotopology of RCC8.	COSIT	2017	DBLP DOI BibTeX RDF
26	Tatyana Ivanova, Dimiter Vakarelov	Distributive mereotopology: extended distributive contact lattices.	Ann. Math. Artif. Intell.	2016	DBLP DOI BibTeX RDF
26	Lydia Silva Muñoz, Michael Grüninger	Verifying and Mapping the Mereotopology of Upper-Level Ontologies.	KEOD	2016	DBLP DOI BibTeX RDF
26	Elise Gruhier, Frédéric Demoly, Olivier Dutartre, Said Abboudi, Samuel Gomes	A formal ontology-based spatiotemporal mereotopology for integrated product design and assembly sequence planning.	Adv. Eng. Informatics	2015	DBLP DOI BibTeX RDF
26	Rachel Flight, Gabriel Landini, Iain B. Styles, Richard Shelton, Michael Milward, Paul Cooper	Automated Optimisation of Cell Segmentation Parameters in Phase Contrast Microscopy using Discrete Mereotopology.	MIUA	2015	DBLP BibTeX RDF
26	Carl Schultz 0001, Mehul Bhatt	Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS).	LQMR@FedCSIS	2015	DBLP BibTeX RDF
26	Torsten Hahmann	A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry.		2015	RDF
26	Harry Strange, Zhili Chen, Erika R. E. Denton, Reyer Zwiggelaar	Modelling mammographic microcalcification clusters using persistent mereotopology.	Pattern Recognit. Lett.	2014	DBLP DOI BibTeX RDF
26	Stefano Borgo	'Being a Manifold' as the Topological Primitive of Mereotopology.	ECAI	2014	DBLP DOI BibTeX RDF
26	André van Delden, Reinhard Moratz	Crossing the Boundary - Two Benchmarks for Qualitative Spatial Reasoning Bridging Relative Directions and Mereotopology.	Spatial Cognition	2014	DBLP DOI BibTeX RDF
26	Marion Haemmerli, Achille C. Varzi	Adding Convexity to Mereotopology.	FOIS	2014	DBLP DOI BibTeX RDF
26	David A. Randell, Gabriel Landini, Antony Galton	Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2013	DBLP DOI BibTeX RDF
26	Lech Polkowski, Maria Semeniuk-Polkowska	Granular Mereotopology: A First Sketch.	CS&P	2013	DBLP BibTeX RDF
26	Dimiter Vakarelov	Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics.	Advances in Modal Logic	2012	DBLP BibTeX RDF
26	Torsten Hahmann, Michael Grüninger	Multidimensional Mereotopology with Betweenness.	IJCAI	2011	DBLP DOI BibTeX RDF
26	Dimiter Vakarelov	Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
26	Peter Forrest	Mereotopology without Mereology.	J. Philos. Log.	2010	DBLP DOI BibTeX RDF
26	Torsten Hahmann, Michael Winter 0001, Michael Gruninger	Stonian p-ortholattices: A new approach to the mereotopology RT0.	Artif. Intell.	2009	DBLP DOI BibTeX RDF
26	Anthony G. Cohn 0001	Mereotopology.	Encyclopedia of GIS	2008	DBLP DOI BibTeX RDF
26	Paulo E. Santos, Pedro Cabalar	The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology.	Spatial Cogn. Comput.	2008	DBLP DOI BibTeX RDF
26	Torsten Hahmann, Michael Gruninger	Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.	KR	2008	DBLP BibTeX RDF
26	Ian Pratt-Hartmann	First-Order Mereotopology.	Handbook of Spatial Logics	2007	DBLP DOI BibTeX RDF
26	Olivia Breysse, Michel De Glas	A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology.	Fundam. Informaticae	2007	DBLP BibTeX RDF
26	Antony Galton	Multidimensional Mereotopology.	KR	2004	DBLP BibTeX RDF
26	Maureen Donnelly	Layered Mereotopology.	IJCAI	2003	DBLP BibTeX RDF
26	Barry Smith 0001, Berit Brogaard	Quantum Mereotopology.	Ann. Math. Artif. Intell.	2002	DBLP DOI BibTeX RDF
26	Ian Pratt-Hartmann, Dominik J. Schoop	Elementary Polyhedral Mereotopology.	J. Philos. Log.	2002	DBLP DOI BibTeX RDF
26	Paolo Torrini, John G. Stell, Brandon Bennett	Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.	J. Appl. Non Class. Logics	2002	DBLP DOI BibTeX RDF
26	Dominik J. Schoop	Points in point-free mereotopology.	Fundam. Informaticae	2001	DBLP BibTeX RDF
26	Ivo Düntsch, Gunther Schmidt 0001, Michael Winter 0001	A Necessary Relation Algebra for Mereotopology.	Stud Logica	2001	DBLP DOI BibTeX RDF
26	Ian E. Pratt, Dominik J. Schoop	Expressivity in Polygonal, Plane Mereotopology.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
26	Ian E. Pratt, Dominik J. Schoop	A Complete Axiom System for Polygonal Mereotopology of the Real Plane.	J. Philos. Log.	1998	DBLP DOI BibTeX RDF
26	Anthony G. Cohn 0001, Achille C. Varzi	Connection Relations in Mereotopology.	ECAI	1998	DBLP BibTeX RDF
26	Christoph Dornheim	Undecidability of Plane Polygonal Mereotopology.	KR	1998	DBLP BibTeX RDF
26	Ian E. Pratt, Oliver Lemon	Ontologies for Plane, Polygonal Mereotopology.	Notre Dame J. Formal Log.	1997	DBLP DOI BibTeX RDF
26	Barry Smith 0001	Mereotopology: A Theory of Parts and Boundaries.	Data Knowl. Eng.	1996	DBLP DOI BibTeX RDF
26	Achille C. Varzi	Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology.	Data Knowl. Eng.	1996	DBLP DOI BibTeX RDF
26	Nicholas Asher, Laure Vieu	Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology.	IJCAI (1)	1995	DBLP BibTeX RDF
23	Maureen Donnelly, Thomas Bittner	Spatial Relations Between Classes of Individuals.	COSIT	2005	DBLP DOI BibTeX RDF
23	Anthony G. Cohn 0001	Reasoning about Qualitative Representations of Space and Time.	CADE	2003	DBLP DOI BibTeX RDF
23	Oliver Lemon, Ian E. Pratt	Logics for geographic information.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF