1146 search results - page 73 / 230 » On the Complexity of Domain-Independent Planning |
AAAI
2008
13 years 10 months ago
2008
This paper summarizes recent work reported at ICAPS on applying artificial intelligence techniques to the control of production printing equipment. Like many other real-world appl...
ECAIW
2008
Springer
13 years 9 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...
AAAI
1996
13 years 9 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...
ENDM
2000
13 years 7 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...
CADE
2005
Springer
14 years 8 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...