相关作者
- 张立英

- 作品数:24被引量:31H指数:3
- 供职机构:中央财经大学文化与传媒学院现代逻辑研究所
- 研究主题:非单调推理 三段论 语义解释 逻辑 现代逻辑
- 廖备水

- 作品数:48被引量:209H指数:8
- 供职机构:浙江大学
- 研究主题:论辩 人工智能 AGENT 非单调推理 对齐
- 怀进鹏

- 作品数:334被引量:1,845H指数:28
- 供职机构:中国科学院
- 研究主题:虚拟机 WEB服务 网格环境 数据库 网格
- 王献昌

- 作品数:16被引量:99H指数:3
- 供职机构:国防科学技术大学计算机学院计算机科学与技术系
- 研究主题:人工智能 非单调推理 逻辑 并行计算 多AGENT系统
- 王炎娟

- 作品数:40被引量:43H指数:5
- 供职机构:北京航天飞行控制中心
- 研究主题:测控 航天器 成像卫星 辩论 非单调推理