首页> 外文OA文献 >Verification of Knowledge-Based Programs over Description Logic Actions

【2h】

Verification of Knowledge-Based Programs over Description Logic Actions

机译：通过描述逻辑操作验证基于知识的程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zarrieß Benjamin; Claßen Jens;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. A knowledge-based interactive verifier for logic programs [J] . Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis International journal of knowledge-based and intelligent engineering systems . 2014,第3期

机译：基于知识的逻辑程序交互式验证器
2. Modeling programmable logic controllers for logic verification [J] . Moon I. IEEE Control Systems Magazine . 1994,第2期

机译：建模可编程逻辑控制器以进行逻辑验证
3. Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming [J] . Sergio Alejandro Gómez, Carlos Iván Ches?evar, Guillermo Ricardo Simari Inteligencia Artificial : Ibero-American Journal of Artificial Intelligence . 2007,第35期

机译：通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
4. Verification of Knowledge-Based Programs over Description Logic Actions [C] . Benjamin Zarriess, Jens Classen International Joint Conference on Artificial Intelligence . 2015

机译：验证基于知识的程序通过描述逻辑操作
5. COMPILATION OF AHPL DESCRIPTIONS WITH COMBINATION LOGIC UNIT TO PATH PROGRAMMABLE LOGIC ARRAYS. [D] . LAO, JAMES VERANO. 1984

机译：用组合逻辑单元编译AHPL描述，以建立可编程逻辑阵列的路径。
6. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices [O] . Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, 2021

机译：基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
7. Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing [O] . Zarrieß Benjamin, Claßen Jens 2015

机译：带有感知的描述逻辑动作对基于知识的程序的确定性验证

Verification of Knowledge-Based Programs over Description Logic Actions

著录项

引文网络

相似文献

相关主题

期刊订阅