Arc and path consistence revisited
Artificial Intelligence
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
On relations between intervals
Information Processing Letters
CONSAT: a system for constraint satisfaction
CONSAT: a system for constraint satisfaction
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Temporally distributed symptoms in technical diagnosis
Temporally distributed symptoms in technical diagnosis
Artificial Intelligence - Special issue on knowledge representation
Temporal reasoning: a constraint-based approach
Temporal reasoning: a constraint-based approach
Exact and approximate reasoning about qualitative temporal relations
Exact and approximate reasoning about qualitative temporal relations
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Temporal reasoning in Timegraph I–II
ACM SIGART Bulletin
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Closure properties of constraints
Journal of the ACM (JACM)
A constraint-based approach to simulate faults in telecommunication networks
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
Combining topological and size information for spatial reasoning
Artificial Intelligence
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Constraints and universal algebra
Annals of Mathematics and Artificial Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Determining Consistency of Topological Relations
Constraints
Relation algebras over containers and surfaces: An ontological study of a room space
Spatial Cognition and Computation
On point-duration networks for temporal reasoning
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
New Tractable Classes from Old
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
New tractable constraint classes from old
Exploring artificial intelligence in the new millennium
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
New Tractable Classes From Old
Constraints
Implementing a Test for Tractability
Constraints
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
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Special issue on: Spatial and temporal reasoning
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Spatial and Temporal Reasoning
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
Representing short-term observations of moving objects by a simple visual language
Journal of Visual Languages and Computing
Representing Relative Direction as a Binary Relation of Oriented Points
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning about motion patterns
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A spatial odyssey of the interval algebra: 1. directed intervals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Constraints, consistency and closure
Artificial Intelligence
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
International Journal of Approximate Reasoning
A fast algorithm and datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic (TOCL)
Using linear programming techniques for scheduling-based random test-case generation
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Local topological relationships for complex regions
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Interpretation of intentional behavior in spatial partonomies
Spatial cognition III
Dependency calculus: reasoning in a general point relation algebra
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Datalog and constraint satisfaction with infinite templates
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Probabilistic logic with strong independence
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
Qualitative reasoning about relative direction of oriented points
Artificial Intelligence
Categorical methods in qualitative reasoning: the case for weak representations
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
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
Datalog and constraint satisfaction with infinite templates
Journal of Computer and System Sciences
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.01 |
The concepts of binary constraint satisfaction problems can be naturally generalized to the relation algebras of Tarski. The concept of path-consistency plays a central role. Algorithms for path-consistency can be implemented on matrices of relations and on matrices of elements from a relation algebra. We give an example of a 4-by-4 matrix of infinite relations on which on iterative local path-consistency algorithm terminates. We give a class of examples over a fixed finite algebra on which all iterative local algorithms, whether parallel or sequential, must take quadratic time. Specific relation algebras arising from interval constraint problems are also studied: the Interval Algebra, the Point Algebra, and the Containment Algebra.