首页> 外文OA文献 >On the relation between vector annotated logic programs and defeasible theories

【2h】

On the relation between vector annotated logic programs and defeasible theories

机译：论向量的关系带注释逻辑计划及不可行的理论

代理获取

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

页面导航

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

著录项

作者
Kazumi Nakamatsu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Inter definability of defeasible logic and logic programming under the well-founded semantics [J] . FREDERICK MAIER Theory and Practice of Logic Programming . 2013,第PTa1期

机译：完善的语义下可废逻辑和逻辑程序之间的可定义性
2. 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期

机译：通过将描述逻辑转换为不可行的逻辑编程来进行不一致的本体处理
3. Embedding defeasible logic into logic programming [J] . GRIGORIS ANTONIOU, DAVID BILLINGTON, GUIDO GOVERNATORI, Theory and Practice of Logic Programming . 2006,第Pt6期

机译：将可废止的逻辑嵌入到逻辑编程中
4. Defeasible deontic robot control based on extended vector annotated logic programming [C] . Kazumi Nakamatsu, Jair Minoro Abe, Atsuyuki Suzuki International Conference on Computing Anticipatory Systems . 2002

机译：基于扩展向量的延伸逻辑编程的缺失的神声机器人控制
5. A THEORY OF PROCESSES (MODEL, PROOF SYSTEM, PROGRAMMING LANGUAGE, PROGRAM SYNTHESIS, TEMPORAL LOGIC). [D] . NGUYEN, VAN LONG. 1985

机译：过程理论（模型，证明系统，编程语言，程序综合，时间逻辑）。
6. Discovering Rules for Protein-Ligand specificity using Support Vector Inductive Logic Programming [O] . Lawrence A Kelley, Paul J Shrimpton, Stephen H Muggleton, -1

机译：使用支持向量归纳逻辑编程发现蛋白质配体特异性的规则
7. Interdefinability of Defeasible Logic and Logic Programming under the Well-Founded Semantics [O] . Frederick Maier 2010

机译：精心设计语义下的可行逻辑与逻辑程序的可互换性

On the relation between vector annotated logic programs and defeasible theories

著录项

引文网络

相似文献

相关主题

期刊订阅