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 | The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning Vikas Shivashankar1 Ron Alford1 Ugur Kuter2 Dana Nau1Add to Reading ListSource URL: www.cs.umd.eduDownload Document from Source WebsiteFile Size: 296,52 KBShare Document on Facebook |
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 |