<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-04-23 16:45:47Philosophy American philosophers Automated planning and scheduling Hierarchical task network Partial-order planning Kurt Gdel Logic programming Godel |
Add to Reading List |
The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1 | Condition for the absence of timelike closed curves How to find new Lorentzian metrics? Comments on spacetime kinematics First example: Metrics with vanishing shear tensor Second example: Gödel metric Third example: GenDocID: 1qgau - View Document |
 | Microsoft Word - Front_page-05.docDocID: 1pKnm - View Document |
 | Microsoft Word - IBSAlgorithms.docDocID: 1p3sE - View Document |
| The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1DocID: 1lFRF - View Document |