Towards a general theory of action and time
Artificial Intelligence
The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Executing temporal logic programs
Executing temporal logic programs
Temporal ontology and temporal reference
Computational Linguistics - Special issue on tense and aspect
On the computational complexity of temporal projection, planning, and plan validation
Artificial Intelligence
Reasoning in a restricted temporal logic
Information and Computation
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Spatial and Temporal Reasoning
Spatial and Temporal Reasoning
Completeness through Flatness in Two-Dimensional Temporal Logic
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
ICTL '94 Proceedings of the First International Conference on Temporal Logic
On the Synthesis of an Asynchronous Reactive Module
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Verifying Properties of Neural Networks
IWANN '01 Proceedings of the 6th International Work-Conference on Artificial and Natural Neural Networks: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence-Part I
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The Mosaic Method for Temporal Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Temporal Verification of Simulation and Refinement
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
Temporal logic motion planning for dynamic robots
Automatica (Journal of IFAC)
Hierarchical synthesis of hybrid controllers from temporal logic specifications
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
| Hi-index | 0.00 |
We develop notation for describing a temporal structure over the real numbers flow of time. This forms a basis for various reasoning tasks including synthesizing a model from a given temporal or first-order specification. We announce an efficient procedure for finding a manageable description of such a model. There are applications in reasoning about multi-agent systems, understanding natural language, analogue devices, robotics and artificial reasoning.