Towards a general theory of action and time
Artificial Intelligence
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Analysing nets by the invariant method
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Temporal logics and their applications
Temporal logics and their applications
A critical examination of Allen's theory of action and time
Artificial Intelligence
Logics and models of concurrent systems
Temporal reasoning and planning
Reasoning about plans
Artificial Intelligence - Special issue on knowledge representation
Logic for information technology
Logic for information technology
Complexity and algorithms for reasoning about time: a graph-theoretic approach
Journal of the ACM (JACM)
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Efficient algorithms for qualitative reasoning about time
Artificial Intelligence
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
Conditional, probabilistic planning: a unifying algorithm and effective search control mechanisms
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
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Reified Temporal Logics: An Overview
Artificial Intelligence Review
Applying soft computing in defining spatial relations
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Eight maximal tractable subclasses of Allen's algebra with metric time
Journal of Artificial Intelligence Research
An interval-based representation of temporal knowledge
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Planning using a temporal world model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Combining qualitative and quantitative constraints in temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Algorithms and complexity for reasoning about time
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On temporal logic programming using Petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
TEMPER: a temporal programmer for time-sensitive control of discrete event systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.98 |
The paper presents a temporal logic and its application to planning time-critical missions. An extended version of the Point-Interval Logic (PIL) is presented that incorporates both point and interval descriptions of time. The points and intervals in this formalism represent time stamps and time delays, respectively, associated with events/activities in a mission as constraints on or as resultants of a planning process. The lexicon of the logic offers the flexibility of qualitative and/or quantitative descriptions of temporal relationships between points and intervals of a system. The provision for qualitative temporal relationships makes the approach suitable for situations where all the required quantitative information may not be available to planners. A graph-based approach, called the Point Graph (PG) methodology, is shown to implement the axiomatic system of PIL by transforming the temporal specifications into Point Graphs. A temporal inference engine uses the Point Graph representation to infer and verify the feasibility of temporal relations among system intervals/points. The paper demonstrates the application of PIL and its inference engine to a mission-planning problem.