On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
Temporal reasoning with qualitative and quantitative information about points and durations
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Point-based approaches to qualitative temporal reasoning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A comparison of point-based approaches to qualitative temporal reasoning
Artificial Intelligence
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
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Spatial Reasoning About Points in a Multidimensional Setting
Applied Intelligence
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Temporal Constraints: A Survey
Constraints
Algorithms for Hierarchical Spatial Reasoning
Geoinformatica
On point-duration networks for temporal reasoning
Artificial Intelligence
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
INDU: An Interval and Duration Network
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Orthogonal Relations for Reasoning about Abstract Events
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Combining Topological and Qualitative Size Constraints for Spatial Reasoning
CP '98 Proceedings of the 4th 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
Gaining Control over Time in Workflow Management Applications
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Human Action Detection Using PNF Propagation of Temporal Constraints
CVPR '98 Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining heterogeneous temporal information: A case study
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
On-line algorithms for networks of temporal constraints
Journal of Discrete Algorithms
On the consistency of cardinal direction constraints
Artificial Intelligence
Recognizing frozen variables in constraint satisfaction problems
Theoretical Computer Science
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Special issue on: Spatial and temporal reasoning
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Qualitative Spatial Reasoning with Conceptual Neighborhoods for Agent Control
Journal of Intelligent and Robotic Systems
Spatial and temporal reasoning: beyond Allen's calculus
AI Communications - Spatial and Temporal Reasoning
On two coloring problems in mixed graphs
European Journal of Combinatorics
Domain permutation reduction for constraint satisfaction problems
Artificial Intelligence
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
Qualitative temporal reasoning with points and durations
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
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
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
Improving search using indexing: a study with temporal CSPs
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A new tractable subclass of the rectangle algebra
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Consistency checking of basic cardinal constraints over connected regions
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Proposing measurements in dynamic systems
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A semantic framework for multimedia document adaptation
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Incremental tractable reasoning about qualitative temporal constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On the consistency of cardinal direction constraints
Artificial Intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
The complexity of temporal constraint satisfaction problems
Journal of the ACM (JACM)
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
A fast algorithm and datalog inexpressibility for temporal reasoning
ACM Transactions on Computational Logic (TOCL)
Efficient computation of minimal point algebra constraints by metagraph closure
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Qualitative spatial representation and reasoning in the SparQ-toolbox
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Constraint representations and structural tractability
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Constraint satisfaction problems and global cardinality constraints
Communications of the ACM
A multi - agent based architecture to qualitative temporal constraint reasoning
ECC'10 Proceedings of the 4th conference on European computing conference
Coping with disjunctions in temporal constraint satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A simple way to improve path consistency processing in interval algebra networks
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A representation for efficient temporal reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Maximal tractable subclasses of Allen's interval algebra: preliminary report
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Evaluating temporal graphs built from texts via transitive reduction
Journal of Artificial Intelligence Research
Reasoning about cardinal directions between extended objects: The NP-hardness result
Artificial Intelligence
Towards an efficient SAT encoding for temporal reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Graph theoretic models for reasoning about time
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Conditional and composite temporal CSPs
Applied Intelligence
Temporal reasoning on chronological annotation
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Floor plan design using block algebra and constraint satisfaction
Advanced Engineering Informatics
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
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
From path-consistency to global consistency in temporal qualitative constraint networks
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Spatial reasoning with rectangular cardinal relations
Annals of Mathematics and Artificial Intelligence
Qualitative constraint satisfaction problems: An extended framework with landmarks
Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Group planning with time constraints
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.02 |