-
a goal-directed decision procedure for hybrid pdl
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 774
- تعداد پرسش و پاسخ ها: 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.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
مقایسه غلظت آدنوزین د آمیناز مایع مغزی نخاعی در بیماران مننژیت سلی و غیر سلی
-
واکاوی و بررسی روند طراحی کتابخانه عمومی شمس خوی با رویکرد معماری پایدار
-
پذیرش همسالان از دانش آموزان دارای اختلالات حسی حرکتی در مدارس تلفیقی و غیرتلفیقی (عادی) شهر تهران
-
ارزیابی پتانسیل ها و بازار گردشگری شهر ساحلی جویبار و تدوین استراتژی با استفاده از مدل راهبردی swot
-
اثر بی حس کننده های موضعی در کاهش درد پس از عمل برداشتن آپاندیس
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی و نقد کتاب تاریخ اجتماعی ایران
-
اهمیت زبان بدن در ورزش و ورزشکاران دارای ناتوانی ذهنی
-
تحلیلی بر رابطه هوشمندی و تجاری سازی در میان سازمان های گردشگری شهرستان سرعین: با تاکید بر توانمندی فناورانه
-
سیاست جنائی تقنینی نظام حقوق ایران در خصوص سقط جنین
-
car-following behavior analysis of left-turn vehicles at signalized intersections
سوال خود را در مورد این مقاله مطرح نمایید :