1058 search results - page 100 / 212 » Fault-Tolerant Resource Reasoning |
92
Voted
GCC
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
107
Voted
ICLP
1998
Springer
15 years 5 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
102
click to vote
KR
1994
Springer
15 years 4 months ago
1994
Springer
Probabilistic AI planning methods that minimize expected execution cost have a neutral attitude towards risk. We demonstrate how one can transform planning problems for risk-sensi...
109
click to vote
AAAI
2008
15 years 3 months ago
2008
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heu...
125
Voted
IJCAI
2007
15 years 2 months ago
2007
A key problem in playing strategy games is learning how to allocate resources effectively. This can be a difficult task for machine learning when the connections between actions a...