• فصل 1 مقدمه (10)
• فصل 2 پیش زمینه (14)
  • 2-1 برنامه‌ریزی کلاسیک (16)
    • شکل (2-1) مسأله ناسازگاری سازمن (18)
  • 2-2 برنامه‌ریزی زمانی (19)
    • 2-2-1 برنامه‌ریزی زمانی محافظه‌کارانه (20)
      • شکل (2-2) مثالی از برنامه‌ریزی زمانی محافظه‌کارانه (21)
    • 2-2-2 برنامه‌ریزی زمانی غیرمحافظه‌کارانه (22)
      • جدول (2-1) کنش مدت‌دار در PDDL2.1 (22)
      • شکل (2-3) مثالی از دامنه کبریت و فیوز (دارای همزمانی اجباری). (24)
      • شکل (2-4) گانت چارت یک برنامه از دامنه کبریت و فیوز (با فرض ε مساوی 0.01). (26)
  • 2-3 برنامه‌ریزی مبتنی بر گراف (28)
    • 2-3-1 رابطه دو به دو ناسازگاری (30)
      • جدول (2-2) دو به دو ناسازگاری برای کنش‌ها (30)
      • جدول (2-3) دو به دو ناسازگاری برای گزاره‌ها (31)
    • 2-3-2 استخراج برنامه با جستجو در گراف (32)
  • 2-4 برنامه‌ریزی با استفاده از ارضاپذیری (34)
    • شکل (2-5) ساختار کلی یک برنامه‌ریز مبتنی بر ارضاپذیری (35)
    • 2-4-2 ترجمه به روش کدگذاری موازی (36)
      • جدول (1-1) عبارت‌های کدگذاری موازی برای برنامه‌ریزی کلاسیک (38)
    • 2-4-3 سایر کدگذاری‌ها برای برنامه‌ریزی کلاسیک (41)
    • 2-4-4 استخراج برنامه از جواب حل کننده ارضاپذیری (44)
  • 2-5 برنامه‌ریزی با جستجوی اکتشافی (45)
• فصل 3 کارهای پیشین در برنامه‌ریزی زمانی (50)
  • 3-1 برنامه‌ریزی زمانی با جستجو در فضای وضعیت (50)
  • 3-2 برنامه‌ریزی زمانی با جستجو در فضای برنامه (54)
  • 3-3 برنامه‌ریزی زمانی مبتنی بر گراف (55)
  • 3-4 برنامه‌ریزی زمانی به روش ارضاپذیری (60)
    • 3-4-1 برنامه‌ریز T-SATPLAN (61)
    • 3-4-2 برنامه‌ریز STEP (66)
    • 3-4-3 برنامه‌ریز IT-SAT (69)
• فصل 4 برنامه‌ریز زمانی پیشنهاد شده (71)
  • 4-1 روش‌های ضمنی و صریح برای توصیف زمان (71)
  • 4-2 تعریف زمان به صورت عدد صحیح (74)
  • 4-3 روش ساخت گراف برنامه‌ریزی زمانی (76)
  • 4-4 تبدیل مسأله برنامه‌ریزی به ارضاپذیری (79)
    • جدول (4-1) متغیرهای کدگذاری ارضاپذیری پیشنهادی (79)
    • جدول (4-2) عبارت‌های کدگذاری ارضاپذیری پیشنهادی (81)
  • 4-5 استخراج برنامه از پاسخ حل‌کننده ارضاپذیری (85)
  • 4-6 الگوریتم اصلی برنامه‌ریز PLANET (86)
• فصل 5 نتایج تجربی (89)
  • 5-1 نتایج تجمیع شده (92)
    • جدول (5-1) نتایج تجمیع شده برنامه‌ریزها (93)
    • جدول (5-2) نتایج تجمیع شده برنامه‌ریزها در دامنه‌های دارای همزمانی اجباری (95)
  • 5-2 توصیف دامنه‌های مسابقات IPC سال 2011 (95)
    • 5-2-1 دامنه برنامه‌ریزی خدمه (96)
    • 5-2-2 دامنه آسانسورها (97)
    • 5-2-3 دامنه کاشی‌ها (98)
    • 5-2-4 دامنه کبریت و فیوز (98)
    • 5-2-5 دامنه سفارش‌های باز (99)
    • 5-2-6 دامنه چاپگر چندموتوره (100)
    • 5-2-7 دامنه پارکینگ (101)
    • 5-2-8 دامنه بازی میخ و حفره (101)
      • شکل (5-1) وضعیت آغازین تخته در مسائل 1 و 20 دامنه بازی میخ و حفره (102)
    • 5-2-9 دامنه بازی سوکوبان (102)
    • 5-2-10 دامنه ذخیره‌سازی (103)
    • 5-2-11 دامنه کارگاه ماشینی زمانی (103)
    • 5-2-12 دامنه بچرخان و بازکن (104)
  • 5-3 توصیف دامنه‌های مسابقات IPC سال 2004 (105)
    • 5-3-1 دامنه فرودگاه (105)
    • 5-3-2 دامنه ماهواره (106)
    • 5-3-3 دامنه دنیای لوله‌ها (106)
  • 5-4 توصیف دامنه‌های مسابقات IPC سال 2002 (107)
    • 5-4-1 دامنه انبارگاه‌ها (107)
    • 5-4-2 دامنه آمایش راننده (108)
    • 5-4-3 دامنه سیاره‌نوردها (108)
    • 5-4-4 دامنه هواپیمایی زینو (108)
  • 5-5 توصیف سایر دامنه‌ها (109)
    • 5-5-1 دامنه کبریت و فیوز توسعه یافته (109)
    • 5-5-2 دامنه آمایش شیفتی راننده (110)
• فصل 6 نتیجه‌گیری و پیشنهاد (112)
• مراجع (116)
• پیوست الف: نتایج مشروح برنامه‌ریزها در هر دامنه (119)
  • جدول (6-1) نتایج در دامنه خدمه (119)
  • جدول (6-2) نتایج در دامنه آسانسورها (120)
  • جدول (6-3) نتایج در دامنه کاشی‌ها (121)
  • جدول (6-4) نتایج در دامنه کبریت و فیوز (122)
  • جدول (6-5) نتایج در دامنه سفارش‌های باز (123)
  • جدول (6-6) نتایج در دامنه چاپگر چندموتوره (124)
  • جدول (6-7) نتایج در دامنه پارکینگ (125)
  • جدول (6-8) نتایج در دامنه بازی میخ و حفره (126)
  • جدول (6-9) نتایج در دامنه سوکوبان (127)
  • جدول (6-10) نتایج در دامنه ذخیره‌سازی (127)
  • جدول (6-11) نتایج در دامنه کارگاه ماشینی زمانی (128)
  • جدول (6-12) نتایج در دامنه بچرخان و بازکن (129)
  • جدول (6-13) نتایج در دامنه فرودگاه (130)
  • جدول (6-14) نتایج در دامنه ماهواره (132)
  • جدول (6-15) نتایج در دامنه دنیای لوله‌ها (133)
  • جدول (6-16) نتایج در دامنه انبارگاه‌ها (135)
  • جدول (6-17) نتایج در دامنه آمایش راننده (136)
  • جدول (6-18) نتایج در دامنه سیاره‌نوردها (137)
  • جدول (6-19) نتایج در دامنه هواپیمایی زینو (138)
  • جدول (6-20) نتایج در دامنه کبریت و فیوز توسعه یافته (139)
  • جدول (6-21) نتایج در دامنه آمایش شیفتی راننده (140)
• واژه‌نامه فارسی به انگلیسی (141)
• واژه‌نامه انگلیسی به فارسی (145)