国内流离失所者 swMATH ID: 23254 软件作者： DTAI-KU鲁汶；Wittocx，J.，Marién，M.，Denecker，M 描述： IDP是FO（·）语言的知识库系统（KB-System）。知识库系统是支持对同一知识库进行多种形式推理的系统。FO（·）是一阶逻辑（FO）的扩展，具有类型、聚合、归纳定义、有界算术、部分函数等。有关FO（•）的更多信息，包括David Warren的社论，可以在FO（.）语言页面上找到。有关知识库范例的动机，请参阅交互式配置应用程序。使用IDP，可以将现实世界中的系统和问题建模为几个人工智能研究问题。然后可以使用一种或多种推理技术找到这些问题的解决方案。有一类现实世界中的问题很好地介绍了IDP，即调度问题。 主页： https://dtai.cs.kuleuven.be/software/idp 相关软件： 斯莫德尔斯;超小卫星;本质;锌;扣环;Lparse（L解析）;格林戈;毫升;国内流离失所者3;XSB公司;路易斯安那州;糠;GidL公司;C模型;挖空的;BEE公司;iClingo公司;克林戈;WASP公司;Potassco公司 引用于： 5文件 全部的 前5名15位作者引用 2 马克·德内克 2 尤利亚·利勒 1 亨德里克·布洛克 1 巴特·博加特 1 莫里斯·布吕诺格 1 德卡特，布罗斯 1 斯特夫·德·普特 1 约阿希姆·扬森 1 安东尼·拉巴雷 1 大卫·G·M·米切尔。 1 简·拉蒙 1 尤金妮亚·特诺夫斯卡 1 四川省韦尔市 1 汉内·弗莱明克 1 约翰·威托克斯 3篇连载文章中引用 2 约束条件 1 人工智能 1 逻辑程序设计理论与实践 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文