Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Combining topological and size information for spatial reasoning
Artificial Intelligence
Approximate Qualitative Temporal Reasoning
Annals of Mathematics and Artificial Intelligence
Spatial Reasoning About Points in a Multidimensional Setting
Applied Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
A Path-Consistent Singleton Modeling (CSM) Algorithm for Arc-Constrained Networks
Applied Intelligence
Disjunctions, independence, refinements
Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Towards Cognitive Adequacy of Topological Spatial Relations
Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications
Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Topo-distance: Measuring the Difference between Spatial Patterns
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Composing Cardinal Direction Relations
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Qualitative spatiotemporal representation and reasoning: a computational perspective
Exploring artificial intelligence in the new millennium
Extensionality of the RCC8 composition table
Fundamenta Informaticae
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Composing cardinal direction relations
Artificial Intelligence
The complexity of constraint satisfaction problems for small relation algebras
Artificial Intelligence
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
On the consistency of cardinal direction constraints
Artificial Intelligence
Computing and Managing Cardinal Direction Relations
IEEE Transactions on Knowledge and Data Engineering
Towards a practical argumentative reasoning with qualitative spatial databases
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
On Topological Consistency and Realization
Constraints
Generalized region connection calculus
Artificial Intelligence
Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control
Journal of Intelligent and Robotic Systems
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Fundamenta Informaticae
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
A Family of Directional Relation Models for Extended Objects
IEEE Transactions on Knowledge and Data Engineering
Reasoning about vague topological information
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Qualitative spatial reasoning about relative point position
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: An interpretation based on closeness
International Journal of Approximate Reasoning
Reasoning about taxonomies and articulations
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
Fuzzy Reasoning Approach for Conceptual Design
ISNN '08 Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II
Merging taxonomies under RCC-5 algebraic articulations
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Spatial reasoning in a fuzzy region connection calculus
Artificial Intelligence
DogOnt - Ontology Modeling for Intelligent Domotic Environments
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Constraint Satisfaction Problems with Infinite Templates
Complexity of Constraints
Maximal infinite-valued constraint languages
Theoretical Computer Science
Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change
Epistemological Aspects of Computer Simulation in the Social Sciences
Structure segmentation and recognition in images guided by structural constraint propagation
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Combining spatial and temporal logics: expressiveness vs. complexity
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Maximal tractable fragments of the region connection calculus: a complete analysis
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The mathematical morpho-logical view on reasoning about space
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A spatial odyssey of the interval algebra: 1. directed intervals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning about categories in conceptual spaces
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dependency calculus reasoning in a general point relation algebra
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the consistency of cardinal direction constraints
Artificial Intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Generalized Region Connection Calculus
Artificial Intelligence
Towards spatial reasoning in fuzzy description logics
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
On generalizing orientation information in OPRAm
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Qualitative spatial representation and reasoning in the SparQ-toolbox
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
A formal foundation for knowledge integration of defficent information in the semantic web
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Reasoning about cardinal directions between extended objects
Artificial Intelligence
SOWL: spatio-temporal representation, reasoning and querying over the semantic web
Proceedings of the 6th International Conference on Semantic Systems
Topological reasoning between complex regions in databases with frequent updates
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Communicative approximations as rough sets
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Information Sciences: an International Journal
Solving qualitative constraints involving landmarks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Reasoning about cardinal directions between extended objects: The NP-hardness result
Artificial Intelligence
On standard models of fuzzy region connection calculus
International Journal of Approximate Reasoning
Spatial reasoning based on rules
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Dependency calculus: reasoning in a general point relation algebra
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Visual ontology cleaning: cognitive principles and applicability
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
A tableau algorithm for description logics with concrete domains and GCIs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Combining topological and directional information: first results
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Heterogeneous spatial reasoning
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
On internal cardinal direction relations
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Knowledge representation and reasoning for qualitative spatial change
Knowledge-Based Systems
Tools and techniques in qualitative reasoning about space
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Applied Ontology
Applied Ontology
Fundamenta Informaticae
Extensionality of the RCC8 Composition Table
Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Qualitative temporal and spatial reasoning revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Maximal infinite-valued constraint languages
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Solving minimal constraint networks in qualitative spatial and temporal reasoning
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Decomposition and tractability in qualitative spatial and temporal reasoning
Artificial Intelligence
Topological Logics with Connectedness over Euclidean Spaces
ACM Transactions on Computational Logic (TOCL)
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Hi-index | 0.00 |