Author:
Aider Aldjia,Mamache Fatiha,Belkredim Fatma-Zohra
Publisher
Springer International Publishing
Reference11 articles.
1. Galton, A.: A critical examination of Allen’s theory of action and time. J. Artif. Intell. 42(2–3), 159–188 (1990)
2. Galton, A.: On the notions of specification and implementation. R. Inst. Philos. Suppl. 34, 111–136 (1993)
3. Allen, J.: Towards a general theory of actions and time. J. Artif. Intell. 23, 123–154 (1984)
4. Mamache, F.: A temporal logic for reasoning about actions. Int. J. Open Probl. Comput. Sci. Math. 4(1), 97–112 (2011)
5. Aider, A., Mamache, F.: Objects, regions and spatio-temporal logic. Asian J. Math. Comput. Res. 9(1), 77–91 (2016)