您的位置: 专家智库 > >

江苏省青年科技基金(BQ98028)

作品数:2 被引量:6H指数:1
相关作者:李斌朱梧槚朱朝晖张东摩更多>>
相关机构:南京航空航天大学更多>>
发文基金:江苏省青年科技基金中国航空科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 4个自动化与计算...
  • 3个理学
  • 2个哲学宗教
  • 1个生物学
  • 1个冶金工程
  • 1个机械工程
  • 1个电子电信

主题

  • 4个定理
  • 4个智能体
  • 4个智能体模型
  • 4个情境演算
  • 4个人工智能
  • 3个语义
  • 3个知识表示
  • 3个中介逻辑
  • 2个定理证明
  • 2个定理证明器
  • 2个心智状态
  • 2个信念修正
  • 2个形象思维
  • 2个英文
  • 2个语言
  • 2个直觉
  • 2个中介
  • 1个代数
  • 1个代文
  • 1个等价

机构

  • 4个南京航空航天...
  • 3个南京大学
  • 1个包头师范学院
  • 1个空军气象学院
  • 1个北京航空航天...

资助

  • 4个国家自然科学...
  • 4个江苏省自然科...
  • 4个江苏省青年科...
  • 4个中国航空科学...
  • 3个国家高技术研...
  • 3个国家重点基础...
  • 2个江苏省教育厅...
  • 2个国家教育部博...
  • 2个国家攀登计划
  • 1个霍英东教育基...
  • 1个国家重点实验...
  • 1个江苏省高校自...

传媒

  • 4个南京航空航天...
  • 4个计算机学报
  • 3个模式识别与人...
  • 3个软件学报
  • 3个中国科学(E...
  • 3个Transa...
  • 2个科学通报
  • 2个南京大学学报...
  • 2个数学物理学报...
  • 2个Journa...
  • 2个扬州大学学报...
  • 1个模糊系统与数...
  • 1个电子与信息学...
  • 1个计算机研究与...
  • 1个数据采集与处...
  • 1个河海大学学报...
  • 1个数学杂志
  • 1个自然杂志
  • 1个华中科技大学...
  • 1个计算机工程与...

地区

  • 4个江苏省
4 条 记 录,以下是 1-4
朱朝晖
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:人工智能 常识推理 情境演算 表示定理 UML
发表作品相关人物供职机构所获资助研究领域
张东摩
供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题:中介逻辑 人工智能 情境演算 AGENT 信念修正
发表作品相关人物供职机构所获资助研究领域
李斌
供职机构:南京航空航天大学计算机科学与技术学院计算机科学与技术系
研究主题:情境演算 人工智能 智能体模型 常识推理 表示定理
发表作品相关人物供职机构所获资助研究领域
朱梧槚
供职机构:南京航空航天大学计算机科学与技术学院计算机科学与技术系
研究主题:中介逻辑 实无限 公理集合论 中介 人工智能
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0