CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
The representation of e-contracts as default theories
Authors
A. Daskalopulu
G. K. Giannikis
Publication date
1 January 2007
Publisher
Abstract
It is widely acknowledged that a temporal representation of e-contracts is essential in order to support e-contract execution and performance monitoring. One possibility that has been explored by many researchers is to represent e-contracts in Event Calculus. Although such representations are intuitive and facilitate temporal reasoning about actions/events and their factual and normative effects, they fall short in situations where domain knowledge cannot be assumed to be complete. Moreover, it is not clear how dynamic normative conflict resolution can be achieved, without resorting to unintuitive representations for conflict resolution strategies. In order to maintain the benefits of an underlying Event Calculus representation, and incorporate assumption-based reasoning and dynamic conflict management capability, we propose a representation of e-contracts as Default Theories, which are constructed by translating Event Calculus representations dynamically. Finally, we discuss how the resulting Default Theory representation enables a software agent to address various reasoning problems. © Springer-Verlag Berlin Heidelberg 2007
Similar works
Full text
Available Versions
University of Thessaly Institutional Repository
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:ir.lib.uth.gr:11615/27911
Last time updated on 07/12/2017