Sciweavers

4 search results - page 1 / 1
» Mixed-initiative decision support in agent-based automated c...
Sort
View
AGENTS
2000
Springer
13 years 9 months ago
Mixed-initiative decision support in agent-based automated contracting
Í× Ò ÔÖ Ò ÔÐ × ÖÓÑ ÜÔ Ø ÍØ Ð ØÝ Ì ÓÖݸ Û Ò ÐÝÞ Ø Ö Ø Ö Ø Ø Ù×ØÓÑ Ö ÒØ Ò Òع × ÙØÓÑ Ø ÓÒØÖ Ø Ò ÛÓÙÐ Ù× Ò Ñ Ò ×...
John Collins, Corey Bilot, Maria L. Gini
EDOC
2002
IEEE
13 years 10 months ago
On Expressing and Monitoring Behaviour in Contracts
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
Zoran Milosevic, R. Geoff Dromey
CADE
2004
Springer
14 years 5 months ago
The ICS Decision Procedures for Embedded Deduction
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
Leonardo Mendonça de Moura, Sam Owre, Haral...
JTAER
2010
120views more  JTAER 2010»
13 years 3 months ago
Trust and Distrust in Adaptive Inter-enterprise Collaboration Management
The success and competitive edge of enterprises has become increasingly dependent on the enterprises’ agility to become members in business networks that support their own busin...
Sini Ruohomaa, Lea Kutvonen