Group: MST Reasoner - library 52 articles Export

	RCC-3D: Qualitative Spatial Reasoning in 3D [My Copy] Spatial Cognition and Computation: An Interdisciplinary Journal (August 2009) by Julia Albath, Jennifer L. Leopold, Anne M. Maglia edited by A. G. Cohn posted to qualitative_spatial_reasoning by SwissJ74 to the group MST Reasoner on 2009-11-09 18:54:53 as
	Picture grammars in classification and semantic interpretation of 3D coronary vessels visualisations [My Copy] Opto-Electronics Review, Vol. 17, No. 3. (2009), pp. 200-210. by M. R. Ogiela, R. Tadeusiewicz, M. Trzupek posted to graph-grammars by SwissJ74 to the group MST Reasoner on 2009-10-09 01:36:07 as
	Specification of morphological models with L-systems and relational growth grammars [My Copy] Journal of Interdisciplinary Image Science, Vol. 5 (2007) by W. Kurth posted to graph-grammars by SwissJ74 to the group MST Reasoner on 2009-10-09 01:34:39 as
	Infinite Qualitative Simulations by Means of Constraint Programming [My Copy] Lecture Notes in Computer Science, Vol. 4204 (2006) by K. R. Apt, S. Brand posted to efficient by SwissJ74 to the group MST Reasoner on 2009-09-17 18:42:51 as
	SparQ: A toolbox for qualitative spatial representation and reasoning [My Copy] In Workshop at KI 2006 by F. Dylla, L. Frommberger, J. O. Wallgrun, D. Wolter posted to efficient by SwissJ74 to the group MST Reasoner on 2009-09-17 17:38:01 as
	What is a qualitative calculus? A general framework [My Copy] Lecture notes in computer science (2004), pp. 53-64. by G. Ligozat, J. Renz posted to efficient by SwissJ74 to the group MST Reasoner on 2009-09-14 19:29:46 as
	Path consistency revisited [My Copy] International Journal on Artificial Intelligence Tools, Vol. 5 (1996), pp. 127-142. by M. Singh posted to efficient by SwissJ74 to the group MST Reasoner on 2009-09-11 19:39:45 as
	Dynamic path consistency for interval-based temporal reasoning [My Copy] In Proceedings of the IASTED 21st International Conference on Artificial Intelligence and Applications (AIA'2003), ACTA Press (2003) by M. Mouhoub posted to efficient by SwissJ74 to the group MST Reasoner on 2009-09-11 19:30:47 as
	Qualitative spatial reasoning: theory and practice: application to robot navigation [My Copy] (1998) by M. T. Escrig, F. Toledo posted to efficient by SwissJ74 to the group MST Reasoner on 2009-09-09 21:54:48 as
	A connection based approach to common-sense topological description and reasoning [My Copy] Monist, Vol. 79 (1996), pp. 51-75. by N. M. Gotts, J. M. Gooday, A. G. Cohn posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-30 21:19:15 as
	The naive physics manifesto [My Copy] (1978) by P. J. Hayes, Institut posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-23 19:20:47 as
	Parts and places: the structures of spatial representation [My Copy] (1999) by R. Casati, A. C. Varzi posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-23 02:25:27 as
	Parts: A study in ontology [My Copy] (1987) by P. Simons posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-23 02:24:13 as
	The application of qualitative spatial reasoning to GIS [My Copy] In Proc First Int. Conf. on GeoComputation, Vol. 1 (1996), pp. 44-47. by B. Bennett posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-22 20:05:59 as
	Combining topological and size information for spatial reasoning [My Copy] Artificial Intelligence, Vol. 137, No. 1-2. (2002), pp. 1-42. by A. Gerevini, J. Renz posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-22 19:37:11 as
	Diagrammatic reasoning: Cognitive and computational perspectives [My Copy] (1995) by J. Glasgow, N. H. Narayanan, B. Chandrasekaran posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-22 19:33:57 as
	Bootstrap learning of foundational representations [My Copy] Connection Science, Vol. 18, No. 2. (2006), pp. 145-158. by B. J. Kuipers, P. Beeson, J. Modayil, J. Provost posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-22 19:31:58 as
	Modeling interaction using learnt qualitative spatio-temporal relations and variable length markov models [My Copy] In ECAI (2002), pp. 741-746. by A. Galata, A. Cohn, D. Magee, D. Hogg posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-22 19:27:46 as
	Qualitative spatial and temporal reasoning: Efficient algorithms for everyone [My Copy] In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) (2007), pp. 526-531. by J. Renz posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-15 22:21:49 as
	On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus [My Copy] Artificial Intelligence, Vol. 108, No. 1-2. (1999), pp. 69-123. by J. Renz, B. Nebel posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-15 22:04:22 as
	Maximal tractable fragments of the region connection calculus: A complete analysis [My Copy] In INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, Vol. 16 (1999), pp. 448-455. by J. Renz posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-15 22:03:05 as
	Topological inference [My Copy] In International Joint Conference on Artificial Intelligence, Vol. 14 (1995), pp. 901-907. by M. Grigni, D. Papadias, C. Papadimitriou posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-15 22:01:19 as
	Efficient Methods for Qualitative Spatial Reasoning [My Copy] In Journal of Artificial Intelligence Research (1998), pp. 562-566. by Jochen Renz, Bernhard Nebel posted to reasoner related by SwissJ74 to the group MST Reasoner on 2009-06-15 21:54:16 as
	An Axiomatization of Common-Sense Geometry [My Copy] (2001) by M. Donnelly posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-10 03:00:27 as
	On parts and holes: The spatial structure of the human body [My Copy] In MEDINFO 2004--Proceedings of the 11th World Congress on Medical Informatics (2004) by M. Donnelly posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-08 17:05:44 as
	Modeling principles and methodologies-spatial representation and reasoning [My Copy] Anatomy Ontologies for Bioinformatics: Principles and Practice (2007) by T. Bittner, M. Donnelly, L. J. Goldberg, F. Neuhaus posted to anatomy reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-06 03:00:43 as
	On the boundary between mereology and topology' [My Copy] In Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium, 15-22 August 1993, Kirchberg Am Wechsel (Austria) (1993) by A. C. Varzi posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-05 16:04:23 as
	Parts, wholes, and part-whole relations: The prospects of mereotopology [My Copy] Data & Knowledge Engineering, Vol. 20, No. 3. (1996), pp. 259-286. by A. C. Varzi posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-05 16:02:34 as
	Mereotopological reasoning about parts and (w)holes in bio-ontologies [My Copy] In FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems (2001), pp. 210-221. by Stefan Schulz, Udo Hahn posted to anatomy reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-05 04:16:16 as
	Mereotopological connection [My Copy] Journal of Philosophical Logic, Vol. 32, No. 4. (2003), pp. 357-390. by A. G. Cohn, A. C. Varzi posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-02 23:48:12 as
	Spatial representation and reasoning in AI [My Copy] Stock, O.(Editeur): Spatial and Temporal Reasoning. Kluwer (1997), pp. 3-40. by L. Vieu posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-04-02 22:00:55 as
	Modeling anatomical spatial relations with description logics [My Copy] JOURNAL-AMERICAN MEDICAL INFORMATICS ASSOCIATION, Vol. 7 (2000), pp. 779-783. by S. Schulz, U. Hahn, M. Romacker posted to anatomy reasoner related-work saturday by SwissJ74 to the group MST Reasoner on 2009-03-31 05:23:40 as
	Generalized region connection calculus [My Copy] Artificial Intelligence, Vol. 160, No. 1-2. (2004), pp. 1-34. by S. Li, M. Ying posted to reasoner related-work saturday by SwissJ74 to the group MST Reasoner on 2009-03-31 05:20:51 as
	Using occlusion calculi to interpret digital images [My Copy] FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, Vol. 141 (2006) by D. Randell, M. Witkowski posted to reasoner related-work saturday by SwissJ74 to the group MST Reasoner on 2009-03-31 05:18:50 as
	The Occlusion Calculus [My Copy] In Cognitive Vision Workshop (2002) by C. Kohler posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-16 20:28:53 as
	Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning [My Copy] Proceedings of the KR (2006) by M. Ragni, S. Wölfl posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-16 20:27:58 as
	Combining Logic and Probability in Tracking and Scene Interpretation [My Copy] by B. Bennett posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-16 20:26:22 as
	Qualitative Spatial Reasoning [My Copy] Cognitive and Linguistic Aspects of Geographic Space (1991), pp. 361-372. by C. Freksa posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-16 20:21:21 as
	Formalising bio-spatial knowledge [My Copy] In Proceedings of the international conference on Formal Ontology in Information Systems-Volume 2001 (2001), pp. 198-209. by A. G. Cohn posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-16 19:51:32 as
	Qualitative Spatial Representation and Reasoning with the Region Connection Calculus [My Copy] GeoInformatica, Vol. 1, No. 3. (1997), pp. 275-316. by A. G. Cohn, B. Bennett, J. Gooday, N. M. Gotts posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-16 17:34:27 as
	A spatial logic based on regions and connection [My Copy] In KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (1992), pp. 165-176. by D. A. Randell, Z. Cui, A. Cohn, B. Nebel, C. Rich, W. Swartout posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-12 21:06:37 as
	Spatial Reasoning with Propositional Logics [My Copy] KR'94: Principles of Knowledge Representation and Reasoning (1994), pp. 51-62. by B. Bennett, J. Doyle, E. Sandewall, P. Torasso posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-12 19:43:48 as
	Qualitative Spatial Representation and Reasoning [My Copy] Handbook of Knowledge Representation (2008), pp. 551-596. by A. G. Cohn, J. Renz posted to saturday related-work reasoner efficient by SwissJ74 to the group MST Reasoner on 2009-02-09 21:08:44 as
	Reasoning about taxonomies in first-order logic☆ [My Copy] Ecological Informatics, Vol. 2, No. 3. (October 2007), pp. 195-209. by D. Thau, B. Ludascher posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 17:57:49 as
	Multimedia Reasoning with Natural Language Support [My Copy] In Proceedings of IEEE-International Conference on Semantic Computing (2007), pp. 413-420. by S. Dasiopoulou, J. Heinecke, C. Saathoff, M. G. Strintzis posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 05:14:36 as
	Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity [My Copy] In ECAI (2002), pp. 312-316. by A. Gerevini, B. Nebel posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 05:04:27 as
	A computer model of diagrammatic reasoning [My Copy] In AAAI Symposium on Reasoning with Diagrammatic Representations by N. H. Narayanan, B. Chandrasekaran posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 04:51:03 as
	Constraint-based Temporal Reasoning and E-Learning Tools for Deaf Users. A Literature Review [My Copy] by K. Representation, M. D. Bases posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 04:47:48 as
	Qualitative Spatial Representation and Reasoning: An Overview [My Copy] Fundamenta Informaticae, Vol. 46, No. 1. (2001), pp. 1-29. by A. G. Cohn posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 04:31:22 as
	Ontology-Based Photo Annotation [My Copy] IEEE INTELLIGENT SYSTEMS (2001), pp. 66-74. by A. T. G. Schreiber, B. Dubbeldam, J. Wielemaker, B. Wielinga posted to reasoner related-work by SwissJ74 to the group MST Reasoner on 2009-02-06 04:18:40 as