位置：成果数据库 > 会议 > 会议详情页
Reasoning about Action and Change in Timed Domian
  • 所属机构名称：中山大学
  • 会议名称：10th International Conference on Logic Programming and Nonmonotonic Reasoning
  • 成果类型：会议
  • 相关项目：二阶逻辑的表达能力与计算复杂性
作者： Yuping Shen|Guangrui Dang|Xishun Zhao|
同会议论文项目
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
同项目会议论文
Expressive Power and Complexity of Second-Order HORN Logic