Author:
Balbiani Philippe,Condotta Jean-François,Ligozat Gérard
Subject
Applied Mathematics,Logic
Reference14 articles.
1. J.F. Allen, An interval-based representation of temporal knowledge, in: Proceedings of the Seventh Int. Joint Conf. on Artificial Intelligence (IJCAI'81), 1981, pp. 221–226
2. P. Balbiani, J.-F. Condotta, G. Ligozat, On the consistency problem for the INDU calculus, in: IEEE (Ed.), Proceeding of the Combined Tenth International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic (TIME-ICTL 2003), Cairns, Queensland, Australia, 2003, pp. 203–211
3. P. Balbiani, J.-F. Condotta, G. Ligozat, Reasoning about generalized intervals: Horn representability and tractability, in: Proc. of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'2000), Canada, 2000, pp. 23–30
4. Eight maximal tractable subclasses of Allen's algebra with metric time;Drakengren;J. Artificial Intelligence Res.,1997
5. Computers and Intractibility, A Guide to the Theory of np-Completeness;Garey,1979
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Interval Occlusion Calculus with Size Information;Knowledge Science, Engineering and Management;2021
2. Relation algebras of Sugihara, Belnap, Meyer, and Church;Journal of Logical and Algebraic Methods in Programming;2020-12
3. A Survey of Qualitative Spatial and Temporal Calculi;ACM Computing Surveys;2018-01-31
4. A survey of qualitative spatial representations;The Knowledge Engineering Review;2013-10-17
5. Bibliography;Qualitative Spatial and Temporal Reasoning;2013-02-13