First Page | Document Content | |
---|---|---|
![]() Date: 2016-06-09 08:09:37Automated planning and scheduling Temporal logic Computation tree logic Logic in computer science STRIPS Planning Domain Definition Language Theoretical computer science Computing | Add to Reading List |