Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Solutions to a paradox of perception with limited acuity
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Temporal reasoning based on semi-intervals
Artificial Intelligence
Artificial Intelligence
A symbolic approach to qualitative kinematics
Artificial Intelligence
Naive topology: modeling the force pump
Recent advances in qualitative physics
The EGG/YOLK reliability hierarchy: semantic data integration using sorts with prototypes
CIKM '94 Proceedings of the third international conference on Information and knowledge management
A model for integrated qualitative spatial and dynamic reasoning about physical systems
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
A theory for qualitative spatial reasoning based on order relations
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Default reasoning about spatial occupancy
Artificial Intelligence
A comparison of methods for representing topological relationships
Information Sciences—Applications: An International Journal
Classical mereology and restricted domains
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Taxonomies of logically defined qualitative spatial relations
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Artificial Intelligence
Using spatial logic to describe visual languages
Artificial Intelligence Review - Special issue on integration of natural language and vision processing: recent advances
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Qualitative representation of positional information
Artificial Intelligence
A method of spatial reasoning based on qualitative trigonometry
Artificial Intelligence
Neat versus scruffy: a review of computational models for spatial expressions
Representation and processing of spatial expressions
A fully formalized theory for describing visual notations
Visual language theory
An algebra for cyclic ordering of 2D orientations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Uncertainly measures of rough set prediction
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
Qualitative Representation of Spatial Knowledge
Qualitative Representation of Spatial Knowledge
Language and Spatial Cognition
Language and Spatial Cognition
A Global Framework for Qualitative Shape Description
Geoinformatica
A Formal Definition of Binary Topological Relationships
FOFO '89 Proceedings of the 3rd International Conference on Foundations of Data Organization and Algorithms
A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Carving Up Space: Steps Towards Construction of an Absolutely Complete Theory of Spatial Regions
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Acquisition of Qualitative Spatial Representation by Visual Observation
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Topological Relations Between Regions in R² and Z²
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
A Canonical Model for a Class of Areal Spatial Objects
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
A Small Set of Formal Topological Relationships Suitable for End-User Interaction
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
When Nonmonotonicity Comes from Distances
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Reasoning about Gradual Changes of Topological Relationships
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
The Algebraic Structure of Sets of Regions
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Reasoning in expressive description logics
Handbook of automated reasoning
Learning Regions of Interest in Postal Automation
ICDAR '99 Proceedings of the Fifth International Conference on Document Analysis and Recognition
A complete classification of tractability in RCC-5
Journal of Artificial Intelligence Research
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Path composition of positional relations integrating qualitative and fuzzy knowledge
Applying soft computing in defining spatial relations
Qualitative Spatio-Temporal Continuity
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Modeling Motion Qualitatively: Integrating Space and Time
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
R-Histogram: quantitative representation of spatial relations for similarity-based image retrieval
MULTIMEDIA '03 Proceedings of the eleventh ACM international conference on Multimedia
A generalized framework for mining spatio-temporal patterns in scientific data
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
A compact shape representation for linear geographical objects: the scope histogram
GIS '06 Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems
Axiomatic Theory Of Design Modeling
Journal of Integrated Design & Process Science
Enhanced tracking and recognition of moving objects by reasoning about spatio-temporal continuity
Image and Vision Computing
On scene interpretation with description logics
Image and Vision Computing
Ontology based complex object recognition
Image and Vision Computing
Qualitative kinematics of planar robots: Intelligent connection
International Journal of Approximate Reasoning
A global process to access documents' contents from a geographical point of view
Journal of Visual Languages and Computing
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
Fuzzy region connection calculus: Representing vague topological information
International Journal of Approximate Reasoning
Qualitative similarity measures-The case of two-dimensional outlines
Computer Vision and Image Understanding
Modal Logics for Region-based Theories of Space
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Representing short-term observations of moving objects by a simple visual language
Journal of Visual Languages and Computing
Rule-based reasoning about qualitative spatiotemporal relations
Proceedings of the 5th international workshop on Middleware for pervasive and ad-hoc computing: held at the ACM/IFIP/USENIX 8th International Middleware Conference
Conceptual spatial representations for indoor mobile robots
Robotics and Autonomous Systems
International Journal of Geographical Information Science
COMMON-SENSE SPATIAL REASONING FOR INFORMATION CORRELATION IN PERVASIVE COMPUTING
Applied Artificial Intelligence
Multi-agent geosimulation in support to "what if" courses of action analysis
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A Model for Representing Topological Relations Between Simple Concave Regions
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Towards an ontology for sharing medical images and regions of interest in neuroimaging
Journal of Biomedical Informatics
Fuzzying GIS topological functions for GIR needs
Proceedings of the 2nd international workshop on Geographic information retrieval
A Qualitative Hidden Markov Model for Spatio-temporal Reasoning
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Qualitative Spatial Scene Modeling for Ambient Intelligence Environments
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
Qualitative design support for engineering and architecture
Advanced Engineering Informatics
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space
ISICA '08 Proceedings of the 3rd International Symposium on Advances in Computation and Intelligence
Introducing functional classification theory to land use planning by means of decision tables
Decision Support Systems
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
Counterparts in Language and SpaceSimilarity and S-Connection
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Supporting Frameworks for the Geospatial Semantic Web
SSTD '09 Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases
A spatio-temporal ontology for geographic information integration
International Journal of Geographical Information Science
A situated context model for resolution and generation of referring expressions
ENLG '09 Proceedings of the 12th European Workshop on Natural Language Generation
Predicate projection in a bimodal spatial reasoning system
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
An AGM-based belief revision mechanism for probabilistic spatio-temporal logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
The mathematical morpho-logical view on reasoning about space
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Consistency checking of basic cardinal constraints over connected regions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A motion closed world asumption
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Artificial Intelligence
Reasoning with lines in the Euclidean space
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Situated resolution and generation of spatial referring expressions for robotic assistants
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Tableau-Based System for Spatial Reasoning about Directional Relations
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Narrative Geospatial Knowledge in Ethnographies: Representation and Reasoning
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Representing moving objects in computer-based expert systems: the overtake event example
Expert Systems with Applications: An International Journal
Wayfinding choremes-a language for modeling conceptual route knowledge
Journal of Visual Languages and Computing
On generalizing orientation information in OPRAm
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Towards ontology based cognitive vision
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
Navigating through logic-based scene models for high-level scene interpretations
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
An abstract theory and ontology of motion based on the regions connection calculus
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Inferring and distributing spatial context
EuroSSC'07 Proceedings of the 2nd European conference on Smart sensing and context
Towards the geo-spatial querying of the semantic web with ONTOAST
W2GIS'07 Proceedings of the 7th international conference on Web and wireless geographical information systems
Affordance-based similarity measurement for entity types
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Drawing a figure in a two-dimensional plane for a qualitative representation
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Qualitative spatial representation and reasoning in the SparQ-toolbox
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Grounded perceptual schemas: developmental acquisition of spatial concepts
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Multi-dimensional observer-centred qualitative spatial-temporal reasoning
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Exploiting qualitative spatial constraints for multi-hypothesis topological map learning
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Ontological diversity: the case from space
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
A linguistic ontology of space for natural language processing
Artificial Intelligence
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
A Combined Calculus on Orientation with Composition Based on Geometric Properties
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness
Editorial: BeAware!-Situation awareness, the ontology-driven way
Data & Knowledge Engineering
Qualitative matching of spatial information
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Positions, regions, and clusters: strata of granularity in location modelling
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Modularizing spatial ontologies for assisted living systems
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Two-variable logic with two order relations
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
The family of conceptual neighborhood graphs for region-region relations
GIScience'10 Proceedings of the 6th international conference on Geographic information science
Ensuring semantic spatial constraints in virtual environments using UML/OCL
Proceedings of the 17th ACM Symposium on Virtual Reality Software and Technology
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
A graph-based fuzzy linguistic metadata schema for describing spatial relationships
Proceedings of the 2011 Visual Information Communication - International Symposium
Combined topological and directional relations based motion event predictions
PReMI'11 Proceedings of the 4th international conference on Pattern recognition and machine intelligence
Towards cognitively plausible spatial representations for sketch map alignment
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
A hybrid geometric-qualitative spatial reasoning system and its application in GIS
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Distributed spatial reasoning for wireless sensor networks
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Privacy preserving via tree augmented naïve Bayesian classifier in multimedia database
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
A mobile computing approach for navigation purposes
W2GIS'06 Proceedings of the 6th international conference on Web and Wireless Geographical Information Systems
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
Comparative similarity, tree automata, and diophantine equations
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Intelligent GIS: automatic generation of qualitative spatial information
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Strings and holes: an exercise on spatial reasoning
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A causal perspective to qualitative spatial reasoning in the situation calculus
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Spatial reasoning based spatial data mining for precision agriculture
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
A model for classification of topological relationships between two spatial objects
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part II
Fuzzy spatial location model and its application in spatial query
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part II
A qualitative spatio-temporal abstraction of a disaster space
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Reciprocal logic: logics for specifying, verifying, and reasoning about reciprocal relationships
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Qualitative spatial relation database for semantic web
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Matching names and definitions of topological operators
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
On internal cardinal direction relations
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
Journal of Intelligent and Robotic Systems
Characterising meanders qualitatively
GIScience'06 Proceedings of the 4th international conference on Geographic Information Science
Formalizing mappings for OWL spatiotemporal ontologies
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Semantic mappings in description logics for spatio-temporal database schema integration
Journal on Data Semantics III
Spatiotemporal reasoning for smart homes
Designing Smart Homes
Visual knowledge annotation and management by using qualitative spatial information
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
The recognition and interpretation of motion in language
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Modelling models of robot navigation using formal spatial ontology
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
A qualitative trajectory calculus and the composition of its relations
GeoS'05 Proceedings of the First international conference on GeoSpatial Semantics
RCC8 is polynomial on networks of bounded treewidth
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Multidimensional mereotopology with betweenness
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Topological spatial relations for active visual search
Robotics and Autonomous Systems
Applied Ontology
Applied Ontology
Hi-index | 0.00 |
The paper is a overview of the major qualitative spatial representation and reasoning techniques. We survey the main aspects of the representation of qualitative knowledge including ontological aspects, topology, distance, orientation and shape. We also consider qualitative spatial reasoning including reasoning about spatial change. Finally there is a discussion of theoretical results and a glimpse of future work. The paper is a revised and condensed version of [33,34].