Towards a general theory of action and time
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
Artificial Intelligence
Printed circuits handbook (3rd ed.)
Printed circuits handbook (3rd ed.)
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
Introduction to algorithms
Representations of commonsense knowledge
Representations of commonsense knowledge
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence - Special issue on knowledge representation
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)
The token reification approach to temporal reasoning
Artificial Intelligence
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
Processing disjunctions in temporal constraint networks
Artificial Intelligence
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
First-Order Dynamic Logic
An Introduction to Automated Process Planning Systems
An Introduction to Automated Process Planning Systems
STCSP – structured temporal constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Spatio-Temporal Reasoning and Linear Inequalitites
Spatio-Temporal Reasoning and Linear Inequalitites
A Constraint Engine for Manufacturing Process Planning
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |
Computer-aided process planning has been recognized as an important tool for coordinating the different operations involved in making the product. While temporal knowledge is central to the design of efficient and reliable process plans, little attention is given to the integration of process planning and temporal processing and reasoning. To fill the void, we propose in this paper a practical approach, which is inspired by the framework of Temporal Constraint Satisfaction Problem (TCSP), to integrate process planning and temporal reasoning. We show that a TCSP formulation is a subset of a formulation using a reified temporal logic, and discuss the advantages of using such a restricted model. To reflect more realistic process planning encountered in real manufacturing environments, we present a model, called n-TCSP, which is a generalization of the TCSP framework. We envision the proposed temporal reasoning framework as one of the modules in the evolving new intelligent computer-aided process planning.