2178 search results - page 134 / 436 » Inferring complex plans |
126
click to vote
ECAIW
2008
Springer
15 years 5 months ago
2008
Springer
The adoption of general intervention plans (guidelines) according to the particular circumstances of both the patient and the doctor's diagnostic is a very challenging task. A...
125
click to vote
AAAI
1996
15 years 5 months ago
1996
This paper describes the results of applying a modified version of hierarchical task-network (HTN) planning to the problem of declarer play in contract bridge. We represent inform...
126
click to vote
ENDM
2000
15 years 3 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...
148
Voted
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
107
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...