Author:
Bresolin Davide,Della Monica Dario,Goranko Valentin,Montanari Angelo,Sciavicco Guido
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference39 articles.
1. Allen J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
2. Alur R., Henzinger T.A.: A really temporal logic. J. ACM 41, 181–204 (1994)
3. Augusto, J.C., Nugent, C.D.: The use of temporal reasoning and management of complex events in smart home. In: Proceedings of the 16th European Conference on Artificial Intelligence, pp. 778–782 (2004)
4. Blackburn P., de Rijke M., Venema Y.: Modal Logic. Cambridge University Press, Cambridge (2002)
5. Bolander T., Hansen J., Hansen M.R.: Decidability of a hybrid duration calculus. Electronic Notes in Theoretical Computer Science 174(6), 113–133 (2007)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献