位置：成果数据库 > 会议 > 会议详情页
An ABox abduction algorithm for the description logic ALCI
  • 所属机构名称：桂林电子科技大学
  • 会议名称：the 7th International Conference on Intelligent Information Processing, IFIP AICT
  • 成果类型：会议
  • 相关项目：面向装配规划的领域知识表示及推理研究
作者： Yanwei Ma|Tianlong Gu|Binbin Xu|Liang Chang|
同会议论文项目
面向装配规划的领域知识表示及推理研究
期刊论文 29 会议论文 11 专利 2
同项目会议论文
Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions
Reasoning about assembly sequences based on description logic and rule
A symbolic OBDD-based algorithm for assembly sequence planning
Dynamic Logic for the Semantic Web
Symbolic ZBDD Representations for Mechanical Assembly Sequences
Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Po
The representation of indiscernibility relation using ZBDDs
A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition app
Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning
A multi-agent evolutionary algorithm for connector-based assembly sequence planning