SMCDEL公司 swMATH编号： 29077 软件作者： 马尔文·加廷格 描述： SMCDEL：在Haskell中实现的动态认识逻辑（DEL）的符号模型检查器。其核心是将认知和动态公式转换为布尔公式，布尔公式表示为二进制决策图（BDD）。您可以在此处在线尝试SMCDEL：https://w4eg.de/malvin/illc/smcdelweb/ 主页： https://github.com/jrclogic/SMCDEL 源代码： https://github.com/jrclogic/SMCDEL 依赖项： 哈斯克尔 关键词： 认知逻辑;动态逻辑;模型检查 相关软件： 演示;MCMAS公司;CUDD公司;MCK公司;github;PDDL公司;哈斯卡BDD;缓存BDD;辛提卡的世界;VerICS版本;标准 引用于： 11文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 动态认知逻辑的符号模型检查–S5及更高版本。 兹比尔1410.68242约翰·范·本特姆;范·艾伊克（Jan van Eijck）;马尔文·加廷格;苏凯乐 2018 全部的 前5名25位作者引用 3 马尔文·加廷格 3 安德烈亚斯·赫齐格 2 福斯汀·马弗尔 2 苏凯乐 2 van Benthem，Johan F.A.K。 2 汉斯·皮特·范·迪特马什 2 范·艾伊克（Jan van Eijck） 1 安德烈亚斯·阿琴 1 娜塔莎·亚历奇纳 1 弗朗西斯科·贝拉迪内利 1 贝内维特斯，马里奥·R·F·。 1 爱奥华纳州布尔亚努 1 马丁·库珀。 1 鲁斯塔姆·加利姆林 1 安德烈斯·奥奇芬蒂·利伯曼 1 埃米利亚诺·洛里尼 1 维托·马查多 1 瓦迪姆·马尔文 1 弗雷德里克·马里斯 1 丹尼尔·米埃德马 1 伊莉莎·佩罗廷 1 福图纳特·拉乔纳 1 皮埃尔·雷格尼尔 1 Rasmus Krmmer Rendsvig 1 王拓 5篇连载文章中引用 2 人工智能 1 信息与计算 1 逻辑与计算杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 在2个字段中引用 10 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 按年份列出的引文