A Concise Horn Theory For Rcc8
ECAI'14: Proceedings of the Twenty-first European Conference on Artificial Intelligence(2014)
摘要
RCC8 is a well-known constraint language for expressing and reasoning about spatial knowledge. We state a simple and concise Horn theory for RCC8 analogous to the ORD-Horn theory for temporal reasoning. This theory allows for expressing RCC8 and retains tractability of the well-known Horn reduct of RCC8. Further, it is much more adequate for practical purposes in the area of logic programming and surpasses previous attempts.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要