Artificial Intelligence
Planning for conjunctive goals
Artificial Intelligence
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Artificial Intelligence - Special issue on knowledge representation
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach
ICTL '94 Proceedings of the First International Conference on Temporal Logic
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Refining the basic constraint propagation algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Making AC-3 an optimal algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
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
International Journal of Knowledge-based and Intelligent Engineering Systems
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
Avian influenza: Temporal modeling of a human to human transmission case
Expert Systems with Applications: An International Journal
Conditional and composite temporal CSPs
Applied Intelligence
Specifying and solving symbolic and numeric temporal constraints
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 0.00 |
Representing and reasoning about time is fundamental in many applications of Artificial Intelligence as well as of other disciplines in computer science, such as scheduling, planning, computational linguistics, database design and molecular biology. The development of a domain-independent temporal reasoning system is then practically important. An important issue when designing such systems is the efficient handling of qualitative and metric time information. We have developed a temporal model, TemPro, based on the Allen interval algebra, to express and manage such information in terms of qualitative and quantitative temporal constraints. TemPro translates an application involving temporal information into a Constraint Satisfaction Problem (CSP). Constraint satisfaction techniques are then used to manage the different time information by solving the CSP. In order for the system to deal with real time applications or those applications where it is impossible or impractical to solve these problems completely, we have studied different methods capable of trading search time for solution quality when solving the temporal CSP. These methods are exact and approximation algorithms based respectively on constraint satisfaction techniques and local search. Experimental tests were performed on randomly generated temporal constraint problems as well as on scheduling problems in order to compare and evaluate the performance of the different methods we propose. The results demonstrate the efficiency of the MCRW approximation method to deal with under constrained and middle constrained problems while Tabu Search and SDRW are the methods of choice for over constrained problems.