Automated Planning
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Elsevier

9781558608566
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Other Approaches to Planning

2004 ◽  
pp. 527-540
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso

Planning for Manufacturabiliity Analysis

2004 ◽  
pp. 493-503
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso

Uncertainty with Neoclassical Techniques

2004 ◽  
pp. 437-447
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso

Propositional Satisfiability Techniques

2004 ◽  
pp. 143-166 ◽  
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso
Keyword(s):  
Propositional Satisfiability

Complexity of Classical Planning

2004 ◽  
pp. 55-67
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso

Emergency Evacuation Planning

2004 ◽  
pp. 505-516
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso
Keyword(s):  
Emergency Evacuation ◽  
Evacuation Planning

Planning in Robotics

2004 ◽  
pp. 469-491 ◽  
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso

Planning Based on Model Checking

2004 ◽  
pp. 403-435
Author(s):  
Malik Ghallab ◽  
Dana Nau ◽  
Paolo Traverso
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document