Author:
Marcinkowski Jerzy,Michaliszyn Jakub,Kieroński Emanuel
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
2. Lecture Notes in Computer Science;A. Montanari,2009
3. Lecture Notes in Artificial Intelligence;D. Bresolin,2008
4. Bresolin, D., DellaMonica, D., Goranko, V., Montanari, A., Sciavicco, G.: Undecidability of Interval Temporal Logics with the Overlap Modality. In: Proc. of 16th International Symposium on Temporal Representation and Reasoning - TIME 2009, pp. 88–95. IEEE Computer Society Press, Los Alamitos (2009)
5. Bresolin, D., DellaMonica, D., Goranko, V., Montanari, A., Sciavicco, G.: Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. In: Proceedings of M4M 6: 6th Workshop on Methods for Modalities (November 2009)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献