DeReS公司 swMATH ID: 32312 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 描述： 默认推理系统DeReS。在本文中，我们描述了一个称为DeReS的自动推理系统。DeReS通过支持几个基本的推理任务来实现Reiter的默认逻辑，例如测试是否存在扩展、查找一个或所有扩展（如果至少存在一个）以及查询公式是否属于一个或所有扩展。如果输入理论是一个逻辑程序，DeReS将计算该程序的稳定模型，并支持查询某些或所有稳定模型中原子的成员身份。本文介绍了我们用DeReS进行的初步实验，并对结果进行了讨论。我们表明，命题证明器的选择对DeReS的效率至关重要。我们还提供了一种通用技术，该技术消除了一些全局一致性检查的需要，并大大提高了速度。我们通过实验证明了分层概念在使自动推理系统实用化方面的潜力。 主页： 网址：http://www3.cs.uky.edu/~marek/papers.dir/97.dir/deres2.pdf 相关软件： 数据日志；中国科学院科学院；克林戈；DLV2型；GK公司；GKC公司；概念网；库达；dl2asp；超小卫星；fCube（多维数据集）；倾斜倾斜 引用于： 3文件 全部的 前5名12位作者引用 1 卡洛斯·阿雷塞斯 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 达维多维奇，塔贾纳 1 德雷克·德拉海姆 1 劳尔·费尔瓦里 1 纪尧姆·霍夫曼 1 内博伊沙·伊科迪诺维奇 1 普里特·Järv 1 佐兰·奥格尼亚诺维奇 1 塔贾纳·斯托亚诺维奇 1 塔内尔·塔米特 连载1篇 1 数学与人工智能年鉴 在3个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文