E-commerce participants are joining electronic markets with pre-existing requirements concerning the legal, business and privacy contexts in which they formally enter into contracts and transactions. However, both the productivity of and trust in these electronic market environments is limited as current e-commerce protocols for negotiation and contract agreements lack the capability of detecting conflicts in contracts.
The objective of this project is to develop a prototype that will enhance the integrity of electronic markets through the development of a system that will show how logic can represent contractual requirements, and how logic tools can help check these requirements for agreement or conflicts.