Recent Advances in AI Planning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540678663, 9783540446576
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SAT-Based Procedures for Temporal Reasoning

2000 ◽  
pp. 97-108 ◽  
Author(s):  
Alessandro Armando ◽  
Claudio Castellini ◽  
Enrico Giunchiglia
Keyword(s):  
Temporal Reasoning

Strong Cyclic Planning Revisited

2000 ◽  
pp. 35-48 ◽  
Author(s):  
Marco Daniele ◽  
Paolo Traverso ◽  
Moshe Y. Vardi

scholarly journals Deductive Synthesis of Recursive Plans in Linear Logic

2000 ◽  
pp. 252-264 ◽  
Author(s):  
Stephen Cresswell ◽  
Alan Smaill ◽  
Julian Richardson
Keyword(s):  
Linear Logic ◽  
Deductive Synthesis

Planning as Model Checking

2000 ◽  
pp. 1-20 ◽  
Author(s):  
Fausto Giunchiglia ◽  
Paolo Traverso
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document