知识表示框架相关论文
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解......
语义互联网（Semantic Web)主要在于提供计算机软件可处理的元数据（Metadata)描述和信息表达方式，介绍了RDF（S）技术为基础的在Web上表达......
人为差错是目前空中交通管制运行中重要的风险源,引起了业界的广泛重视。涌现出诸如HERA-JANUS,HERA-SMART,HFACS等空管人为差错分......
