archenemy
发表于 2025-3-28 17:22:10
http://reply.papertrans.cn/28/2730/272917/272917_41.png
confide
发表于 2025-3-28 22:32:55
A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary ReportThis paper reports on a system for automated agent negotiation. The negotiation strategies are expressed in defeasible logic, and are applied using the implemented reasoning system DR-DEVICE. The overall system architecture is described, and a particular 1-1 negotiation scenario is presented in detail.
accrete
发表于 2025-3-29 02:54:31
Delivering Real-Time Behaviour, requirements to be specified, scheduling analysis that enables a set of concurrent deadlines to be verified and timing analysis that enables sequential code to be inspected to determine its worst case behaviour. These four topics together with a number of other techniques and tool described in the paper allow real-time behaviour to be delivered.