Author:
Condotta Jean-François,Kaci Souhila,Salhi Yakoub
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference28 articles.
1. Allen, J.F.: An interval-based representation of temporal knowledge. In: IJCAI (1981)
2. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
3. Amaneddine, N., Condotta, J.-F., Sioutis, M.: Efficient approach to solve the minimal labeling problem of temporal and spatial qualitative constraints. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI’13), Beijing, China, 3–9 Aug (2013)
4. Avron, A.: A tableau system for Gödel–Dummett logic based on a hypersequent calculus. In: TABLEAUX, pp. 98–111 (2000)
5. Baaz, M., Ciabattoni, A., Fermüller, C.G.: Cut elimination for first order Gödel logic by hyperclause resolution. In: LPAR, pp. 451–466 (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Relation algebras of Sugihara, Belnap, Meyer, and Church;Journal of Logical and Algebraic Methods in Programming;2020-12