Theory of linear and integer programming
Theory of linear and integer programming
Artificial Intelligence
Tree clustering for constraint networks (research note)
Artificial Intelligence
Exact and approximate reasoning about temporal relations
Computational Intelligence
Artificial Intelligence - Special issue on knowledge representation
From local to global consistency
Artificial Intelligence
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
A metric time-point and duration-based temporal model
ACM SIGART Bulletin
Journal of the ACM (JACM)
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
Artificial Intelligence
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
From local to global consistency in temporal constraint networks
Theoretical Computer Science - Special issue: principles and practice of constraint programming
A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
A unifying approach to temporal constraint reasoning
Artificial Intelligence
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
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Temporal Constraints: A Survey
Constraints
A New Framework for Reasoning about Points, Intervals and Durations
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Hybrid temporal reasoning for planning and scheduling
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Qualitative temporal reasoning with points and durations
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Fuzzy constraint networks for signal pattern recognition
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Special issue on: Spatial and temporal reasoning
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Spatial and Temporal Reasoning
Temporal reasoning about fuzzy intervals
Artificial Intelligence
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Hi-index | 0.00 |
We present here a point-duration network formalism which extends the point algebra model to include additional variables that represent durations between points of time. Thereafter the new qualitative model is enlarged for allowing unary metric constraints on points and durations, subsuming in this way several point-based approaches to temporal reasoning. We deal with some reasoning tasks within the new models and we show that the main problem, deciding consistency, is NP-complete. However, tractable special cases are identified and we show efficient algorithms for checking consistency, finding a solution and obtaining the minimal network.