Web services; contracts; formal languages; inference mechanisms; logic programming; ontologies (artificial intelligence); semantic Web; user interfaces; SCIFF reasoning engine; abductive logic programming; abductive reasoning; behavioral interface; computational logic; description logics; dynamic contracting architecture; formal language; ontology-based reasoning; semantic Web service discovery; unified search process; abduction; contracting; discovery; ontologies; services;
机译:归纳逻辑编程和析取逻辑编程:它们的关系和可传递性
机译:通过计算联合解释来解决绑架问题逻辑编程形式化,对P2P数据集成的应用以及复杂性结果
机译:通过归纳逻辑编程对数据库进行相干集成
机译:在动态收缩架构中集成绑架逻辑编程和描述逻辑
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:使用模糊逻辑和动态编程自动检测MR图像上的心脏轮廓。
机译:在动态收缩体系结构中集成abductive逻辑编程和描述逻辑