×

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文件

按年份列出的引文