ECAI
2004
Springer
13 years 10 months ago
2004
Springer
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
A standard assumption in studies of multiagent resource allocation problems is that the value an individual agent places on its assignment remains unchanged by any redistribution ...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes two approaches that enable the AI Planner LPGP to reason about domains with exogenous events and goals with duration: the first investigates how such domains...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
The Noisy-OR function is extensively used in probabilistic reasoning, and usually justified with heuristic arguments. This paper investigates sets of conditions that imply the No...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
