![](/images/graphics-bg.png)
Reasoning with Time Intervals : A Logical and Computational Perspective
المؤلف
المصدر
العدد
المجلد 2012، العدد 2012 (31 ديسمبر/كانون الأول 2012)، ص ص. 1-19، 19ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2012-10-14
دولة النشر
مصر
عدد الصفحات
19
التخصصات الرئيسية
الملخص EN
The role of time in artificial intelligence is extremely important.
Interval-based temporal reasoning can be seen as a generalization of the classical point-based one, and the first results in this field date back to Hamblin (1972) and Benhtem (1991) from the philosophical point of view, to Allen (1983) from the algebraic and first-order one, and to Halpern and Shoham (1991) from the modal logic one.
Without purporting to provide a comprehensive survey of the field, we take the reader to a journey through the main developments in modal and first-order interval temporal reasoning over the past ten years and outline some landmark results on expressiveness and (un)decidability of the satisfiability problem for the family of modal interval logics.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Sciavicco, Guido. 2012. Reasoning with Time Intervals : A Logical and Computational Perspective. ISRN Artificial Intelligence،Vol. 2012, no. 2012, pp.1-19.
https://search.emarefa.net/detail/BIM-485379
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Sciavicco, Guido. Reasoning with Time Intervals : A Logical and Computational Perspective. ISRN Artificial Intelligence No. 2012 (2012), pp.1-19.
https://search.emarefa.net/detail/BIM-485379
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Sciavicco, Guido. Reasoning with Time Intervals : A Logical and Computational Perspective. ISRN Artificial Intelligence. 2012. Vol. 2012, no. 2012, pp.1-19.
https://search.emarefa.net/detail/BIM-485379
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-485379
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)