Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Antony Galton |
The Mereotopology of Discrete Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 251-266, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory. Foundations of Geographic Information Science, International Conference, COSIT 2003, Ittingen, Switzerland, September 24-28, 2003, Proceedings, pp. 46-60, 2003, Springer, 3-540-20148-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 73-86, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Foundations of Geographic Information Science, International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001, Proceedings, pp. 489-502, 2001, Springer, 3-540-42613-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 267-282, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 283-298, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pervasive ![In: Pervasive Computing, 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings, pp. 309-326, 2009, Springer, 978-3-642-01515-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOWO ![In: Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Sherbrooke, Québec, Canada, July 19-20, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RobOntics@RO-MAN ![In: Proceedings of the Workshop on Ontologies for Autonomous Robotics co-located with The 32nd IEEE International Conference on Robot and Human Interactive Communication (IEEE RO-MAN 2023), Busan, S. Korea, August 28, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Torsten Hahmann |
CODI: A multidimensional theory of mereotopology with closure operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Ontology ![In: Appl. Ontology 15(3), pp. 251-311, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Claudio Mazzola |
The Mereotopology of Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 60(2), pp. 215-252, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Gabriel Landini, Antony Galton, David A. Randell, Shereen Fouad |
Novel applications of discrete mereotopology to mathematical morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. Image Commun. ![In: Signal Process. Image Commun. 76, pp. 109-117, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Anthony G. Cohn 0001 |
Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of GIS ![In: Encyclopedia of GIS., pp. 1215-1216, 2017, Springer, 978-3-319-17884-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Dimiter Vakarelov |
A mereotopology based on sequent algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 27(3-4), pp. 342-364, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Dimiter Vakarelov |
Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCRS (2) ![In: Rough Sets - International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part II, pp. 138-157, 2017, Springer, 978-3-319-60839-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Michael Grüninger, Bahar Aameri |
A New Perspective on the Mereotopology of RCC8. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: 13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy, pp. 2:1-2:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-043-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Tatyana Ivanova, Dimiter Vakarelov |
Distributive mereotopology: extended distributive contact lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 77(1-2), pp. 3-41, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Lydia Silva Muñoz, Michael Grüninger |
Verifying and Mapping the Mereotopology of Upper-Level Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2016) - Volume 2: KEOD, Porto - Portugal, November 9 - 11, 2016., pp. 31-42, 2016, SciTePress. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 29(3), pp. 495-512, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIUA ![In: Medical Image Understanding and Analysis - MIUA 2015. 19th Annual Conference, University of Lincoln, Lincoln, UK, July 15-17, 2015., pp. 126-131, 2015, BMVA, 1-901725-54-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Carl Schultz 0001, Mehul Bhatt |
Encoding Relative Orientation and Mereotopology Relations with Geometric Constraints in CLP(QS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LQMR@FedCSIS ![In: Proceedings of the 2015 Workshop on Logics for Qualitative Modelling and Reasoning (LQMR@FedCSIS 2015), Lódz, Poland, September 13-16, 2015, pp. 55-63, 2015, 978-83-60810-78-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Torsten Hahmann |
A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
26 | Harry Strange, Zhili Chen, Erika R. E. Denton, Reyer Zwiggelaar |
Modelling mammographic microcalcification clusters using persistent mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 47, pp. 157-163, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Stefano Borgo |
'Being a Manifold' as the Topological Primitive of Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 129-134, 2014, IOS Press, 978-1-61499-418-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition IX - International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings, pp. 299-311, 2014, Springer, 978-3-319-11214-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Marion Haemmerli, Achille C. Varzi |
Adding Convexity to Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, September, 22-25, 2014, Rio de Janeiro, Brazil, pp. 65-78, 2014, IOS Press, 978-1-61499-437-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | David A. Randell, Gabriel Landini, Antony Galton |
Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 35(3), pp. 568-581, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Lech Polkowski, Maria Semeniuk-Polkowska |
Granular Mereotopology: A First Sketch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pp. 322-331, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Dimiter Vakarelov |
Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 9, papers from the ninth conference on `Advances in Modal Logic,` held in Copenhagen, Denmark, 22-25 August 2012, pp. 538-558, 2012, College Publications, 978-1-84890-068-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Torsten Hahmann, Michael Grüninger |
Multidimensional Mereotopology with Betweenness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 906-911, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Dimiter Vakarelov |
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 100(1-4), pp. 159-180, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Peter Forrest |
Mereotopology without Mereology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 39(3), pp. 229-254, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Torsten Hahmann, Michael Winter 0001, Michael Gruninger |
Stonian p-ortholattices: A new approach to the mereotopology RT0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 173(15), pp. 1424-1440, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Anthony G. Cohn 0001 |
Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of GIS ![In: Encyclopedia of GIS., pp. 652, 2008, Springer, 978-0-387-30858-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Paulo E. Santos, Pedro Cabalar |
The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cogn. Comput. ![In: Spatial Cogn. Comput. 8(1-2), pp. 47-64, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Torsten Hahmann, Michael Gruninger |
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 263-273, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Ian Pratt-Hartmann |
First-Order Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Spatial Logics ![In: Handbook of Spatial Logics, pp. 13-97, 2007, Springer, 978-1-4020-5586-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 78(2), pp. 217-238, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Antony Galton |
Multidimensional Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 45-54, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
26 | Maureen Donnelly |
Layered Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 1269-1274, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Barry Smith 0001, Berit Brogaard |
Quantum Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 36(1-2), pp. 153-175, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Ian Pratt-Hartmann, Dominik J. Schoop |
Elementary Polyhedral Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 31(5), pp. 469-498, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Paolo Torrini, John G. Stell, Brandon Bennett |
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 12(3-4), pp. 495-526, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Dominik J. Schoop |
Points in point-free mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 46(1-2), pp. 129-143, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
26 | Ivo Düntsch, Gunther Schmidt 0001, Michael Winter 0001 |
A Necessary Relation Algebra for Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 69(3), pp. 381-409, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Ian E. Pratt, Dominik J. Schoop |
Expressivity in Polygonal, Plane Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(2), pp. 822-838, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Ian E. Pratt, Dominik J. Schoop |
A Complete Axiom System for Polygonal Mereotopology of the Real Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 27(6), pp. 621-658, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Anthony G. Cohn 0001, Achille C. Varzi |
Connection Relations in Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. , pp. 150-154, 1998, John Wiley and Sons, 9780471984313. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
26 | Christoph Dornheim |
Undecidability of Plane Polygonal Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998., pp. 342-355, 1998, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
26 | Ian E. Pratt, Oliver Lemon |
Ontologies for Plane, Polygonal Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 38(2), pp. 225-245, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Barry Smith 0001 |
Mereotopology: A Theory of Parts and Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 20(3), pp. 287-303, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Achille C. Varzi |
Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 20(3), pp. 259-286, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Nicholas Asher, Laure Vieu |
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI (1) ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 846-852, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
23 | Maureen Donnelly, Thomas Bittner |
Spatial Relations Between Classes of Individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings, pp. 182-199, 2005, Springer, 3-540-28964-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Anthony G. Cohn 0001 |
Reasoning about Qualitative Representations of Space and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 334, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Oliver Lemon, Ian E. Pratt |
Logics for geographic information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 1(1), pp. 75-90, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|