年龄 swMATH ID: 32284 软件作者： 古铁雷斯，劳尔；萨尔瓦多卢卡斯 描述： 使用AGES自动生成逻辑模型。我们描述了一种新的工具AGES，它可以用于自动生成有序一阶理论的模型。该工具使用线性代数技术将有限或无限域关联到不同的类别。然后使用基于矩阵的表达式和不等式，通过分段解释来解释函数和谓词符号。可以将解释二进制谓词的关系指定为基础良好，作为生成模型的附加要求。该系统可作为web应用程序使用。 主页： https://link.springer.com/chapter/10.1007%2F978-3-030-29436-6_17 关键词： 抽象;逻辑模型;一阶逻辑;程序分析;排序 相关软件： 校准仪9;Mac电脑4;莫德;ConCon公司;哈斯克尔;AProVE公司;条件合流;MTT公司;FALCON公司;z3型;Yices公司;inf检查器;ModGen公司;ITP公司;水银 引用于： 6文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 使用AGES自动生成逻辑模型。 Zbl 07178982号劳尔·古铁雷斯;萨尔瓦多卢卡斯 2019 3位作者引用 6 萨尔瓦多卢卡斯 4 劳尔·古铁雷斯 1 何塞·梅塞盖尔·瓜伊塔 3篇连载文章中引用 1 人工智能 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文