位置：成果数据库 > 会议 > 会议详情页
Toward a Formal Theory of Beli
  • 所属机构名称：北京大学
  • 成果类型：会议
  • 相关项目：非单调超协调逻辑及其应用
作者： Xinyu Zhao, Zuoquan Lin*
同会议论文项目
非单调超协调逻辑及其应用
期刊论文 10 会议论文 17
同项目会议论文
XSDL: Making XML Semantics Exp
Reasoning about Hybrid Probabi
Robust Tabu Search for Resourc
Permutation Distance: Properti
Web Application Security Gatew
Paraconsistent default reasoni
Four-Valued Semantics for Defa
Modeling Belief, Capability an
An OWL-Based Approach for RBAC
Inferring with Inconsistent OW
Permutation Distance in VNS fo
An Extension to OWL with Gener
Integrative Security Managemen
Variable Neighborhood Search w
A Real-time Information Gather
Representation and Reasoning o