亚当·特雷布斯 基于有理区域的真实平面仿射逻辑。 （英语） Zbl 1367.68294号 ACM事务处理。计算。日志。 17，第3号，第21条，第18页（2016）. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：空间逻辑;凸性;公理化 PDF格式BibTeX公司 XML格式引用 \textit{A.Trybus}，ACM事务。计算。日志。17，第3号，第21条，第18页（2016年；Zbl 1367.68294） 全文： 内政部 参考文献： [1] 布兰登·贝内特。1994.命题逻辑的空间推理。第四届知识表示与推理原则国际会议论文集（KR'94）。摩根·考夫曼，51-62岁·doi:10.1016/B978-1-4832-1452-8.50102-0 [2] 布兰登·贝内特和安东尼·科恩。1999.凸性约束下拓扑关系的一致性。在‘；会议记录中；时空推理的热门话题’；研讨会，IJCAI-99。 [3] 玛丽·K·贝内特。1995.仿射和射影几何。约翰·威利；Sons公司·Zbl 0849.51001号 ·doi:10.1002/9781118032565 [4] Chen Chung Chang和Howard Jerome Keisler。1973.模型理论。北荷兰。 [5] 安东尼·科恩（Anthony G.Cohn）。1995年。基于连接和凸性的定性形状的层次表示法。空间信息理论：GIS的理论基础。COSIT会议记录’；95.施普林格·弗拉格，311-326·文件编号：10.1007/3-540-60392-1_20 [6] 欧内斯特·戴维斯（Ernest Davis）、尼古拉斯·戈茨（Nicholas M.Gotts）和安东尼·科恩（Anthony G.Cohn）。1999.拓扑关系和凸性的约束网络。约束4（1999），241-280·Zbl 0946.68082号 ·doi:10.1023/A：1026401931919 [7] 伊恩·普拉特。1999.具有凸性的一阶定性空间表示语言。空间认知与计算杂志1（1999），181-204·doi:10.1023/A:101037123582 [8] 伊恩·普拉特·哈特曼。2007年，《空间逻辑手册》。施普林格·弗拉格，13-97。 [9] David A.Randell和Anthony G.Cohn。1992.物理过程中的拓扑和度量特性建模。《第一届知识表示与推理国际会议论文集》。摩根·考夫曼，55-66岁。 [10] David A.Randell、Zhan Cui和Anthony G.Cohn。1992年。基于区域和连接的空间逻辑。第三届知识表示与推理国际会议论文集。 [11] Lesł；aw Szczerba和Alfred Tarski。一些仿射几何的元数学性质。在逻辑、方法论和科学哲学中。1964年国际会议记录。 [12] Lesł；aw Szczerba和Alfred Tarski。1979年。一些仿射几何的元数学讨论。《数学基础》105（1979），155-192·Zbl 0497.03008号 [13] 阿尔弗雷德·塔斯基。1959.什么是初等几何？North-Holland出版公司，16-29·Zbl 0092.38504号 ·doi:10.1016/S0049-237X（09）70017-5 [14] 亚当·特雷布斯（Adam Trybus）。2010年。凸性空间逻辑公理系统。第19届欧洲人工智能会议论文集。701–706. ·Zbl 1211.03022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。