MASTERS @Tandy School of Computer Science, TU
Ask critical questions, pursue thorough understanding, share functional knowledge
Publications by Category
Software specifications of negotiating agents
Rose Gamble and Sandip Sen, "Using Formal Specification to Resolve Conflicts between Contracting Agents" in Proc. AAAI-94 Workshop on Conflict Management in Cooperative Problem Solving, (pages 33-38) Seattle, Washington, August, 1994.