DR-CONTRACT: An architecture for e-Contracts in defeasible logic

Governatori, Guido and Pham Hoang, Duy (2005). DR-CONTRACT: An architecture for e-Contracts in defeasible logic. In: Claudio Bartolini, Guido Governatori and Zoran Milosevic, 2nd EDOC Workshop on Contract Architectures and Languages (CoALA 2005), Enschede, Netherlands, (). 19-23 September 2005.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Governatori, Guido
Pham Hoang, Duy
Title of paper DR-CONTRACT: An architecture for e-Contracts in defeasible logic
Conference name 2nd EDOC Workshop on Contract Architectures and Languages (CoALA 2005)
Conference location Enschede, Netherlands
Conference dates 19-23 September 2005
Place of Publication Los Alamitos, CA, United States
Publisher IEEE
Publication Year 2005
Sub-type Fully published paper
ISBN 9780769524412
0769524419
Editor Claudio Bartolini
Guido Governatori
Zoran Milosevic
Total pages 9
Language eng
Abstract/Summary In this paper we present an architecture to represent and reason on e-Contracts based on the DR-device architecture supplemented with 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.
Subjects 280199 Information Systems not elsewhere classified
280403 Logics and Meanings of Programs
280213 Other Artificial Intelligence
350213 Electronic Commerce
Keyword Defeasible logic
Logic of violation
e-contract
Contract
Deontic logic
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Paper presented during the Workshop on Contract Architectures and Languages (CoALa2005), 20 September 2005.

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 22 Aug 2005, 10:00:00 EST by Guido Governatori on behalf of Faculty Of Engineering, Architecture & Info Tech