Computational geometry: an introduction
Computational geometry: an introduction
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Readings in qualitative reasoning about physical systems
Readings in qualitative reasoning about physical systems
Qualitative physics: past present and future
Readings in qualitative reasoning about physical systems
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Exact and approximate reasoning about temporal relations
Computational Intelligence
String graphs. II.: Recognizing string graphs is NP-hard
Journal of Combinatorial Theory Series B
Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
String graphs requiring exponential representations
Journal of Combinatorial Theory Series B
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
From local to global consistency
Artificial Intelligence
Effective solution of qualitative interval constraint problems
Artificial Intelligence
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Naive topology: modeling the force pump
Recent advances in qualitative physics
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Handbook of logic in artificial intelligence and logic programming (vol. 1)
Exploiting the deep structure of constraint problems
Artificial Intelligence
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Phase transitions and the search problem
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
Using spatial logic to describe visual languages
Artificial Intelligence Review - Special issue on integration of natural language and vision processing: recent advances
Twenty-one large tractable subclasses of Allen's algebra
Artificial Intelligence
Qualitative representation of positional information
Artificial Intelligence
Unit Refutations and Horn Sets
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Qualitative Representation of Spatial Knowledge
Qualitative Representation of Spatial Knowledge
Robot Motion Planning
Handbook of Computer Vision and Applications with Cdrom
Handbook of Computer Vision and Applications with Cdrom
Formal Theories of the Commonsense World
Formal Theories of the Commonsense World
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
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
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
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
Using Orientation Information for Qualitative Spatial Reasoning
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 Role of Cognitive Science in Knowledge Engineering
Proceedings of the First Joint Workshop on Contemporary Knowledge Engineering and Cognition
The Algebraic Structure of Sets of Regions
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Learning Regions of Interest in Postal Automation
ICDAR '99 Proceedings of the Fifth International Conference on Document Analysis and Recognition
Vitra guide: multimodal route descriptions for computer assisted vehicle navigation
IEA/AIE'93 Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems
On finding a solution in temporal constraint satisfaction problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
A complete classification of tractability in RCC-5
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Qualitative reasoning about physical processes
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
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
Qualitative kinematics: a framework
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
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
Where the really hard problems are
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Extensionality of the RCC8 composition table
Fundamenta Informaticae
Algorithms for rapid outbreak detection: a research synthesis
Journal of Biomedical Informatics
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
On Topological Consistency and Realization
Constraints
Generalized region connection calculus
Artificial Intelligence
Fundamenta Informaticae
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
Qualitative Reasoning about Convex Relations
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
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
Ontology-driven geographic information integration: A survey of current approaches
Computers & Geosciences
Topological analysis of 3D building models using a spatial query language
Advanced Engineering Informatics
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Generalized Region Connection Calculus
Artificial Intelligence
Combinative reasoning with RCC5 and cardinal direction relations
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
The endpoint hypothesis: a topological-cognitive assessment of geographic scale movement patterns
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Qualitative reasoning with directional relations
Artificial Intelligence
Composing cardinal direction relations basing on interval algebra
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
SXPath: extending XPath towards spatial querying on web documents
Proceedings of the VLDB Endowment
DC proposal: towards a framework for efficient query answering and integration of geospatial data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Formalization and reasoning about spatial semantic integrity constraints
Data & Knowledge Engineering
Complexity of some geometric and topological problems
GD'09 Proceedings of the 17th international conference on Graph Drawing
How to answer yes/no spatial questions using qualitative reasoning?
CICLing'12 Proceedings of the 13th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part II
Probability issues in locality descriptions based on Voronoi neighbor relationship
Journal of Visual Languages and Computing
RCC8 is polynomial on networks of bounded treewidth
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Fundamenta Informaticae
Extensionality of the RCC8 Composition Table
Fundamenta Informaticae
Context-based scene recognition from visual data in smart homes: an Information Fusion approach
Personal and Ubiquitous Computing
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Assessing similarities of qualitative spatio-temporal relations
SC'12 Proceedings of the 2012 international conference on Spatial Cognition VIII
Scalable geo-thematic query answering
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hi-index | 0.00 |