A logic-based calculus of events
New Generation Computing
Semantics for reified temporal logic
on Advances in artificial intelligence
Temporal logic (vol. 1): mathematical foundations and computational aspects
Temporal logic (vol. 1): mathematical foundations and computational aspects
Mind as motion: explorations in the dynamics of cognition
Mind as motion: explorations in the dynamics of cognition
The token reification approach to temporal reasoning
Artificial Intelligence
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
| Hi-index | 0.00 |
Temporal specifications are often used when phenomena are modelled where dynamics play a main role. If simulation is one of the aims of modelling, usually a restricted, executable modelling language format is used, based on some form of past to future implications. In this paper a detailed transformation procedure is described that takes any temporal predicate logic specification and generates a specification in a past-implies-future normal format. The procedure works for temporal specifications in which the atoms either express time ordering relations or are state-related, i.e., include only one time variable.