×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [2]
华南理工大学 [2]
软件研究所 [2]
北京大学 [1]
计算技术研究所 [1]
数学与系统科学研究院 [1]
更多...
内容类型
会议论文 [3]
期刊论文 [3]
会议 [2]
学位论文 [2]
其他 [1]
发表日期
2020 [1]
2012 [1]
2010 [2]
2009 [1]
2004 [1]
2003 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共11条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Normalized solutions to the fractional Schrodinger equations with combined nonlinearities
期刊论文
CALCULUS OF VARIATIONS AND PARTIAL DIFFERENTIAL EQUATIONS, 2020, 卷号: 59, 期号: 4, 页码: 35
作者:
Luo, Haijun
;
Zhang, Zhitao
收藏
  |  
浏览/下载:39/0
  |  
提交时间:2020/10/12
Representing and Reasoning about Program in Situation Calculus
会议论文
Singapore, SINGAPORE, DEC 09-10, 2011
作者:
Yang Bo
;
Zhang Ming-yi
;
Wu Mao-nian
;
Xie Gang
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2020/01/02
Representing the process semantics in the situation calculus
会议论文
ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PT 1, PROCEEDINGS, 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2005), Regina, CANADA, Web of Science
Li, CP
收藏
  |  
浏览/下载:3/0
A formal method toward reasoning about continuous change
会议论文
AI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 17th Annual Australian Conference on Artificial Intelligence, Cairns, AUSTRALIA, Web of Science
Li, CP
收藏
  |  
浏览/下载:1/0
action reasoning independent of designer
期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming
;
Wang Ju
;
Jiang Yuncheng
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/03/18
Calculations
Computational fluid dynamics
Design
Formal languages
Formal logic
Knowledge based systems
Multi agent systems
Robot programming
Robots
Sensors
基于语义Web的服务自动组合技术的研究
学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
梁晟
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2011/03/17
语义Web
Web服务
服务自动组合
Eliminating mismatching connections between components by adopting an agent-based approach
其他
2003-01-01
Jiao, WP
;
Mei, H
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/13
ARCHITECTURAL MISMATCH
Model-theoretical foundation of action and progression
期刊论文
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 卷号: 40, 期号: 4, 页码: 430-438
作者:
Tian, QJ
;
Shi, ZZ
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2019/12/10
situation calculus
many-sorted logic
model theory
action
progression
混杂系统控制理论与方法研究及其在间歇过程控制中的应用
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995
作者:
吴锋
收藏
  |  
浏览/下载:101/0
  |  
提交时间:2015/09/02
混杂系统
离散事件系统
连续变量系统
过程控制
定性/定量性能
集成优化
自动机
Petri网
hybrid systems
discrete event systems
continuous time systems
process control
qualitative/quantitative performance
integrated op
Bayesian Networks for Representing Affective Agent Based on Situation Calculus (CPCI-S收录)
会议
作者:
Chen, Zelin[1]
;
Tang, Luming[1]
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2019/04/11
situation calculus
Bayesian networks
affective states
cognitive robotics
autonomous agent
©版权所有 ©2017 CSpace - Powered by
CSpace