演示 swMATH ID: 29079 软件作者： 扬·范·埃伊克 描述： 演示-认知建模的演示。本文介绍并记录了动态认知建模工具DEMO。DEMO允许对认识更新进行建模，更新结果的图形显示，动作模型的图形显示，认识模型中的公式评估，将动态认识公式转换为PDL公式。此外，DEMO实现了动态认知逻辑到PDL的简化。本文给出了一个知识更新逻辑工具构建的示例。它包含Haskell中DEMO实现的基本代码，采用Knuth的“识字编程”风格。 主页： https://homepages.cwi.nl/~jve/#软件 依赖项： 哈斯克尔 相关软件： SMCDEL公司；MCK公司；MCMAS公司；哈斯克尔；github；VerICS版本；标准；哈斯卡BDD；缓存BDD；CUDD公司；Aximo公司；佩斯卡；格拉夫维兹 引用于： 10文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 DEMO–认知建模演示。 Zbl 1196.68260号范·艾伊克（Jan van Eijck） 2007 全部的 前5名被21位作者引用 三 汉斯·皮特·范·迪特马什 三 范·艾伊克（Jan van Eijck） 1 娜塔莎·亚历奇纳 1 弗朗西斯科·贝拉迪内利 1 贝内维特斯，马里奥·R·F·。 1 爱奥华纳州布尔亚努 1 鲁斯塔姆·加利姆林 1 马尔文·加廷格 1 马查多，维托 1 瓦迪姆·马尔沃内 1 野村，Shoshin 1 小野，Hiroakira 1 福图纳特·拉乔纳 1 阮，季 1 佐野胜彦 1 费尔南多·索勒·托斯卡诺 1 苏凯乐 1 van Benthem，Johan F.A.K。 1 范德霍克，威比 1 韦布鲁克（Rineke Verbrugge） 1 王拓 5篇连载文章中引用 1 哲学逻辑杂志 1 合成 1 逻辑与计算杂志 1 逻辑、语言与信息杂志 1 IGPL逻辑杂志 在3个字段中引用 9 数理逻辑与基础（03-XX） 8 计算机科学（68至XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文