Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Constraint satisfaction algorithms
Computational Intelligence
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
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
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Backtrack programming techniques
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A Symbolic Approach to Interval Constraint Problems
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Temporal Constraints: A Survey
Constraints
A Mixed Closure-CSP Method to Solve Scheduling Problems
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
TimeNetManager - A Software Tool for Generating Random Temporal Networks
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Fuzzy Extension of Allen`s Interval Algebra
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Journal of Intelligent Information Systems
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
Reasoning with Numeric and Symbolic Time Information
Artificial Intelligence Review
Combining heterogeneous temporal information: A case study
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
A Mixed Closure-CSP Method for Solving Scheduling Problems
Applied Intelligence
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Special issue on: Spatial and temporal reasoning
AI Communications - Special issue on: Spatial and temporal reasoning
Maintaining global consistency of temporal constraints in a dynamic environment
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Integrating quantitative and qualitative fuzzy temporal constraints
AI Communications - Spatial and Temporal Reasoning
AI Communications - Spatial and Temporal Reasoning
Retrieving the most probable solution in a temporal interval algebra network
EC'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing - Volume 8
Finding the most probable solution to a probabilistic temporal interval algebra network
NN'06 Proceedings of the 7th WSEAS International Conference on Neural Networks
Solving temporal over-constrained problems using fuzzy techniques
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Marco Somalvico Memorial Issue
Modelling and solving temporal reasoning as propositional satisfiability
Artificial Intelligence
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning
Artificial Intelligence
Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
International Journal of Approximate Reasoning
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
Eligible and frozen constraints for solving temporal qualitative constraint networks
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A probabilistic multi-agent scheduler implemented in JXTA
NBiS'07 Proceedings of the 1st international conference on Network-based information systems
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Avian influenza: Temporal modeling of a human to human transmission case
Expert Systems with Applications: An International Journal
Semantic adaptation of multimedia documents
Multimedia Tools and Applications
Towards an efficient SAT encoding for temporal reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Temporal reasoning component for real-time intelligent decision-support systems
Scientific and Technical Information Processing
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
A method for characterizing tractable subsets of qualitative fuzzy temporal algebrae
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Artificial Intelligence
Nogoods in qualitative constraint-based reasoning
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Specifying and solving symbolic and numeric temporal constraints
International Journal of Knowledge-based and Intelligent Engineering Systems
Hi-index | 0.00 |
Many applications-from planning and scheduling to problems in molecular biology-rely heavily on a temporal reasoning component. In this paper, we discuss the design and empirical analysis of algorithms for a temporal reasoning system based on Allen's influential interval-based framework for representing temporal information. At the core of the system are algorithms for determining whether the temporal information is consistent, and, if so, finding one or more scenarios that are consistent with the temporal information. Two important algorithms for these tasks are a path consistency algorithm and a backtracking algorithm. For the path consistency algorithm, we develop techniques that can result in up to a ten-fold speedup over an already highly optimized implementation. For the backtracking algorithm, we develop variable and value ordering heuristics that are shown empirically to dramatically improve the performance of the algorithm. As well, we show that a previously suggested reformulation of the backtracking search problem can reduce the time and space requirements of the backtracking search. Taken together, the techniques we develop allow a temporal reasoning component to solve problems that are of practical size.