Author:
Della Monica Dario,Montanari Angelo,Murano Aniello,Sala Pietro
Publisher
Springer International Publishing
Reference24 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
2. Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)
3. Lecture Notes in Computer Science;S Almagor,2010
4. Alur, R., Etessami, K., La Torre, S., Peled, D.: Parametric temporal logic for “model measuring”. ACM Trans. Comput. Log. 2(3), 388–407 (2001). http://doi.acm.org/10.1145/377978.377990
5. Aminof, B., Murano, A., Rubin, S., Zuleger, F.: Prompt alternating-time epistemic logics. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) Proceedings of the 15th KR, pp. 258–267. AAAI Press (2016)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献