Principles of artificial intelligence
Principles of artificial intelligence
Theory for coordinating concurrent hierarchical planning agents using summary information
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
Solving Overconstrained Temporal Reasoning Problems
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Splicing plans to achieve misordered goals
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Temporal scope of assertions and window cutoff
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
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
Compiling plan operators from domains expressed in qualitative process theory
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The satisfiability of temporal constraint networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Compiling plan operators from domains expressed in qualitative process theory
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The consistent labeling problem in temporal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The satisfiability of temporal constraint networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
An algebraic approach to conflict resolution planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Synthesis of reactive plans for multi-path environments
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Reasoning about qualitative temporal information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A language for planning with statistics
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Planning temporal events using point-interval logic
Mathematical and Computer Modelling: An International Journal
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
Current problem solving systems are constrained in their applicability by inadequate world models. We suggest a world model based on a temporal logic. This approach allows the problem solver to gather constraints on the ordering of actions without having to commit to an ordering when a conflict is detected. As such, it generalizes the work on nonlinear planning by Sacerdoti and Tate. In addition, it allows more general descriptions of actions that may occur simultaneously or overlap, and appears promising in supporting reasoning about external events and actions caused by other agents.