MEDLAR公司 swMATH ID: 2888 软件作者: 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 描述: MEDLAR(MEchanising Deduction in Logics of Practical Reasoning)-II项目的最终目标是:在给定的逻辑组合中,综合特定的推理能力,如推理、类比、规划和模型构建;开发通用框架(LDS,标记演绎系统),以产生特定的推理能力;探索在通用实用推理代理中专门化、实现和集成这些高级推理功能的体系结构。 主页: http://www.risc.jku.at/projects/basic/medlar2/ 关键词: 实践推理逻辑中的机械化演绎 相关软件: 枫树;6月2日;英国船级社;艾司隆;GEX公司 引用于: 14文件 全部的 前5名20位作者引用 4 约琴·普法兹格拉夫 1 陈文生 1 吉姆·坎宁安 1 Edtmayr,Johann约翰 1 杰拉德·G·埃奇。 1 埃斯卡拉达·伊玛兹,贡萨洛 1 高晓山 1 雷纳·哈内尔 1 黄磊栋 1 姜昆 1 斯蒂芬·凯普瑟 1 李志斌 1 廖世军 1 刘银平 1 米特劳尔,B。 1 克劳斯·舒尔茨。 1 托马斯·索博尔 1 唐建良 1 库科南特伦 1 王东明 全部的 前5名9篇连载文章中引用 1 理论计算机科学 1 符号计算杂志 1 数学软件和软计算 1 数学与人工智能年鉴 1 IGPL杂志 1 系统科学与复杂性杂志 1 中国科学。F系列 1 科学的历史和哲学研究。第二部分近代物理史与哲学研究 1 符号计算中的文本和专题 全部的 前5名在12个字段中引用 11 计算机科学(68-XX) 三 总体主题;集合(00-XX) 三 数学逻辑和基础(03-XX) 2 历史和传记(01-XX) 1 范畴理论;同调代数(18-XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文