DR-CONTRACT: an architecture for e-contracts in defeasible logic

Guido Governatori; Duy Hoang Pham

首页> 外文期刊>International Journal of Business Process Integration and Management >DR-CONTRACT: an architecture for e-contracts in defeasible logic

【24h】

DR-CONTRACT: an architecture for e-contracts in defeasible logic

机译：DR-CONTRACT：可废止逻辑中的电子合同架构

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We introduce the DR-CONTRACT architecture to represent and reason on e-contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of violation. We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in defeasible logic.

机译：我们介绍了DR-CONTRACT体系结构来表示和解释电子合同。该体系结构通过一种可辩解的，不可行的违规逻辑扩展了DR设备的体系结构。我们激励逻辑的选择，并展示如何扩展RuleML来捕获与描述电子合同有关的概念，以便在可行的逻辑中进行监视。

著录项

来源
《International Journal of Business Process Integration and Management》 |2009年第3期|187-199|共13页
作者
Guido Governatori; Duy Hoang Pham;
展开▼
作者单位

NICTA, Queensland Research Laboratory, P.O. Box 6020, St Lucia 4067, Australia;

NICTA, Queensland Research Laboratory, P.O. Box 6020, St Lucia 4067, Australia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
defeasible deontic logic; violations; e-contract;

机译：不可行的宗法逻辑;违反;电子合同;

相似文献

外文文献
中文文献
专利

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. A Semantic Web Based Architecture for e-Contracts in Defeasible Logic [C] . Guido Governatori, Duy Pham Hoang International Conference on Rules and Rule Markup Languages for the Semantic Web(RuleML 2005); 20051110-12; Galway(IE) . 2005

机译：基于逻辑Web的可废逻辑中电子合同的体系结构
5. Design, fault studies, and performance analysis for nanomagnet logic PLAs and other nanomagnet logic architectures. [D] . Crocker, Michael S. 2011

机译：纳米磁铁逻辑PLA和其他纳米磁铁逻辑体系结构的设计，故障研究和性能分析。
6. The logic of transcriptional regulator recruitment architecture at cis-regulatory modules controlling liver functions [O] . Julie Dubois-Chevalier, Vanessa Dubois, Hélène Dehondt, 2017

机译：顺式调控模块控制肝脏功能的转录调控因子募集结构的逻辑
7. DRCONTRACT: An architecture for e-contracts in defeasible logic [O] . Guido Governatori, Duy Hoang Pham 2010

机译：DRCONTRACT：可废止逻辑中的电子合同架构
8. Epistemic Logic for Defeasible Reasoning Using a Meta-Level Architecture Metaphor [R] . Meyer, J. J. C., van der Hoek, W. 1993

机译：使用元级别架构隐喻的可行性推理的认知逻辑

DR-CONTRACT: an architecture for e-contracts in defeasible logic

摘要

著录项

相似文献

相关主题

期刊订阅