A semantic web based architecture for e-contracts in defeasible logic

Authors:
Guido Governatori;Duy Pham Hoang
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Queensland, Australia
Venue:
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Year:
2005

Citing 10
Cited 8

A logic model for electronic contracting

Decision Support Systems
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
How to Design a General Rule Markup Language?

XML Technologien für das Semantic Web - XSW 2002, Proceedings zum Workshop
SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions

WWW '03 Proceedings of the 12th international conference on World Wide Web
On Design and Implementation of a Contract Monitoring Facility

WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
A unified behavioural model and a contract language for extended enterprise

Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law

Defeasible Reasoning with e-Contracts

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A computational framework for institutional agency

Artificial Intelligence and Law
Web Service Contracting: Specification and Reasoning with SCIFF

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
A Java Implementation of Temporal Defeasible Logic

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
The representation of e-contracts as default theories

IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Implementing temporal defeasible logic for modeling legal reasoning

JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
A contract agreement policy-based workflow methodology for agents interacting in the semantic web

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Normative conflicts in electronic contracts

Electronic Commerce Research and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.