BYTE - Lecture notes in computer science Vol. 174
Bureaucracies as deontic systems
ACM Transactions on Information Systems (TOIS)
Proofs and types
A deontic logic representation of contractual obligations
Deontic logic in computer science
Deontic logic: a concise overview
Deontic logic in computer science
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Solving normative conflicts by merging roles
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Generating exception structures for legal information serving
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Contract-driven creation and operation of virtual enterprises
Computer Networks: The International Journal of Computer and Telecommunications Networking
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Dynamic Conflict Detection in Policy-Based Management Systems
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Towards Electronic Contract Performance
DEXA '01 Proceedings of the 12th International Workshop on Database and Expert Systems Applications
A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Modelling Legal Contracts as Processes
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 3 - Volume 3
Methods for Conflict Resolution in Policy-Based Management Systems
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Annals of Mathematics and Artificial Intelligence
An EREC framework for e-contract modeling, enactment and monitoring
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
SLA Representation, Management and Enforcement
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
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Resolving conflict and inconsistency in norm-regulated virtual organizations
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
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 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
Running contracts with defeasible commitment
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
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
Hi-index | 0.00 |
We are concerned with normative conflicts that arise for agents engaging in electronic contracting within an electronic marketplace. We identify a set of primitive conflict patterns, examine other analyses of conflicts found in the literature of distributed systems, legal reasoning and multi-agent interaction, and show how these may be seen as instances of primitive patterns. We also present additional patterns that have not been identified previously. Moreover, this work proposes and illustrates the representation of e-contracts in default logic, and argues that such a representation of contract norms as default rules facilitates the detection, prediction and resolution of normative conflicts.