Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
The Michigan Internet AuctionBot: a configurable auction server for human and software agents
AGENTS '98 Proceedings of the second international conference on Autonomous agents
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
eMediator: a next generation electronic commerce server
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Designing the Market Game for a Trading Agent Competition
IEEE Internet Computing
A Mechanism for Establishing Policies for Electronic Commerce
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3
Software Agents for Electronic Business: Opportunities and Challenges
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
Constraint Search for Comparing Multiple-Incentive Merchandises
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
Winner Determination Algorithms for Electronic Auctions: A Framework Design
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Induction of defeasible logic theories in the legal domain
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Asking the right question: Risk and expectation in multiagent contracting
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Auctioning Bulk Mobile Messages
Computational Economics
Defeasible security policy composition for web services
Proceedings of the fourth ACM workshop on Formal methods in security
Xcellog: A deductive spreadsheet system
The Knowledge Engineering Review
Contract E-Negotiation in Agricultural Supply Chains
International Journal of Electronic Commerce
Characteristics of document similarity measures for compliance analysis
Proceedings of the 18th ACM conference on Information and knowledge management
Architecting for reuse: a software framework for automated negotiation
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
An intermediate framework for unifying and automating mobile communication systems
AN'06 Proceedings of the First IFIP TC6 international conference on Autonomic Networking
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A software framework for automated negotiation
Software Engineering for Multi-Agent Systems III
| Hi-index | 0.00 |
Our approach for automating the negotiation of business contracts proceeds in three broad steps. First, determine the structure of the negotiation process byapplying general knowledge about auctions and domain-specific knowledge about the contract subject along with preferences from potential buyers and sellers. Second, translate the determined negotiation structure into an operational specification for an auction platform. Third, map the negotiation results to a final contract. We have implemented a prototype which supports these steps, employing a declarative specification (in Courteous Logic Programs) of (1) high-level knowledge about alternative negotiation structures, (2) general-case rules about auction parameters, (3) rules to map the auction parameters to a specific auction platform, and (4) special-case rules for subject domains. We demonstrate the flexibility of this approach by automatically generating several alternative negotiation structures for a previous domain: travel-shopping in a trading agent competition.