A logic-based calculus of events
New Generation Computing
On constrained default theories
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Modelling Legal Contracts as Processes
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Annals of Mathematics and Artificial Intelligence
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
The role of assumption identification in autonomous agent reasoning
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Hi-index | 0.00 |
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.