محبوبترین نویسندگان :
نویسندگان مقالات پربازدید :
مجله استدلال خودکار 2013
جزئیات رویداد
اینستاگرام تی پی بین
همایش ، رویداد ، ژورنال

  • a goal-directed decision procedure for hybrid pdl

    نویسندگان :
    کلمات کلیدی :
    جزئیات بیشتر مقاله
    • تاریخ ارائه: 1392/07/24
    • تاریخ انتشار در تی پی بین: 1392/07/24
    • تعداد بازدید: 822
    • تعداد پرسش و پاسخ ها: 0
    • شماره تماس دبیرخانه رویداد: -
     we present the first goal-directed decision procedure for hybrid pdl. the procedure is based on a modular approach that scales from basic modal logic with eventualities to hybrid pdl. the approach is designed so that nominals and eventualities are treated orthogonally. to deal with the complex programs of pdl, the approach employs a novel disjunctive program decomposition. in arguing the correctness of our approach, we employ the novel notion of support generalizing the standard notion of hintikka sets.

سوال خود را در مورد این مقاله مطرح نمایید :

با انتخاب دکمه ثبت پرسش، موافقت خود را با قوانین انتشار محتوا در وبسایت تی پی بین اعلام می کنم
مقالات جدیدترین رویدادها
مقالات جدیدترین ژورنال ها