×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
山东大学 [5]
计算技术研究所 [3]
暨南大学 [2]
福州大学 [2]
软件研究所 [2]
北京大学 [1]
更多...
内容类型
期刊论文 [11]
会议论文 [6]
学位论文 [1]
发表日期
2018 [3]
2016 [3]
2015 [1]
2012 [1]
2009 [1]
2007 [2]
更多...
学科主题
计算机科学技术基础学... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Polluted river problems and games with a permission structure
期刊论文
GAMES AND ECONOMIC BEHAVIOR, 2018, 卷号: 108, 页码: 182-205
作者:
van den Brink, Rene
;
He, Simin
;
Huang, Jia-Ping
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/08/22
Polluted river
Cost sharing
Axiomatization
Permission values
A new axiomatization of the Shapley-solidarity value for games with a coalition structure
期刊论文
OPERATIONS RESEARCH LETTERS, 2018, 卷号: 46, 页码: 163-167
作者:
Hu, Xun-Feng
;
Li, Deng-Feng
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/11/21
Coalition structure
Shapley-solidarity value
Transferable utility cooperative game
Owen value
A NEW AXIOMATIZATION OF A CLASS OF EQUAL SURPLUS DIVISION VALUES FOR TU GAMES
期刊论文
RAIRO-OPERATIONS RESEARCH, 2018, 卷号: 52, 页码: 935-942
作者:
Hu, Xun-Feng
;
Li, Deng-Feng
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/11/21
equal surplus division value
dummifying player
equal division value
TU game
nullifying player
A logical characterization of extensive games with short sight
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Liu, Chanjuan
;
Liu, Fenrong
;
Su, Kaile
;
Zhu, Enqiang
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Game theory
Extensive games
Short sight
Equilibrium
Modal logic
Complete Proof Systems for Amortised Probabilistic Bisimulations
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL
;
Lin, HM
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2016/12/09
axiomatization
probabilistic calculus for communication systems (CCS)
probabilistic automata
amortised bisimulation
Axiomatization of reverse nested lottery contests
期刊论文
SOCIAL CHOICE AND WELFARE, 2016, 卷号: 47, 期号: 4, 页码: 939-957
作者:
Lu, Jingfeng
;
Wang, Zhewei
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/16
A complete coalition logic of temporal knowledge for multi-agent systems
期刊论文
Frontiers of Computer Science, 2015, 卷号: Vol.9 No.1, 页码: 75-86
作者:
Qingliang Chen
;
Kaile Su
;
Yong Hu
;
Guiwu Hu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/03/04
coalition logic
temporal logic of knowledge
complete axiomatization
multi-agent systems
不动点逻辑中的模型构造与推演系统的完备性
学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2012/07/06
mu-演算
可满足性
模型构造
公理系统
完备性
Algorithm and axiomatization of rough fuzzy sets based finite dimensional fuzzy vectors
期刊论文
FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2009, 卷号: 3, 期号: 4, 页码: 560-568
作者:
Wu, Mingfen
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2019/12/16
fuzzy vector
fuzzy matrix
fuzzy relation
operation
basis
lower and upper approximation
rough fuzzy sets
unary operator
The axiomatization of rough similarity degree
会议论文
IEEE International Conference on Grey Systems and Intellignet Services, NOV 18-20, 2007
作者:
Li, Jian
;
Xu, Xiao-jing
;
Shi, Kai-quan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/31
©版权所有 ©2017 CSpace - Powered by
CSpace