10568 search results - page 332 / 2114 » Computer Intelligence and Formalization |
136
click to vote
AAAI
1994
15 years 5 months ago
1994
1 We have developed an approach to acquire complicated user optimization criteria and use them to guide iterative solution improvement. The eectiveness of the approach was tested ...
138
Voted
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
171
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
152
Voted
ICCCI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
173
click to vote
JELIA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...